Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Центр помощи > [Алг. Теор.] Лябда исчисление

Автор: Ak47black 8.2.2010, 19:02

Здравствуйте. Некак не выходит решить следующий пример Есть терм, который вычисляет функцию ⌐x он равен Цитата λx.((x0)1) логические константы Цитата 0 = λx.λy.y 1 = λx.λy.x пробую вычислить с x = 1 и получить так решаю Цитата (1)   [λx.((x0)1)](λx.λy.x) (2)   (((λx.λy.x)(λx.λy.y))(λx.λy.x)) (3)   ((λy.(λx.λy.y))(λx.λy.x) (4)   λx.λy.(λx.λy.x) в этоге получаю не правильны ответ. тоесть в ответе по идее должно быть Цитата 0 = λx.λy.y Помогите пожалуйста, кто-нибудь понять, где ошибка.

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)