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

HU-IfI: Kommentiertes Vorlesungsverzeichnis WS95/96

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


Kommentiertes Vorlesungsverzeichnis WS 1995/96

Hauptstudium: Kurse/Halbkurse Theoretische Informatik

Theorie der Programmierung 
(Halbkurs; kann im SS 96 als Kurs fortgesetzt werden)
Semantik von Programmiersprachen
VL  Do  08-10   LN 54, 015  E. Kindler
Prozeßalgebra
VL  Mo  10-12   LN 54, 015  B. Hohberg
Verteilte Algorithmen 
(Halbkurs; kann im SS 96 als Kurs fortgesetzt werden)
VL  Di  08-10   LN 54, 426  W. Reisig
    Mi  08-10   LN 54, 426  W. Reisig
UE  Do  10-12   LN 54, 014  N.N.
Kryptologie: Entwurf und Analyse (Halbkurs)
VL  Mo  12-14   LN 54, 015  E.-G. Giessmann
    Mi  12-14   LN 54, 015  E.-G. Giessmann
Automatentheorie 
(Halbkurs; kann im SS 96 als Kurs fortgesetzt werden)
VL  Di  10-12   LN 54, 426  P. Starke
Theorie der Programmiersprachen
VL  Mi  14-16   LN 54, 426  K. Schmidt
Komplexität Boolescher Funktionen (ab 26.10.95)
VL      Do      16-18   LN 54, 016      A. Srivastav
Matching Algorithmen
VL      Di      12-14   LN 54, 015      S. Hougardy

HaPe, erstellt am 30-08-95, zuletzt geändert am 30-08-95