Unterlagen zu früheren Veranstaltungen

Vorlesungen im Hauptstudium

• Multiagentensysteme: WS'01/02 - WS'03/04 - WS'04/05 - WS'05/06 - SS'07
• Wissensmodellierung: SS'01 - SS'02 - SS'03 - SS'04 - SS'05 - SS'06 - SS'07
• Computergestützte Modellierung und Verifikation WS'03/04 - SS'05 - SS'06 - SS'07
• Grundlagen der Künstlichen Intelligenz / Einführung in die Künstliche Intelligenz:
  WS'95/96 - WS'96/97 - WS'97/98 - WS'98/99 - WS'99/00 - WS'00/01 - WS'01/02 - WS'02/03 - WS'03/04 - WS'04/05 - WS'05/06 - WS'06/07
• Inferenzsysteme / Maschinelles Beweisen / ... mit PVS: SS'94 - SS'96 - SS'97 - SS'99 - WS'00/01 - WS'02/03 - WS'04/05 - WS'05/06 - WS'06/07
• Planen und Scheduling: SS'99 - SS'00 - SS'01 - SS'02 - SS'04 - SS'05 - SS'06
• Typentheorie: SS'94 - SS'98 - WS'01/02
• Kategorientheorie für Informatiker: SS'00
• Modellierung und Analyse eingebetteter Systeme: SS'00
• Modellbildung und Simulation dynamischer Systeme: WS'99/00
• Wissensrepräsentation: WS'93/94 - SS'95 - SS'96 - SS'98
• Verteilte Künstliche Intelligenz: WS'95/96
• Verarbeitung Natürlicher Sprache: WS'94/95

• Praktische Informatik I: WS'98/99 - WS'00/01 - WS'01/02 - WS'02/03 - WS'04/05 - WS'06/07
• Praktische Informatik II: SS'99 - SS'05 - SS'07

• Einführung in die LISP-Programmierung: WS'96/97 - WS'98/99 - WS'99/00 - WS'00/01 - WS'01/02 - WS'02/03 - WS'03/04 - WS'04/05 - WS'05/06 - WS'06/07
• Java-Kurs: SS98
• Prolog-Kompaktkurs: SS95