Lehrveranstaltungen im Sommersemester 10

Lehrveranstaltungen der Bachelorstudiengänge

• Pflichtmodule
  • Grundbegriffe der theoretischen Informatik von JProf. Dr. Wim Martens
  • Praktische Informatik für Wirtschaftsmathematiker, Ingenieure und Naturwissenschaftler I von Dr. Lars Hildebrand
• Fachprojekte
  • Rapid Prototyping mit Haskell & Expander2 von Prof. Dr. Peter Padawitz
• Proseminare
  • Grundlagen algebraischer Modellierung und funktionaler Programmierung von Prof. Dr. Peter Padawitz

Lehrveranstaltungen der Masterstudiengänge

• Basismodule
  • Commonsense Reasoning von Prof. Dr. Gabriele Kern-Isberner
• Vertiefungsmodule
  • Logisch-Algebraischer Systementwurf von Prof. Dr. Peter Padawitz
• Seminare
  • Projektgruppe 545 - Intelligent Cowbotsvon Prof. Dr. Gabriele Kern-Isberner
  • Executable Specification Languages von Prof. Dr. Peter Padawitz