Lehrveranstaltungen des Instituts für KI im WS '09/10

Vorlesungen

 Hauptstudium

• Einführung in die Künstliche Intelligenz (3V / 1Ü)
  S. Biundo-Stephan, J. Bidot

• Einführung in die formale Modellierung und Verifikation (2V / 2Ü)
  F. v. Henke, H. Pfeifer

• Moderne Methoden für Software-Korrektheit (2V / 2Ü)
  F. v. Henke, H. Pfeifer

• Einführung in die LISP-Programmierung (1V / 1Ü)
  Blockkurs vor Beginn der Vorlesungszeit (5. - 9. Oktober 2009)
  F. v. Henke

Praktika

• Individualpraktika:
  In Absprache mit Mitarbeitern des Instituts können jederzeit
  individuelle Praktika zu aktuellen Themen aus der KI durchgeführt werden.
  Siehe dazu auch die Liste mit Themenvorschlägen.

Weitere Veranstaltungen

• Diplomandenseminar Künstliche Intelligenz
  S. Biundo-Stephan, F. von Henke und Mitarbeiter