Lehrveranstaltungen der Abtl. KI im WS'99/00

Vorlesungen

• Einführung in die Künstliche Intelligenz (3V / 1Ü)
  S. Biundo-Stephan, B. Schattenberg
• Wissensverarbeitende Systeme (3V / 1Ü)
  F. v. Henke, T. Liebig, H. Pfeifer
• Modellbildung und Simulation dynamischer Systeme (3V / 1Ü)
  A. Uhrmacher, H. Pfeifer
• Programmierkurs Lisp (1V / 1Ü)
  F. v. Henke, M. Luther

Seminare

• Hauptseminar Fallbasiertes Schliessen (2 Std.)
  S. Biundo-Stephan, F. v. Henke, A. Uhrmacher, A. Seitz
• Hauptseminar Vertrauen in Computer - Risiken sicherheitskritischer computergestützter Systeme (2 Std.)
  F. v. Henke, H. Pfeifer
  In Zusammenarbeit mit der Abteilung Rechnerstrukturen, Prof. Kaiser
• Hauptseminar Technik der Computerspiele (2 Std.)
  S. Biundo-Stephan, F. v. Henke, T. Liebig
  In Zusammenarbeit mit der Abteilung Verteilte Systeme, Prof. Schulthess

Praktika

• Praktikum im Hauptstudium: Wissensverarbeitende Systeme
  F. v. Henke, T. Liebig, H. Pfeifer

Arbeitsgemeinschaften

• AG Künstliche Intelligenz
  S. Biundo-Stephan, F. v. Henke