Spezialvorlesung Programmanalyse, SS2005

Allgemeines

Vorlesung

• 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

Übungen

• 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

Material

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

Inhalt

References