Lehrveranstaltungen im Wintersemester 15/16

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
  • Kategorientheoretische Grundlagen von Prof. Dr. Peter Padawitz
  • Multiagentensysteme von Prof. Dr. Gabriele Kern-Isberner

 

Lehrveranstaltungen der Bachelorstudiengänge (Lehramt)

• Pflichtmodule
  • Formale Methoden 2 von MSc. Gaetano Geck

 

Lehrveranstaltungen der Masterstudiengänge

• Vorlesungen
  • Logik und Komplexität von Prof. Dr. Thomas Schwentick
• Seminare
  • Executable Specification Languages von Prof. Dr. Peter Padawitz

 

Exportveranstaltungen

• Einführung in die Informatik für Logistiker und Wirtschaftsingenieure von Dr. Lars Hildebrand
• Einführung in die Informatik für Wirtschaftsmathematiker von Dr. Lars Hildebrand