2018 | OriginalPaper | Buchkapitel
Lambda-Kalkül
verfasst von : Stephan Dreiseitl
Erschienen in: Mathematik für Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Der Lambda-Kalkül ist ein formales System, das (wie etwa die Aussagenlogik in Abschnitt 2.1) syntaktisch aus wenigen Bausteinen und Bildungsregeln aufgebaut werden kann. Diese Bausteine sind spezielle Terme, die Funktionen repräsentieren, und zwar auf zwei Ebenen: Einerseits die Ebene der Funktionsdefinition und andererseits die Ebene der Funktionsanwendung. In den meisten Bereichen der Mathematik wird zwischen diesen Ebenen nicht speziell unterschieden: So ist manchmal nur aus dem Kontext zu entscheiden, ob mit ex die Exponentialfunktion gemeint ist oder die reelle Zahl, die sich aus der Anwendung der Exponentialfunktion auf x ergibt.