Lambda Rachunek - postać nawiasowa
: 27 sie 2015, 18:08
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)\)
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)\)