Co je lambda kalkul, λ-kalkul
- formální systém pro deklaraci funkcí s pravidly pro jejich vyhodnocování (používaný např. pro studium rekurze a vyčíslitelnosti)
Související výrazy
lambda, lambda kalkul, λ-kalkul
Existuje i další význam? Můžete se zkusit podívat, jaký udává význam slova lambda kalkul, λ-kalkul wikipedie nebo abz.
Komentáře
Přidat nový komentář