Lehre im Winter 03/04 (AG Krieg-Brückner)

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

Kurse im Grundstudium

[03-700.01, 03-700.01a] Thomas Röfer: Praktische Informatik 1 (Imperative Programmierung)
Kurs: Montags 10-12 im großen Senatssaal.
Tutorien und Praktika: nach Vereinbarung.

[03-700.03] Berthold Hoffmann, Christian Maeder: Praktische Informatik 3 (Funktionales Programmieren)
Kurs: Montags 10-12 im kleinen Hörsaal.
Übungen: nach Vereinbarung.

Hauptstudium

Studentisches Projekt im 5. Semester

[03-902.03] Thomas Röfer, Ubbo Visser: ROBOCUP II+III.
Projektplenum: Freitags 10-14 in MZH 7210.

[03-902.10] Bernd Krieg-Brückner, Achim Mahnke: UniDoc: University Document Standard
Projektplenum: Freitags 10-12 in MZH 8090.

[03-902.11] Bernd Krieg-Brückner, Reinhard Moratz, Hui Shi, Tilman Vierhuff: Espresso .
Projektplenum: Freitags 13-15 in MZH 6240.

Studentisches Projekt im 7. Semester

[03-902.03] Thomas Röfer, Ubbo Visser: ROBOCUP II+III II.
Projektplenum: Freitags 10-14 in MZH 7210.

Kurse

[03-604.01] Till Mossakowski, Lutz Schröder: Algebraische Spezifikation
Vorlesung Dienstags von 10-12 MZH 1400 (großer Senatssaal)
Übung Dienstags von 17:00 - 19:00 GW1 HS-0070

[03-604.01] Reinhard Moratz, Tilman Vierhuff: Sprachtechnologie
Vorlesung: Mittwochs von 13-15 MZH 7220
Übung: Dienstags von 15-17 7220

Graduiertenseminare

[03-706.01] Bernd Krieg-Brückner, Lutz Schröder: Graduierten-Seminar Formale Methoden der Softwaretechnik.
Freitags 8:30-10 in MZH 8090.

Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.