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