Lehrveranstaltungen der Abtl. KI im SS'99

Vorlesungen

• Planen und Scheduling (3V/ 1Ü)
    S. Biundo-Stephan, B. Schattenberg
• Maschinelles Beweisen (4V/ 2Ü)
    F.W. von Henke, M. Luther, H. Pfeifer
• Vorlesung im Grundstudium: Praktische Informatik II (4V/ 2Ü)
    F.W. von Henke, H. Pfeifer, T. Liebig

Seminare

• Hauptseminar Computergestütztes Lernen (2 Std.)
    A. Uhrmacher, A. Seitz, A. Martens
• Proseminar Modellbildung und Simulation (2 Std.)
    A. Uhrmacher

Praktika

• Praktikum im Hauptstudium: Planen
    S. Biundo-Stephan, B. Schattenberg

Arbeitsgemeinschaften

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