Kurzbeschreibung AkThI WT10
Ausgewählte Kapitel der Theoretischen Informatik
- Inhalte -
Im WT10 ist der Lambda-Kalkül Thema des Moduls. Behandelt wird sowohl der ungetypte als auch der getypte Lambda-Kalkül.
Nach einer Besprechung der Grundbegriffe (λ-Terme und Kombinatoren, Redexe und Reduktion, Gleichheit von λ-Termen, Reduktionsstrategien) werden insbesondere folgende Themen behandelt: Repräsentierung boolescher und arithmetischer Funktionen, das Church-Rosser-Theorem, Typisierung im Church- und im Curry-Stil, Definierbarkeit im einfach getypten λ-Kalkül, Typinferenz in λ→ mit Typvariablen, Gödels System T
