Lehrveranstaltungen im Wintersemester 19/20

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Einführung in die Grundlagen des Model Checking von Dr. Thomas Zeume
  • Funktionale Programmierung von Prof. Dr. Peter Padawitz
  • Logik für Informatiker von Dr. Thomas Zeume
• Wahlpflichtmodule
  • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
• Wahlmodule
  • Konzepte und Methoden der Theoretischen Informatik von Prof. Dr. Thomas Schwentick
• Proseminare
  • Automaten (inkl. Präsentationskurs) von Dr. Thomas Zeume

Lehrveranstaltungen der Masterstudiengänge

• Vorlesungen
  • Logik und Komplexität von Prof. Dr. Thomas Schwentick
• Seminare
  • Forgetting Methoden im Kontext der Wissensrepräsentation von Prof. Dr. Gabriele Kern-Isberner
  • Seminar zu aktuellen Themen der Theoretischen Informatik von Prof. Dr. Thomas Schwentick