комбинаторная логика
Устойчивое сочетание.
матем. раздел математической логики, в котором изучаются комбинаторы и их свойства. Комбинаторная логика наиболее естественным образом отображается на языки функционального программирования.
Источник: ru.wiktionary.orgcombinatorial logic