Spezialvorlesung Programmanalyse, SS2005
- 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.
Zusammenfassung
Peter Thiemann,
February 3, 2005