Lehre im Winter 1996/97(Gruppe Krieg-Brückner)
Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Brückner im Wintersemester 1996/97.
Ältere Verzeichnisse der Veranstaltungen im Sommer 96, Winter 95/96, Sommer 95, sowie aller bisheriger Veranstaltungen von Bernd Krieg-Brückner sind auch noch vorhanden.
studentische Projekte
- 5. Semester
-
Bernd Krieg-Brückner,
Berthold Hoffmann,
Zhenyu Qian,
Hui Shi
:
BALI - eine Sprache für Netzwerkprogrammierung 3-768 (2AV)
Fr 13-15 in MZH 5300. - 7. Semester
-
Bernd Krieg-Brückner,
Jan Peleska:
SIESTE - Sichere Eisenbahnsteuerung 3-769 (4AV)
Fr 10-12 und 13-15 in MZH 6240.
Kurse im Hauptstudium
Bernd Krieg-Brückner: Fortgeschrittene Konzepte der funktionalen Programmierung. 3-761 (2K).fällt aus! [Teile des Stoffs werden im Projekt BALI behandelt.].
Berthold Hoffmann (LA):
Programmiersprachen 3-763 (3K+1Ü)
Mo 10-13 in MZH 6240 und Do 12-13 in MZH 7260.
Zhenyu Qian,
Hui Shi (LA):
Internet-Programmierung (2K+2Ü)
Mo 13-15 in MZH 7260 (Verlegt wegen Terminüberschneidungen!) und Di 15-17 in MZH 7230.
Seminare
Bernd Krieg-Brückner: DoktorandInnen-Seminar "Formale Methoden der Softwaretechnik" 3-767 (2S)Fr 15-17 in MZH 8090.
Martin Gogolla,
Hans-Jörg Kreowski,
Bernd Krieg-Brückner,
Jan Peleska,
Helena Szczerbicka:
DoktorandInnen-Seminar "Sichere Systeme" 3-765 (2S)
Fr 17-19, MZH 8090.
Autor: Dr. Berthold Hoffmann
| Zuletzt geändert am: 30. August 2002 |  |