Lehrveranstaltungen im Wintersemester 10/11

• Pflichtmodule
  • Logik für Informatiker von Prof. Dr. Thomas Schwentick
    
  • Komplexitätstheorie von Prof. Dr. Thomas Schwentick
  • Praktische Informatik für Wirtschaftsmathematiker, Ingenieure und Naturwissenschaftler I von Dr. Lars Hildebrand
  • Funktionale Programmierung von Prof. Dr. Peter Padawitz
• 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

Lehrveranstaltungen der Masterstudiengänge

• Seminare
  • Anwendbarkeit theorethischer Konzepte in der Multiagentenprogrammierung von Prof. Dr. Gabriele Kern-Isberner
• Proseminare
  • Automatisches Planen: Wie soll ein Hafenroboter Container stapeln? von Prof. Dr. Gabriele Kern-Isberner