Nächste Seite: Motivation Aufwärts: Symbolisches Rechnen Vorlesung Wintersemester Vorherige Seite: Ersetzung und Automaten (Regularität)

Lambda-Kalkül

Unterabschnitte

Motivation
Der Lambda-Kalkül
Lambda-Terme
verkürzte Notation
Mehrstellige Funktionen
Ableitungen (Ansatz)
Das falsche Binden von Variablen
Gebundene Umbenennungen
Eigenschaften der Reduktion
Rechnen mit simulierten Zahlen
Erweiterungen, Anwendungen
Lambda-Kalkül und Computeralgebra

Johannes Waldmann 2007-01-30