Главная /
Функциональное программирование /
Какое из приведенных ниже преобразований является примером бета-редукции?
Какое из приведенных ниже преобразований является примером бета-редукции?
вопросПравильный ответ:
(λ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
Другие ответы на вопросы из темы программирование интуит.
- # Как связаны двоичные деревья и деревья общего вида?
- # Какая модель вычислений служит формальной основой функционального программирования?
- # Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 → 0?
- # Программа, порожденная генератором fsyacc:
- # Какие языки программирования являются преимущественно функциональными?