Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Základní přehled: párovost závorek |
m robot změnil: he:תחשיב למדא; kosmetické úpravy |
||
Řádek 9:
== Formální popis ==
Mějme dány nejvýše spočetné množiny C resp. V (konstant resp. proměnných). Množinou všech lambda výrazů rozumíme mn.
<code>
# c ∈ C, => c ∈ Λ
Řádek 38:
Lambda kalkul definujeme jako teorii rovností mezi λ-výrazy založenou na následujících axiomech:
<code>
# ''(λx . M) N = M[x := N]''
# ''M = N''
# ''M = N → N = M''
# ''M = N ∧ N = L → M = L''
# ''M = M` → ZM = ZM`''
# ''M = M` → MZ = M`Z''
Řádek 58:
Mezi standardní kombinátory řadíme:
<code>
* I: λx . x
* K: λxy . x
* S: λxyz . xz (yz)
</code>
Řádek 116:
[[es:Cálculo lambda]]
[[fr:Lambda-calcul]]
[[he:תחשיב
[[hr:Lambda račun]]
[[hu:Lambda-kalkulus]]
| |||