Leistungsbewertung
-
Zur Leistungsbewertung wird eine schriftliche Abschlußprüfung herangezogen, in der die Teilnehmer die wichtigsten Konzepte der in der Veranstaltung vorgestellten Kalküle erklären können sollten. Diese Prüfungsklausur findet am Dienstag, dem 17.3., von 11:00 bis 12:30 Uhr im Seminar 1.02 des Informatikgebäudes 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.
