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

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

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

Каковы основные компоненты формальной теории?

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

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