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