Главная / Функциональное программирование / Что является следствием теоремы Черча-Россера?

Что является следствием теоремы Черча-Россера?

вопрос

Правильный ответ:

применение нормального порядка редукции позволяет всегда получить нормальную форму
применение нормального порядка редукции предпочтительнее, чем аппликативного
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная, вне зависимости от порядка редукции
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная с точностью до альфа-преобразования, вне зависимости от порядка редукции
Сложность вопроса
68
Сложность курса: Функциональное программирование
54
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Если бы не эти подсказки - я бы не осилил c этими тестами интуит.
12 сен 2017
Аноним
спасибо
24 дек 2015
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.