Inhaltsverzeichnis

Der λ-Kalkulus, Informatik-Seminar WS04/05
von Enno Cramer

1. Inhaltsverzeichnis
2. Berechenbarkeit
   1. Definition
   2. Turing Maschinen
3. Syntax des λ-Kalkulus
   1. Variablen
   2. Abstraktion
   3. Applikation
   4. Syntax in Backus-Naur-Form
   5. Vereinfachungen
4. Arbeiten mit dem λ-Kalkulus
   1. Gebundene und freie Variablen
   2. Transformationen
   3. Wert eines Ausdrucks
   4. Currying
5. λ-Kalkulus als Programmiersprache
   1. Bedingungen
   2. Datenstrukturen
   3. Zahlen
6. Rekursion im λ-Kalkulus
   1. Addition als rekursive Funktion
   2. ω-Kombinator
   3. Υ-Kombinator
   4. 1 + 1 = 2?
7. Literaturverzeichnis
   1. Printmedien
   2. Onlinemedien