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