Lehrveranstaltungen der Abtl. KI im WS'98/99

Vorlesungen

• Einführung in die Künstliche Intelligenz (4V/ 2Ü)
    S. Biundo-Stephan, M. Strecker
• Programmierkurs: Lisp (1V/ 1Ü)
    M. Strecker, M. Luther
• Vorlesung im Grundstudium: Praktische Informatik I (4V/ 2Ü)
    F.W. von Henke, H. Pfeifer

Arbeitsgemeinschaften

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

Seminare

• Intelligente Netzagenten (2 Std.)
    S. Biundo-Stephan, A. Uhrmacher

Praktika

• Praktikum im Hauptstudium: Maschinelles Beweisen
    M. Strecker