Lehrveranstaltungen im Sommersemester 15

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Grundbegriffe der theoretischen Informatik von Prof. Dr. Thomas Schwentick
  • Logik von Prof. Dr. Peter Padawitz

Lehrveranstaltungen der Masterstudiengägnge

• Basismodule
  • Commonsense Reasoning von Prof. Dr. Gabriele Kern-Isberner
  • Komplexitätstheorie von Prof. Dr. Thomas Schwentick
• Vertiefungsmodule
  • Fortgeschrittene Themen der Wissenspräsentation von Prof. Dr. Gabriele Kern-Isberner

  • Baum- und graphbasierte Übersetzungs- und Analysetechniken von Prof. Dr. Peter Padawitz

• Seminare
  • Executable Specification Languages von Prof. Dr. Peter Padawitz