Lehrveranstaltungen im Wintersemester 17/18

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Funktionale Programmierung von Prof. Dr. Peter Padawitz
  • Logik für Informatiker von Prof. Dr. Gabriele Kern-Isberner

• Wahlpflichtmodule
  • Übersetzerbau von Prof. Dr. Peter Padawitz
  • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
• Wahlmodul
  • Einführung in den logisch-algebraischen Systementwurf von Prof. Dr. Peter Padawitz
  • Konzepte und Methoden der Theoretischen Informatik von Prof. Dr. Thomas Schwentick
• Proseminar
  
  • Automaten von Dr. rer. nat. Thomas Zeume
  • Approximation und Online-Algorithmen von M. Sc. Nils Vortmeier
    

Lehrveranstaltungen der Masterstudiengänge

• Vorlesungen
• Logik und Komplexität von Prof. Dr. Thomas Schwentick
• Seminare
  • Seminar zu aktuellen Themen der Theoretischen Informatik von Prof. Dr. Thomas Schwentick
  • Executable Specification Languages von Prof. Dr. Peter Padawitz