Pojem lambda kalkul

Slovo:

lambda kalkul, λ-kalkul


Upozornění:
vložil uživatel neznámý a ověřil editor

Význam:

formální systém pro deklaraci funkcí s pravidly pro jejich vyhodnocování (používaný např. pro studium rekurze a vyčíslitelnosti)

Komentáře ke slovu lambda kalkul, λ-kalkul


 
» přidat nový komentář

Zatím žádné komentáře.



Navigace

předchozí slovo: » lambda
následující slovo: » lambdacizmus, lambdacismus
slovo se nachází na stránce: přidáno-návštěvníky:1753
krok zpět: » zpět
hledat jiné cizí slovo: » hledání
upravit (opravit) toto slovo: » upravit
přidat do slovníku nové slovo: » přidat

hledat - slovník - pro webmastery - o slovníku - kontakt
scs.abz.cz  --  web © 2005-2024  --  ABZ.cz