After successful completion of the course, students are able to deal with the following theorems:
Theorem of Lemma von Newman
Theorem of Church Rosser
Embedding of Recursive Functions
Students are supported in independently acquiring knowledge through literature.
The lecture is structured according to the standard volume of Lambda Calculus by henk Barendregt. Additionally, proof theoretic applicatiuons of the typed lambda calculus as the Curry-Howard isomorphism are presented
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.
Use Group Registration to register.