Lehrveranstaltungen im Wintersemester 14/15

• Pflichtmodule
  • Funktionale Programmierung von Prof. Dr. Peter Padawitz
  • Logik für Informatiker von Prof. Dr. Gabriele Kern-Isberner
  • Rechnerstrukturen von Dr. Lars Hildebrand
• Wahlpflichtmodule
  • Darstellung, Verarbeitung und Erwerb von Wissen von Prof. Dr. Gabriele Kern-Isberner
  • Übersetzerbau von Prof. Dr. Peter Padawitz
• Wahlmodule
  • Einführung in den logisch-algebraischen Systementwurf von Prof. Dr. Peter Padawitz
• Proseminare
  • Approximation und Online-Algorithmen von Martin Schuster

 Lehrveranstaltungen der Bachelorstudiengänge (Lehramt)

• Pflichtmodule
  • Formale Methoden 2 von MSc. Gaetano Geck

Lehrveranstaltungen der Masterstudiengänge

• Seminare
  • Executable Specification Languages von Prof. Dr. Peter Padawitz
  • Probabilistische Beschreibungslogiken von Prof. Dr. Gabriele Kern-Isberner

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