Lehre im Sommer 1998 (Gruppe Krieg-Brückner)

Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Brückner im Sommersemester 1998.

Ältere Verzeichnisse der Veranstaltungen im Winter 97/98, Sommer 97, Winter 96/97, Sommer 96, Winter 95/96, Sommer 95, sowie aller bisheriger Veranstaltungen von Bernd Krieg-Brückner sind auch noch vorhanden.

Grundstudium

[3-532] Bernd Krieg-Brückner. Praktische Informatik 2.
Vorlesung Donnerstags 10-12 in MZH 1400. Übungstermine siehe hier.
FAQ-Termin Freitags 15-17 Uhr in Ebene 0 (Kolyang).

Studentisches Projekt im 8. Semester

[3-768] Berthold Hoffmann, Hui Shi: BALI - eine Sprache für Netzwerkprogrammierung.
Freitags 8-12 und 13-15 in MZH 7250.

Kurse im Hauptstudium

[3-692] Sofie Czernik, Christoph Lüth: Logik: Gödel, Escher, Bach und Isabelle
Montags 13-15 im MZH 5300 und Dienstags 13-15 im MZH 5290.

[3-793] Bernd Krieg-Brückner, Andreas Bühlmeier, : Kognitive Robotik
Mittwochs 13-15 im MZH 5280 und 15-17 im MZH 5300.

Seminare

[3-765] Martin Gogolla, Bernd Krieg-Brückner, Jan Peleska, Helena Szczerbicka, Holger Schlingloff:
Sichere Systeme (Seminar für DoktorandInnen des Graduiertenkollegs).
Mittwochs 15-17, MZH 8090.

[3-766] Bernd Krieg-Brückner: Graduierten-Seminar Formale Methoden der Softwaretechnik (Seminar für DiplomandInnern und DoktorandInnen).
Freitags 8-10 in MZH 8090.