Fachgebiet Theorie der Programmierung

20.10.2010

Lehrangebot der Fakultät Informatik für das Fachgebiet Theorie der Programmierung
(Sommersemester 2011)

Lehrveranstaltung SWS 1 Dozent Institut Prakt. Pflicht/Wahlpflicht 2
Advanced Logics
(in engl. Sprache) 		4/2/- Prof. Baier ThI
Wahlpflicht
Advanced Topics on Weighted Tree Automata 2/2/0 Prof. Vogler ThI Wahlpflicht
Angewandte Sotware-Verifikation mit einem interaktiven Theorembeweiser 1/1/0 Dr. Tews SyA Wahlpflicht
Category Theory for Computer Science (in engl. Sprache) 2/2/- Dr. Posegga ThI
Wahlpflicht
Description Logic
(in engl. Sprache) 		4/2/- Dr. Turhan ThI
Wahlpflicht
Funktionale Programmierung und Typtheorie 2/2/0 Dr. Sturm ThI Wahlpflicht
Fuzzy Logic
(in engl. Sprache) 		2/1/- Dr. Penaloza ThI
Wahlpflicht
Molekulares Rechnen (in vitro und in vivo) 2/2/- Dr. Sturm ThI
Wahlpflicht
Verarbeitung natürlicher Sprache – Übersetzungsmodelle 2/2/0 Prof. Vogler
Dipl.-Inf. Dietze		 ThI 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.