Большая Советская Энциклопедия

Понятие: КОМБИНАТОРНАЯ ЛОГИКА,

источник - Большая Советская Энциклопедия




КОМБИНАТОРНАЯ ЛОГИКА, ветвь матем. логики, изучающая комбинаторы и их свойства. В качестве осн. понятий в К. л. выбираются функция и операция применения функции к аргументу (аппликация). Комбинаторами наз. члены нек-рого класса операций над функциями, замкнутого относительно аппликации. Сформулированное в терминах К. л. понятие "комбинаторно определимой функции" явилось одним из первых способов уточнения понятия алгоритма. Начало К. л. положено работой сов. математика М. И. Шейнфинкеля (1924), б. ч. результатов принадлежит амер. логику X. Карри. К. л. находит широкое применение в теории языков программирования.

Лит.: Яновская С. А., Логика комбинаторная, в кн.;. Философская энциклопедия, т. 3, М., 1964; Schonfink e 1 М., Uber die Bausteine der mathematischen Logik, "Mathematische Annalen", 1924, Bd 92; Curry H. В., Feys R., Combinatory logic, Amst., 1958; Curry H. В., Recent advances in combinatory logic, "Bulletin de la Societe mathematique de Belgique", 1968, t. 20, № 3.



Copyright © 2017    ·    О проекте: «Рефераты, Энциклопедии, Словари On-Line»    ·
Поиск информации: КОМБИНАТОРНАЯ ЛОГИКА - Книга рекордов Гиннесса