Spezialvorlesung Programmanalyse, SS2005

Allgemeines

Die Termine von Vorlesung und Übung werden getauscht. Oben sind nun die neuen Zeiten angegeben.
Erste Vorlesung: (14 April 2005 fällt aus wegen Krankheit) 21 April 2005
Der Termin war zunächst inkonsistent angekündigt; ist aber jetzt definitiv
Abschlussprüfung: mündlich, am 14.07.2005
Die Vorlesung richtet sich nach dem Buch Principles of Program Analysis von Nielson, Nielson und Hankin.
Voraussetzungen: Informatik III, Diskrete Algebraische Strukturen

Da Do der 26.5.05 Feiertag ist, wird am Mi nach der Vorlesung ein Ersatztermin für die Übung gesucht.

Neuer Termin ist Di, der 31.5.05, von 11-13 Uhr. Raum (nun definitiv): 02 017 in Geb. 052.
Übungsblattabgabe: am Do vorm Tutorat, oder per Mail an linken he@inf orma tik.un i-fr eib urg.de
Ein Übungsblatt pro Woche.
Übungsaufgaben

Informationen zur Induktion und Koinduktion gibt es im Buch Types and Programming Languages von Benjamin C. Pierce.

Peter Thiemann, February 3, 2005