Fachgebiet Intelligente Systeme

09.03.2010

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



  Lehrveranstaltung  SWS1 DozentInstitutPrakt.Pflicht/Wahlpflicht2 




Advanced Logics
(in engl. Sprache)		4/2/-Prof. BaierThI
Wahlpflicht


Angewandte Wissensverarbeitung / Webanwendung (Komplexpraktikum) -/-/4Doz. Dr. PetersohnKIx




Computational Logic -/2/- Prof. ThielscherKI





Description Logic
(in engl. Sprache)		4/2/-Prof. BaaderThI
Wahlpflicht



Entwurf und Analyse mit Petri-Netzen2/-/2Dr. NauberThIxWahlpflicht



Foundations of Agent Programming
(in engl. Sprache)		3/3/- Prof. ThielscherKI




Intelligent Agents-/2/-Prof. ThielscherKI  


Model Checking II
(in engl. Sprache)		2/-/-Dr. GroesserThI

Wahlpflicht


SAT - Probleme und das Lösen von Sudokus1/1/2Prof. HölldoblerKI




Selected Topics in Automata and Logic
(in engl. Sprache)		2/-/-R. PenalozaThI
Wahlpflicht


Semantics of Dependent Type Theory
(in engl. Sprache)		2/2/-Dr. PoseggaThI
Wahlpflicht


Tree Automata
(in engl. Sprache)		4/2/-Prof. VoglerThI
Wahlpflicht



Wissensentdeckung und Maschinelles Lernen 2/-/2Doz. Dr. PetersohnKIxWahlpflicht









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.