ОПЕРАТОР АБСТРАКЦИИ

оператор функциональной абстракции, ? - о п е р а т о р, – логический символ [знак ?, после к-рого ставится переменная (переменные) ], служащий для выражения операции абстрагирования функции (в т.ч. логич. функции, или предиката) как особого абстрактного объекта.

Смотреть больше слов в «Философской Энциклопедии»

ОПЕРАЦИЙ ИССЛЕДОВАНИЕ →← ОНТОЛОГИЯ

Смотреть что такое ОПЕРАТОР АБСТРАКЦИИ в других словарях:

ОПЕРАТОР АБСТРАКЦИИ

ОПЕРА́ТОР АБСТРА́КЦИИ оператор функциональной абстракции, λ - о п е р а т о р, – логический символ [знак λ, после к-рого ставится переменная (переме... смотреть

T: 149