Lehrveranstaltungen der Abtl. KI im WS'00/01

Vorlesungen

• Einführung in die Künstliche Intelligenz (3V / 1Ü)
    F. v. Henke, B. Schattenberg, N.N.
• Maschinelles Beweisen (3V / 1Ü)
    F. v. Henke, H. Pfeifer, M. Luther
• Vorlesung im Grundstudium: Praktische Informatik I (4V/ 2Ü)
    S. Biundo-Stephan, H. Jungholt, T. Liebig

Seminare

• Hauptseminar Intelligentes Scheduling (2 Std.)
    S. Biundo-Stephan, B. Schattenberg
• Hauptseminar Vertrauen in Computer - Risiken sicherheitskritischer computergestützter Systeme (2 Std.)
    F. v. Henke, H. Pfeifer
    In Zusammenarbeit mit der Abteilung Rechnerstrukturen, Prof. Kaiser, Gisela Menger

Praktika

• Praktikum im Hauptstudium: Modellierung und Simulation autonomer Agenten
    F. v. Henke, T. Liebig
• Individualpraktika:
    In Absprache mit Mitarbeitern der Abteilung können jederzeit
    individuelle Praktika zu aktuellen Themen aus der KI durchgeführt werden.

Programmierkurse

• Programmierkurs Lisp (1V / 1Ü)
    F. v. Henke, M. Luther

Arbeitsgemeinschaften

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