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