База ответов ИНТУИТ

Введение в теорию программирования. Функциональный подход

<<- Назад к вопросам

Какая операция категориальной комбинаторной логики эквивалентна цитированию?

(Отметьте один правильный вариант ответа.)

Варианты ответа
первая проекция(Верный ответ)
каррирование
декаррирование
Похожие вопросы
Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
Каковы необходимые требования для построения категориальной комбинаторной логики?
В чем состоит основное назначение комбинаторной логики?
В чем состоит преимущество комбинаторной логики перед классической?
Что отличает аксиомы комбинаторной логики от прочих утверждений?
Что из перечисленного является этапом развития комбинаторной логики?
Каковы основные компоненты формальной теории комбинаторной логики?
Каковы основные операции формальной системы комбинаторной логики?
Какие символы являются специальными в алфавите формальной системы комбинаторной логики?
Какая операция называется каррированием?