Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, mit folgenden Sätzen umzugehen:

Lemma von Newman

Theorem von Church Rosser

Einbettbarkeit der Rekursive Funktionen.

Im übrigen dient diese LVA der Vorbereitung der Studierenden  zum selbständigen Wissenserwerb aus der Literatur.

Die Vorlesung folgt in wesentlichen Teilen dem Standardwerk über den Lambda-Kalkül: Henk Barendregt, Lambda Calculus, dazu kommen beweistheoretische Anwendungen des getypten Lambda-kalküls, wie der Curry-Howard Isomorphismus

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Interessierte mögen sich an den Vortragenden per e-mail wenden. Es wird ihnen auf Wunsch eine Kopie des Buches von Barendregt zur Verfügung gestellt. Die Vorlesung findet voraussichtlich in Blockform im Februar statt. Der genaue Termin wird noch bekanntgegeben.

Positive Absolvierung einer mündlichen Prüfung.