Lehrveranstaltungen im Sommersemester 1997

Hauptstudium: Kurse/Halbkurse Theoretische Informatik

Analyse von Petri-Netz-Modellen (HK)
VL    Mo   10-12   wöch.   AS 54, 426      P. Starke
      Mi   12-14   wöch.   AS 54, 426      P. Starke
PR    n.V.                                 L. Popova-Zeugmann

Graphen und Algorithmen (K - Teil 2)
VL    Mo   14-16   wöch.   AS 54, 016      S. Hougardy
      Do   12-14   wöch.   AS 54, 014
UE    Mo   16-18   wöch.   AS 54, 016      S. Hougardy

Programmverifikation (HK)
VL    Mo   10-12   wöch.   AS 54, 327      E. Kindler
      Mi   08-10   wöch.   AS 54, 327

Kryptologie (HK; Teil 1)
VL    Mi   16-18   wöch.   AS 54, 426      E.-G. Giessmann