1) Произведите редукцию выражения M в соответствии со своим вариантом (таблица 1). Выберите метод редукции самостоятельно.
Таблица 1
Вариант
Выражение M
1
(λx.xyxx)((λz.z)w)( λz.zz)
2
(λxy.yx)((λx.xx)w)((λz.z(z))u)
3
(λxy.xy)((λx.xy)w)((λz.z(z))u)
4
(λyx.yx)((λy.xx)w)((λz.z(z))u)
5
(λxy.xx)((λx.yy)w)((λz.z(z))u)
6
(λy.yxx)((λx.yx)w)((λz.zz)u)
7
(λxy.yx)((λy.yy)w)((λz.z(z))u)
8
(λy.yxyyx)((λx.xx)w)((λz.z(z))u)
9
(λx.yxx)((λy.xx)w)((λz.z(z))u)
10
(λxy.yx)((λy.xx)w)((λz.z(z))u)
2) Разработать программы на языке Haskell в соответствии с выбранным вариантом.
Задание:
Вариант 4
1. Написать рекурсивную функцию для вычисления суммы n первых членов арифметической прогрессии (дан первый член и разность);
2. Даны три вещественных числа. Возвести в квадрат те из них, значения которых неотрицательны.
В файле указаны требования к оформлению.
Гарантия на работу | 1 год |
Средний балл | 4.96 |
Стоимость | Назначаете сами |
Эксперт | Выбираете сами |
Уникальность работы | от 70% |