Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: ta:லம்டா நுண்கணிதம் |
Chybejici promenna, zdroj: en verze. |
||
Řádek 13:
# v ∈ V => v ∈ Λ
# M,N ∈ Λ → (M N) ∈ Λ
# x ∈ V, M ∈ Λ → (λ x . M) ∈ Λ
V dalším budeme označovat konstanty písmeny ''c, d, e, …'', proměnné odzadu tj. ''z, y, x, …'' a obecné λ-výrazy velkými písmeny latinky. Budeme také vynechávat závorky, tj. místo (''λ . x.x'') budeme psát ''λ . x.x'' (nebo jen ''λ xx''). Podobně výraz ''λx (x, y, z)'' budeme značit jako ''λx . x, y, z''.
|