Lehrveranstaltungen im Wintersemester 2001/2002
- Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
- Vorlesung "Informatik I (Programmierung)" (Ankündigung)
- Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
- Programmierpraktikum "Informatik I" (Ankündigung)
- Vorlesung "Programmiertechniken für die künstliche Intelligenz"
- Vorlesung "Softwaretechnik zum Zertifizieren von Systemen" (Ankündigung)
- Vorlesung "Übersetzerkonstruktion" (Ankündigung)
- Seminar "Objektorientierte Entwurfstechniken und Programmiersprachen"