Uni-Logo

Spezialvorlesung Programmanalyse, SS2005

Allgemeines

Vorlesung Übung
Durchführung Prof. Dr. Peter Thiemann Phillip Linkenheil
Kontakt siehe pers. Homepage linkenhe@info...
Zeit Mi 14-16 Do 11-13
Ort SR 03-026, Geb. 051 SR 01-016, Geb. 101

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

Zusammenfassung

References


Peter Thiemann, February 3, 2005