[Ответить в тред] Ответить в тред

03/04/16 - Набор в модераторы 03.04 по 8.04
26/03/16 - Конкурс: Помоги гомункулу обрести семью!
15/10/15 - Набор в модераторы 15.10 по 17.10



[Назад][Обновить тред][Вниз][Каталог] [ Автообновление ] 3 | 2 | 1
Назад Вниз Каталог Обновить

лямбда-исчисление, бета-редукция Аноним 13/06/16 Пнд 06:37:19  768413  
14657890396230.jpg (15Кб, 200x200)
14657890396231.png (15Кб, 663x172)
Помогите решить, плизз!! А) я уже решила, но абсолютна неуверена.
Аригато гозаимас!
Аноним 13/06/16 Пнд 06:38:59  768416
14657891390690.png (34Кб, 885x496)
Мышка на скрине!
Аноним 13/06/16 Пнд 08:39:33  768450
A) мой ответ такой:
lambda y.double(plus(square 2) 3 y)
???? так?
Аноним 13/06/16 Пнд 10:03:47  768475
апп

B) (AAB) -> lambda y.y(AAy))B -> B(AAB) -> AAB

?????

[Назад][Обновить тред][Вверх][Каталог] [Реквест разбана] [Подписаться на тред] [ ] 3 | 2 | 1
Назад Вверх Каталог Обновить

Топ тредов