Главная / Функциональное программирование / Какое из приведенных ниже преобразований является примером альфа-редукции?

Какое из приведенных ниже преобразований является примером альфа-редукции?

вопрос

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

(λx.sin x) z →​ sin z
(λx.sin x) z →​ (λy.sin y) z
sin 0 →​ 0
(λx.sin x) 0 →​ 0
Сложность вопроса
95
Сложность курса: Функциональное программирование
54
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Я завалил экзамен, за что я не увидел данный сайт с решениями по интуит месяц назад
07 апр 2019
Аноним
Я завалил экзамен, почему я не увидел этот крутой сайт с ответами по тестам интуит до сессии
25 мар 2016
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.