Lehre im Sommer 2004 (AG Krieg-Brückner)

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

Kurse im Grundstudium

[03-700.02] Thomas Röfer: Praktische Informatik 2 (Objektorientierte Programmierung)
Kurs: Montags 10-12 im NW H1 (H0020).
Tutorien: nach Vereinbarung.

Hauptstudium

Studentisches Projekt im 6. Semester

[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 8. Semester

[03-902.03] Bernd Krieg-Brückner, Thomas Röfer, Ubbo Visser: ROBOCUP II.
Projektplenum: Freitags 10-14 in MZH 7210.

Kurse

[03-604.02] Lutz Schröder: Logik
Vorlesung (A) Montags von 10-12 MZH 1400 (großer Senatssaal)
Übung Dienstags von 10:00 - 12:00 MZH 1400 (großer Senatssaal)

[03-699.02] Lutz Schröder: Systeme, Automaten und Coalgebren
Vorlesung (V) Mittwochs von 15-17 MZH 6240
Donnerstags von 13:00-15:00 MZH 6240

Hui Shi, Robert Ross: Entwicklung benutzergesteuerter eingebetteter System
Vorlesung: Dienstags 8-10, MZH 7220
Übung: Dienstags von 13-15, MZH 7230

Seminare

Berthold Hoffmann: Seminar Visuelle Sprachen
Seminar: Donnerstags 10-12, MZH 7220

Graduiertenseminare

[03-706.91] 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.