Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

HUB-IfI: Kommentiertes Vorlesungsverzeichnis Sommersemester 1997

Humboldt-Universität zu Berlin, Institut für Informatik

ein Buch 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


Erstellt am 02-04-97, zuletzt geändert am 02-04-97