Lehrveranstaltungen im Wintersemester 16/17

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Funktionale Programmierung von Prof. Dr. Peter Padawitz
  • Logik für Informatiker von Prof. Dr. Thomas Schwentick

• 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
  • Grundlagen algebraischer Modellierung und funktionaler Programmierung von Prof. Dr. Peter Padawitz
  • Verteilte Algorithmen von Dr. rer. nat. Thomas Zeume

Lehrveranstaltungen der Masterstudiengänge

• Vorlesungen
  • Datenbanktheorie von Prof. Dr. Thomas Schwentick
• Seminare
  • Revision und Fusion von Wissen von Prof. Dr. Gabriele Kern-Isberner