2018 | OriginalPaper | Chapter
Lambda-Kalkül
Author : Stephan Dreiseitl
Published in: Mathematik für Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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.