Lehre im Winter 1998/99(Gruppe Krieg-Brückner)

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

Ältere Verzeichnisse der Veranstaltungen im Sommer 98, 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.

[3-500] Kolyang. Umgang mit dem Rechner - Eine Einführung für Studierende mit sehr geringen Vorkenntnissen.
Informationen ganztags. Treffpunkt Montag, den 5.10.98 um 10 Uhr in MZH 5290.
Blockveranstaltung vom 5. bis 9.10.98.

[3-531a] Bernd Krieg-Brückner. Praktische Informatik 1.
Vorlesung Donnerstags 13-15 in MZH 1400.
Übungstermine siehe hier.

[3-531a] Bernd Krieg-Brückner. Programmierpraktikum.
Termine siehe hier. Rechnerpool in der Ebene 0
FAQ-Termin: Freitag 13-15 Uhr.

Hauptstudium

Studentisches Projekt im 5. Semester

[3-798] Thomas Röfer, Bernd Krieg-Brückner: ROSES - Rollstuhl als sicherer eingebettetes System.
Freitags 10-12 in MZH 6240.

Kurse

[3-761] Berthold Hoffmann: Programmiersprachen - Konzepte und Paradigmen
Kurs (Übung integriert): Montags 10-12 und Donnerstags 10-12 im MZH 5290.

[3-785] Christoph Lüth: Korrekte Software durch Formale Methoden
Vorlesung: Mittwochs10-12 im MZH 5212 (Achtung, Terminänderung!).
Praktikum: Nach Vereinbarung.

[3-796] Thomas Röfer: Kognitive Robotik
Vorlesung: Mittwochs 13-15 im MZH 5280.
Praktikum: Mittwochs 15-17 im MZH 5280.

Graduiertenseminare

[3-765] Martin Gogolla, Hans-Jörg Kreowski, Bernd Krieg-Brückner, Jan Peleska, Helena Szczerbicka:
Graduiertenseminar Sichere Systeme.
Mittwochs 15-17, MZH 8090.

[3-787] Bernd Krieg-Brückner: Graduierten-Seminar Formale Methoden der Softwaretechnik.
Freitags 8-10 in MZH 8090.