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

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

вопрос

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

(λx.sin x) z →​ sin z
(λx.sin x) z →​ (λy.sin y) z
sin 0 →​ 0
(λx.sin x) 0 →​ 0
Сложность вопроса
51
Сложность курса: Функциональное программирование
54
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Это очень простой вопрос intuit.
05 июн 2020
Аноним
Это очень элементарный вопрос интуит.
10 янв 2020
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.