Fachgebiet Intelligente Systeme

01.05.2012

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



	
Lehrveranstaltung SWS1 Dozent Institut Pflicht/Wahlpflicht2
Computer Vision 2/2/0 Dr. Schlesinger KI Wahlpflicht
Foundations of CP
(in engl. Sprache)
1/1/1 N.N. KI Wahlpflicht
Foundations of LP
(in engl. Sprache)
2/1/- N.N. KI Wahlpflicht
Intelligente Systeme 3/1/- Doz. Dr. Petersohn KI Wahlpflicht
Science of Computational Logic>3
(in engl. Sprache)
2/2/- Prof. Hölldobler KI Wahlpflicht
Strukturelle Modelle in der Bildverarbeitung 2/2/0 Dr. Schlesinger KI Wahlpflicht
Description Logic 4/2/0 Dr. Turhan ThI
Maschinelles Übersetzen natürlicher Sprachen 4/2/0 Prof. Vogler ThI
Machine Translation Lab 0/2/0 Prof. Vogler ThI
NLP Reading Group 0/2/0 Prof. Vogler ThI
Seminar Machine Learning 0/2/0 Prof. Vogler ThI
Fuzzy Logic 2/1/0 Dr. Distel ThI Wahlpflicht
Model Checking 4/4/0 Prof. Baier ThI
Entwurf und Analyse mit Petri-Netzen 2/2/0 Dr. Nauber ThI
Theorem Proving with Equality 2/1/0 Dr. Morawska ThI


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.
3 Diplom : Wird nur für Diplom-Studiengang angeboten.