Lambda Rachunek - postać nawiasowa

Teoria liczb, teoria grafów, indukcja
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
Damcyk
Witam na forum
Witam na forum
Posty: 1
Rejestracja: 27 sie 2015, 18:04
Płeć:

Lambda Rachunek - postać nawiasowa

Post autor: Damcyk »

Cześć! :)

Chciałem się Was zapytać czy dobrze interpretuję sprowadzenie wyrażenia do pełnej postaci nawiasowej?

Przykład z zadania:

\(\lambda xy.yx\)

Czy to będzie to?

\((\lambda x.yx)(\lambda y.yx)\)
ODPOWIEDZ