Veranstaltungen im Sommersemester 2011

Bachelor Informatik

• Grundlagen der Theoretischen Informatik I
• Proseminar/Seminar zur Theoretischen Informatik

Diplom-Hauptstudium/Master Informatik

• Mathematische Logik (Modul Berechenbarkeit und Logik)
• Datenkompression
• Formale Sprachen
• Seminar "Ramsey-Theorie"
• Oberseminar Theoretische Informatik