Lehrveranstaltungen
Sommersemester 2023

Einführende Veranstaltungen

• Vorlesung Formale Sprachen und Komplexität
  3(+1)-std., Di 14-17, Mi 12-14, Blanchette, Limperg

• Vorlesung Logik und Diskrete Strukturen
  3-std., Di 11-14, Johannsen

• Vorlesung Theoretische Informatik für Medieninformatiker
  2-std., Di 14-17, Blanchette, Limperg

Sonstige

• Oberseminar Theoretische Informatik 2-std., Do 15-17, Blanchette