Lehre im Winter 2009/2010 (AG Krieg-Brückner)
Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Brückner im Wintersemester 2009/2010.
Kurse im Grundstudium
Mitarbeiter der AG Krieg-Brückner beteiligen sich regelmäßig an den Veranstaltungen Praktische Informatik, Soziotechnische Systeme und am Softwarepraktikum. Hui Shi macht im Studienzentrum Informatik darüber hinaus Studienberatung, insbesondere für ausländische Studierende.Vorlesungen
[03-05-G-700.01] Praktische Informatik 1 (Im WWW über stud.ip)
[03-05-G-700.03] Praktische Informatik 3 (Funktionales Programmieren)
[03-05-H-604.02] Logik
[03-05-H-604.03] Formale Methoden der Softwaretechnik I
[03-05-H-705.53] Fortgeschrittene Techniken der Funktionalen Programmierung
Studentische Projekte
[03-05-H-902.81] Roboterfußball.
Graduiertenseminare
[03-05-H-706.91] Graduierten-Seminar Sichere kognitive Systeme.
Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.
Autor: Dr. Berthold Hoffmann
| Zuletzt geändert am: 5. Oktober 2009 |  |