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

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

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

Что из перечисленного является этапом развития комбинаторной логики?

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

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