Lehrveranstaltungen im Sommersemester 17

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Logik für Informatiker von Prof. Dr. Peter Padawitz

• Wahlpflichtmodule
  • Fachprojekt Rapid Prototyping mit Haskell & Expander2 von Prof. Dr. Peter Padawitz
• Proseminar
  • Parametrisierte Algorithmen von Prof. Dr. Thomas Schwentick

Lehrveranstaltungen der Masterstudiengänge

• 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
  • Logisch-Algebraischer Systementwurf von Prof. Dr. Peter Padawitz
• Seminare
  • Executable Specification Languages von Prof. Dr. Peter Padawitz