Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
m kateg |
m oprava odkazu na rozcestnik nebo redirect, Funkce->funkce (matematika) |
||
Řádek 1:
'''Lambda kalkul''' je formální systém a [[výpočetní model]] používaný v teoretické [[informatika|informatice]] a [[matematika|matematice]] pro studium [[funkce (matematika)|funkcí]] a [[rekurze]]. Jeho autory jsou [[Alonzo Church]] a [[Stephen Cole Kleene]]. Lambda kalkul je teoretickým základem [[funkcionální programování|funkcionálního programování]] a příslušných [[programovací jazyk|programovacích jazyků]], obzvláště [[Lisp]]u.
Lambda kalkul analyzuje funkce nikoli z hlediska původního matematického smyslu [[zobrazení]] z [[množina|množiny]] do množiny, ale jako metodu výpočtu. Dá se chápat jako nejjednodušší univerzální programovací jazyk. Je univerzální, neboť libovolnou [[rekurzivně spočetná|rekurzivně spočetnou]] funkci lze vyjádřit a vyčíslit pomocí tohoto formalismu, lambda kalkul je tedy výpočetní silou ekvivalentní [[Turingův stroj|Turingovu stroji]].
| |||