Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 6 ] |
|
Автор | Сообщение | |
---|---|---|
Stasya7 |
|
|
1) [math]( \lambda ab.a(b(ax)))(\lambda y.yy)(\lambda z.zzz)=(\lambda b.(\lambda y.yy)(b(ax)))(\lambda z.zzz)=(\lambda y.yy)((\lambda z.zzz)(ax))=(\lambda y.yy)(axaxax)=axaxaxaxaxax[/math] 2) [math](\lambda xy.yx)((\lambda t.tt)s)(\lambda x.x)=(\lambda y.y((\lambda t.tt)s))(\lambda x.x)=(\lambda y.y(ss))(\lambda x.x)=(\lambda x.x)(ss)=ss[/math] |
||
Вернуться к началу | ||
3D Homer |
|
|
В первом равенстве вы не заменили второе вхождение a.
Второй пример вроде правильно. |
||
Вернуться к началу | ||
Stasya7 |
|
|
3D Homer, подправила
[math](\lambda b(\lambda y.yy)(b((\lambda y.yy)x)))(\lambda z.zzz)=(\lambda b(\lambda y.yy)(b(xx)))(\lambda z.zzz)=(\lambda b.((b(xx))(b(xx))))(\lambda z.zzz)=((\lambda z.zzz)(b(xx)))((\lambda z.zzz)(b(xx)))=b(xx)b(xx)b(xx)b(xx)b(xx)b(xx)[/math] |
||
Вернуться к началу | ||
3D Homer |
|
|
В последнем сообщении в третьем равенстве что вы заменили на [math]\lambda z.\,zzz[/math]? Нужно было заменить b.
|
||
Вернуться к началу | ||
Stasya7 |
|
|
3D Homer
Ой.. [math](\lambda b(\lambda y.yy)(b((\lambda y.yy)x)))(\lambda z.zzz)=(\lambda b(\lambda y.yy)(b(xx)))(\lambda z.zzz)=(\lambda b.((b(xx))(b(xx))))(\lambda z.zzz)=((\lambda z.zzz)(xx))((\lambda z.zzz)(xx))=xxxxxxxxxxxx[/math] |
||
Вернуться к началу | ||
3D Homer |
|
|
Теперь вроде правильно. Лучше найдите онлайн-вычислитель лямбда-выражений, например, вот этот.
|
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: Stasya7 |
||
[ Сообщений: 6 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Посоветуйте литературу на тему "Математическая редукция" | 2 |
207 |
03 окт 2019, 20:27 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |