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


Поисковый запрос:

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