Главная /
Введение в теорию программирования. Функциональный подход /
Каковы основные компоненты формальной теории комбинаторной логики?
Каковы основные компоненты формальной теории комбинаторной логики?
вопросПравильный ответ:
алфавит, аксиомы, теоремы
алфавит, аксиомы, правила вывода
алфавит, теоремы, правила вывода
Сложность вопроса
64
Сложность курса: Введение в теорию программирования. Функциональный подход
37
Оценить вопрос
Комментарии:
Аноним
Нереально сложно
14 июл 2017
Аноним
Нереально сложно
11 окт 2016
Другие ответы на вопросы из темы программирование интуит.
- # Каковы требования к рекурсивному определению?
- # Что представляет собой среда вычислений при кодировании по де Брейну?
- # Что представляет собой "список инструкций" КАМ?
- # При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
- # Какой вид имеет правая часть БНФ для комбинаторного терма?