Главная /
Введение в теорию программирования. Функциональный подход /
Какой вид имеет правая часть БНФ для комбинаторного терма?
Какой вид имеет правая часть БНФ для комбинаторного терма?
вопросПравильный ответ:
K |<переменная>|(<терм><терм>)
K|S|<переменная>|(<терм><терм>)
K|S|<переменная>|(Λ<терм>.<терм>)
Сложность вопроса
25
Сложность курса: Введение в теорию программирования. Функциональный подход
37
Оценить вопрос
Комментарии:
Аноним
Зачёт защитил. Лечу в бар отмечать 4 за тест интуит
09 окт 2020
Аноним
Какой студент ищет вот эти вопросы с интуитом? Это же легко
27 сен 2020
Другие ответы на вопросы из темы программирование интуит.
- # Что отличает ламбда-исчисление от булевой логики?
- # Что является преимуществом ламбда-исчисления перед классической логикой?
- # Что отличает аксиомы от прочих утверждений формальной теории?
- # Какова последовательность синтаксического разбора программы?
- # Необходимо ли наличие выражения после else в условном выражении if…then…else…?