|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
ЧЁРЧА-АБСТРАКЦИЯЗначение ЧЁРЧА-АБСТРАКЦИЯ в математической энциклопедии: ЧЁРЧА
служит в языке обозначением функции, перерабатывающей значения аргументов х 1, ... , х п в объект, выражаемый термом A. Выражение (*) и наз. Ч. Лит.:[1] Chureh A., The calculi of lambda-conversion, Princeton, 1941; [2] Карри Х. Б., Основания математической логики, пер. с англ., М., 1969. |
|
|
|
-АБСТРАКЦИЯ-способ введения функций в языках математич. логики, в особенности в комбинаторной логике. А именно, если в нек-ром точном языке определен терм А. выражающий объект теории и зависящий от параметров x1, ... , х п (и, может быть, также от других параметров), то 
-а. Эта Ч.
-а., наз. также явным определением функций, употребляется чаще всего в случае, когда в языке теории возникает опасность смешения функции как объекта исследования со значениями функции для нек-рых значений аргумента. Введена А. Чёрчем [1].