Fachgebiet Intelligente Systeme

08.09.2009

Lehrangebot der Fakultät Informatik für das Fachgebiet Intelligente Systeme
(Wintersemester 2009/2010) 



  Lehrveranstaltung  SWS1 DozentInstitutPrakt.Pflicht/Wahlpflicht2 


Intelligente Systeme (Wissensverarbeitung, Mustererkennung/Bildverarbeitung und Neuronale Informationsverarbeitung)



Advanced Topics in Description Logics2/-/-Dr. Turhan ThI
Wahlpflicht


Angewandte Systeme der KI2/-/2Doz. Dr. PetersohnKIxWahlpflicht


Automata and Logic4/2/-Prof. BaaderThI
Wahlpflicht



Foundations of CP
(in engl. Sprache)		1/1/1Prof. ThielscherKI
Wahlpflicht


Foundations of LP
(in engl. Sprache)		2/1/-Prof. ThielscherKI
Wahlpflicht


General Game Playing
(in engl. Sprache)		1/1/2Prof. ThielscherKIxWahlpflicht


Grundlagen der künstlichen Intelligenz3/1/-Doz. Dr. PetersohnKIxPflicht


Human Reasoning and Cognitive Science
(in engl. Sprache)		-/2/-Prof. HölldoblerKI
Wahlpflicht


Interactive Theorem Proving
(in engl. Sprache)		4/1/1Dr. PoseggaThIxWahlpflicht



LP Engineering
(in engl. Sprache)		-/-/2Dr. NauberThIxWahlpflicht


Model Checking4/2/-Prof. BaierThI
Wahlpflicht


Science of Computational Logic
(in engl. Sprache)		2/2/-Prof. HölldoblerKI
Wahlpflicht















1 SWS     :     Semesterwochenstunden: Vorlesung/Übung bzw. Seminar/Praktikum

2 Pflicht :     Alle Studenten, die dieses Fachgebiet geprüft haben wollen,
                müssen diese Lehrveranstaltung absolvieren.
  Wahlpflicht : Das sind alle anderen Lehrveranstaltungen.
  Dies bedeutet, dass auch Lehrveranstaltungen, die der einzelne Hochschullehrer
  für Prüfungen bei sich zur Pflicht erklärt, Wahlpflichtveranstaltungen in der
  Terminologie des Lehrangebotes sein können. Um dies zu erfahren, sollten
  Studenten die einschlägigen Bekanntmachungen der Hochschullehrer lesen
  und - zusätzlich - rechtzeitig, d.h. vorzugsweise zu Beginn des 5. Semester,
  ein Gespräch mit den zukünftigen Prüfern suchen.