Fachgebiet Theorie der Programmierung

11.10.2012

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

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 4/2/0 Prof. Vogler ThI
Angewandte Sotware-Verifikation mit einem interaktiven Theorembeweiser 1/1/0 Dr. Tews SyA Wahlpflicht
Automata and Logic
(in engl. Sprache) 		4/2/- Prof. Baader ThI
Wahlpflicht
Formal Concept Analysis and Logic 2/1/0 Dr. Distel ThI
Funktionale Programmierung und Typtheorie 2/2/0 Dr. Sturm ThI Wahlpflicht
Introduction to Complexity Theory
(in engl. Sprache) 		2/1/0 Dr. Penaloza ThI
Wahlpflicht
Maschinelles Übersetzen natürlicher Sprachen 2 / Statistical Machine Translation 2 2/4/0 Prof. Vogler
Dipl.-Inf. Dietze 		ThI
Molekulares Rechnen (in vitro und in vivo) 2/2/0 Dr. Sturm 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.