Комбинаторная логика, ветвь математической логики, изучающая комбинаторы и их свойства. В качестве основных понятий в К. л. выбираются функция и операция применения функции к аргументу (аппликация). Комбинаторами называют члены некоторого класса операций над функциями, замкнутого относительно аппликации. Сформулированное в терминах К. л. понятие «комбинаторно определимой функции» явилось одним из первых способов уточнения понятия алгоритма. Начало К. л. положено работой советского математика М. И. Шейнфинкеля (1924), большая часть результатов принадлежит американскому логику Х. Карри. К. л. находит широкое применение в теории языков программирования.
Лит.: Яновская С. А., Логика комбинаторная, в кн.: Философская энциклопедия, т. 3, М., 1964; SchönfinkeI М., Über die Bausteine der mathema-tischen Logik, «Mathematische Annalen», 1924, Bd 92; Curry H. B., Feys R., Combinatory logic, Amst., 1958; Curry H. B., Recent advances in combinatory logic, «Bulletin de la Société mathématique de Belgique», 1968, t. 20, № 3.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Комбинаторная топология Комбинаторная топология, часть топологии, в которой топологические свойства геометрических фигур изучаются при помощи их разбиений на более элементарные фигуры (например, разбиение полиэ...
Комбинаторные изменения звуков Комбинаторные изменения звуков, результат влияния окружающих звуков в речевом потоке. Таковы ассимиляция, диссимиляция, аккомодация — приспособление согласных к гласным и гласных к согла...
Комбинаторный анализ Комбинаторный анализ, комбинаторная математика, комбинаторика, отдел математики, в котором изучаются вопросы, связанные с размещением и взаимным расположением частей конечного множества ...