Termine
| Typ | Tag | Uhrzeit | Raum |
|---|---|---|---|
| Vorlesung/Übung | Montags | 14.25 – 15.55 | S202/A126 |
| Vorlesung | Mittwochs | 13.30 – 15.00 | S202/A102 |
Montags finden Vorlesung und Übung im Wechsel statt, am 03.11.2008 die nächste Übung, am 10.11.2008 wieder eine Vorlesung.
Übungen
Mittwochs erscheint im Web ein Übungsblatt mit Präsenzübungen, die am folgenden Montag unter Betreuung bearbeitet werden.
Im Anschluss an die Übung erscheint im Web ein Blatt mit korrigierten und bepunkteten Hausaufgaben, deren Lösung bis Mittwoch in der nächsten Woche in den Kasten im Sekretariat (Raum S202/A310) einzuwerfen ist. Diese werden am Montag der darauf folgenden Woche korrigiert und bewertet zurückgegeben.
Es wird dringend empfohlen, sich intensiv mit den Übungsblättern und Hausaufgaben zu beschäftigen und diese selbstständig zu lösen.
Klausur
Die Klausur findet am Dienstag, den 03.03.2009 von 14 bis 17 Uhr in S202/A313 statt. Erlaubtes Hilfsmittel ist das Buch Semantik und Programmverifikation.
Vorlesungsunterlagen
Die Vorlesung richtet sich nach dem Buch Christoph Walther – Semantik und Programmverifikation, (wird in neuem Tab geöffnet) Teubner, 2001.
Zu diesem Buch gibt es ein Errata-Dokument. (wird in neuem Tab geöffnet)
