Wikipedie

Lambda kalkul: Porovnání verzí

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
Bez shrnutí editace
Řádek 3:
'''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í (matematika)|zobrazení]] z [[množina|množiny]] do množiny, ale jako metodu výpočtu. Dá se chápat jako nejjednoduššíjednoduchý 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]].
 
Tento článek se bude zaobírat netypovým lambda kalkulem. Existuje totiž rozšíření zvané [[typový lambda kalkul]].
Citováno z „https://cs.wikipedia.org/wiki/Lambda_kalkul“