Wintersemester 2017/18

  • Diskrete Strukturen I
  • Automaten und Berechenbarkeit
  • Berechenbarkeit und Komplexität
  • Algorithm Engineering
  • Algorithm Engineering Lab
  • Logiksysteme
  • Graphische Modelle
  • Graphische Modelle Lab
  • Komplexitätstheorie 3LP
  • Komplexitätstheorie 6LP
  • Lesen, diskutieren, schreiben 3LP
  • Lesen, diskutieren, schreiben 6LP
  • Theoretische Informatik unplugged
  • Seminar Logik
  • Seminar zur Distinguished Lecturer Series
  • Diskrete Modellierung
    (Grundlagen der Programmierung mit Python (Teil 2))