Veranstaltungen im Wintersemester 2012/13

Anfängerveranstaltungen

• Vorkurs: Formale Grundlagen der Informatik

Bachelor Informatik

• Diskrete Strukturen
• Proseminar zur Theoretischen Informatik

Diplom-Hauptstudium/Master Informatik

• Rekursions- und Lerntheorie (Modul Berechenbarkeit und Logik)
• Approximative Algorithmen
• Komplexitätstheorie
• Interaktive Beweissysteme (Modul Spezielle Kapitel der Theoretischen Informatik)
• Seminar zur Theoretischen Informatik
• Forschungspraktikum zur Theoretischen Informatik
• Oberseminar Theoretische Informatik