Electronics.sk Elektronika na Slovensku.



Lambda kalkul


Lambda kalkul (λ-kalkul) je formálny systém a výpočtový model používaný v teoretickej informatike a matematike pre štúdium funkcií a rekurzie. Jeho autormi sú Alonzo Church a Stephen Cole Kleene. λ-kalkul je teoretickým základom funkcionálneho programovania a príslušných programovacích jazykov, najmä Lispu.

čítajte viac o Lambda kalkul

Encyklopédia: Electronics.sk > Počítačové výhonky > Informatické výhonky >


Príbuzné výrazy:


Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.


Ponuka elektroniky na portáloch: