Leistungsbewertung
-
Zur Leistungsbewertung wird eine schriftliche Abschlußprüfung herangezogen, in der die Teilnehmer die wichtigsten Konzepte der in der Voranstaltung vorgestellten Kalküle erklären können sollten. Diese Prüfungsklausur findet am 25. April 2006, 17:00-18:30 Uhr im HS1 HPI statt.
In der Prüfungsklausur werden Leit- und Vertiefungsfragen zu den Themenkomplexen Prädikatenlogik, Lambda-Kalkül, einfache Typentheorie und konstruktive Typentheorie gestellt, die - wie in einer mündlichen Prüfung - mehr auf Verständnis als auf die Anwendung langwieriger Verfahren abzielen. Aus diesem Grunde sind in der Klausur keine Unterlagen zugelassen.
Teilnehmer die aus dringenden Gründen eine Prüfungsnote vor Ende April benötigen, müssen sich zur Abstimmung eines mündlichen Termins bis zum 15. Februar melden.