Lambda calculus
Lambda kalkulus je formální systém v oblasti matematiky a teoretické informatiky, který slouží k definici funkcí, aplikaci funkcí a vyjadřování výpočtů. Byl vyvinut v 30. letech 20. století Alonzo Church, aby formálně studoval koncept funkce a výpočtu. Základními prvky lambda kalkulu jsou lambda výrazy, které se skládají z proměnných, aplikací a abstractions (abstrakcí). Lambda kalkulus je základním kamenem pro pochopení teorie funkcionality a je důležitý pro vývoj programovacích jazyků, zejména funkcionálních jazyků, jako je Haskell a Lisp. Kromě toho má významný vliv na oblast logiky, umělé inteligence a typové teorie. Lambda kalkulus také slouží jako model pro analýzu výpočtů a formálních systémů, což přispívá k formálnímu porozumění tomu, co znamená "výpočet" v počítačové vědě.