Lehrveranstaltungen im Sommersemester 19

Lehrveranstaltungen der Masterstudiengänge

• Basismodule
  • Commonsense Reasoning von Prof. Dr. Gabriele Kern-Isberner (Raumänderung ab 11.04.2019: SRG 1 R. 1.001!)
  • Komplexitätstheorie von Dr. rer. nat. Thomas Zeume
• Vertiefungsmodule
  • Fortgeschrittene Themen der Wissenspräsentation von Prof. Dr. Gabriele Kern-Isberner
  • Funktionales und regelbasiertes Programmieren von Prof. Dr. Peter Padawitz
• Seminare
  • Grenzen in der theoretischen Informatik von Dr. rer. nat. Thomas Zeume