Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...Diese LVA dient der Vorbereitung der Studierenden  zum selbständigen Wissenserwerb aus der Literatur. Die Inhalte der Lehrveranstaltung werden mit den Studenten zu Beginn dieser festgelegt.

Da laut Verfassung die Wissenschaft und ihre Lehre frei sind, können die Lehrinhalte jederzeit im Abstimmung mit den Studenten während der LVA verändert werden. Es erübrigt sich daher, im vorhinein Lernergebnisse festzulegen.

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.