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

Что является следствием теоремы стандартизации?

вопрос

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

применение нормального порядка редукции позволяет всегда получить нормальную форму
применение аппликативного порядка редукции позволяет всегда получить нормальную форму
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная, вне зависимости от порядка редукции
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная с точностью до альфа-преобразования, вне зависимости от порядка редукции
Сложность вопроса
70
Сложность курса: Функциональное программирование
54
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Я провалил сессию, почему я не увидел этот чёртов сайт с решениями по тестам интуит до зачёта
28 апр 2020
Аноним
Я сотрудник деканата! Незамедлительно удалите этот ваш сайт с ответами на интуит. Пишу жалобу
23 мар 2018
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.