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

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

Ältere Verzeichnisse der Veranstaltungen im Winter 00/01, Sommer 00, Winter 99/00, Sommer 99, Winter 98/99, 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.

Hauptstudium

Studentisches Projekt im 8. Semester

[3-798] Bernd Krieg-Brückner, Thomas Röfer, Ubbo Visser: ROBOCUP .
Freitags 10-12 in MZH 1380.

Kurse

[3-761] Berthold Hoffmann: Übersetzer
Kurs: Montags 10-12 und 13-15 in MZH 5210.
ACHTUNG: Wegen Ostern geänderte Anfangstermine!!
Erster Termin: Montag, den 9. April 2001 um 10 Uhr in MZH 5210.
Zweiter Termin: Dienstag, den 10. April 2001 um 15 Uhr in MZH 5300.
Dritter Termin: Dienstag, den 17. April 2001 um 15 Uhr in MZH 5300.

[3-762] Günter Feldmann: Übersetzer-Praktikum
Dienstags 15-17 in MZH 5300.
ACHTUNG: Wegen Ostern geänderte Anfangstermine!!
Erster Termin: Dienstag, den 24. April 2001 um 15 Uhr in MZH 5300.

[3-763] Christoph Lüth, Hui Shi: Internet-Programmierung
Kurs: Dienstags 8-10 im MZH 7260.
Übung: Donnerstags 8-10 im MZH 7260.
Erster Termin: Dienstag, den 10. April 2001 um 8:30 Uhr in MZH 7260.

[3-793] Thomas Röfer: Kognitive Robotik 2
Kurs: Mittwochs 13-15 im MZH 5280.
Kurs: Montags 15-17 im MZH 5280.
Erster Termin: Mittwoch, den 11. April 2001 um 13 Uhr in MZH 5280.

[3-793] Till Mossakowski, Lutz Schröder: Typen in Proframmiersprachen
Kurs: Dienstags 10-12 im MZH 5290.
Kurs: Donnerstags 10-12 im MZH 5290.
Erster Termin: Dienstags, den 10. April 2001 um 10 Uhr in MZH 5290.

Graduiertenseminare

[3-768] Bernd Krieg-Brückner, Christoph Lüth: Graduierten-Seminar Formale Methoden der Softwaretechnik.
Freitags 8:30-10 in MZH 8090.