Lehrveranstaltungen im Wintersemester 2005/2006
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Seminar "Fortgeschrittene Techniken der funktionalen Programmierung" (Ankündigung)
- Vorlesung "Informatik I (Programmierung/G1.1)" (Ankündigung)
- Programmierpraktikum (P1-G1.3)"Informatik I" (Ankündigung)
- Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"