БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ
Навигация:

Библиотека DJVU
Photogallery

БСЭ

Статистика:


Комбинаторная логика

Значение слова "Комбинаторная логика" в Большой Советской Энциклопедии


Комбинаторная логика, ветвь математической логики, изучающая комбинаторы и их свойства. В качестве основных понятий в Комбинаторная логика выбираются функция и операция применения
функции к аргументу (аппликация). Комбинаторами называют члены некоторого класса операций над функциями, замкнутого относительно аппликации. Сформулированное в терминах Комбинаторная логика понятие «комбинаторно определимой функции» явилось одним из первых способов уточнения понятия алгоритма. Начало Комбинаторная логика положено работой советского математика М. И. Шейнфинкеля (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.

В Большой Советской Энциклопедии рядом со словом "Комбинаторная логика"

Комбинаторика | Буква "К" | В начало | Буквосочетание "КО" | Комбинаторная топология


Статья про слово "Комбинаторная логика" в Большой Советской Энциклопедии была прочитана 1952 раз


Интересное