Lehrveranstaltungen
Sommersemester 2023

Einführende Veranstaltungen

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

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

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

Sonstige

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