Главная /
Функциональное программирование /
Что является следствием теоремы стандартизации?
Что является следствием теоремы стандартизации?
вопросПравильный ответ:
применение нормального порядка редукции позволяет всегда получить нормальную форму
применение аппликативного порядка редукции позволяет всегда получить нормальную форму
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная, вне зависимости от порядка редукции
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная с точностью до альфа-преобразования, вне зависимости от порядка редукции
Сложность вопроса
70
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Я провалил сессию, почему я не увидел этот чёртов сайт с решениями по тестам интуит до зачёта
28 апр 2020
Аноним
Я сотрудник деканата! Незамедлительно удалите этот ваш сайт с ответами на интуит. Пишу жалобу
23 мар 2018
Другие ответы на вопросы из темы программирование интуит.
- # В каком представлении матриц проще реализовать операцию транспонирования?
- # Что такое замыкание?
- # Какое множество значений у типа T1 → Т2?
- # Пусть mul3 – каррированная функция умножения трех целых чисел, mul3 = xyz.x*y*z. Какой будет тип у выражения (mul3 5)?
- # В чем разница между конструкциями fun и function в F#?