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