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

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

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

Каковы необходимые требования для построения категориальной комбинаторной логики?

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

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