Pojem lambda kalkul

Slovo:

lambda kalkul, λ-kalkul


Upozornění:
vložil uživatel JosefZ**** 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)





Knihy

Nová infinitní matematika: IV. Staronový diferenciální počet -- autor: Vopěnka Petr
Historie analýzy -- autor: Jahnke Hans Niels
Logika pre každého -- autor: Gahér František
Kusy -- autor: nehty Zuby
Dánske dievča -- autor: Ebershoff David

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:1520
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-2018  --  ABZ.cz