ЧЕРКАССЫ  ИНФОРМАЦИОННО-СПРАВОЧНЫЙ ПОРТАЛ ГОРОДА И ОБЛАСТИ   ГЛАВНАЯ         ВХОД          РЕГИСТРАЦИЯ        КАРТА САЙТА   
Энциклопедии и справочники

Математическая энциклопедия
ЧЁРЧА-АБСТРАКЦИЯ

ЧЁРЧА -АБСТРАКЦИЯ-способ введения функций в языках математич. логики, в особенности в комбинаторной логике. А именно, если в нек-ром точном языке определен терм А. выражающий объект теории и зависящий от параметров x1, ... , х п (и, может быть, также от других параметров), то

служит в языке обозначением функции, перерабатывающей значения аргументов х 1, ... , х п в объект, выражаемый термом A. Выражение (*) и наз. Ч. -а. Эта Ч. -а., наз. также явным определением функций, употребляется чаще всего в случае, когда в языке теории возникает опасность смешения функции как объекта исследования со значениями функции для нек-рых значений аргумента. Введена А. Чёрчем [1].

Лит.:[1] Chureh A., The calculi of lambda-conversion, Princeton, 1941; [2] Карри Х. Б., Основания математической логики, пер. с англ., М., 1969.
А. Г. Драгалин.


Наверх

Ротатор баннеров 468x60

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер
 

 
Добавить баннер

Добавить баннер       Партнерка для Вашего сайта



Ротатор баннеров 88x31

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер