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

Kommentiertes Vorlesungsverzeichnis SS 1995

Hauptstudium: Kurse/Halbkurse Theoretische Informatik

Petri-Netze Vertiefung (Halbkurs)
VL      Mo      14-16           LIN 015     P. Starke
        Mi      12-14           LIN 015     P. Starke

Algebraische Spezifikation (Halbkurs)
VL      Fr      12-14           LIN 426     E. Kindler

Formale Sprachen
VL      Di      14-16           LIN 426     J. Desel

Algorithmische Graphentheorie (Kurs Teil II)
VL      Di      10-12           LIN 015     H.-J. Prömel
        Do      10-12           LIN 015     H.-J. Prömel
UE      Mi      10-12           LIN 015     B. Kreuter
UE      Do      12-14           LIN 015     B. Kreuter