Fachgebiet Theorie der Programmierung
01.05.2012
Lehrangebot der Fakultät Informatik für das Fachgebiet Theorie der Programmierung
(Wintersemester 2012/2013)
| Lehrveranstaltung | SWS1 | Dozent | Institut |
Pflicht/Wahlpflicht2 |
| Maschinelles Übersetzen natürlicher Sprachen | 4/2/0 | Prof. Vogler | ThI | Wahlpflicht |
| Fuzzy Logic | 2/1/0 | Dr. Distel | ThI | Wahlpflicht |
| Compilerbau | 2/-/- | N.N. | TeI | Wahlpflicht |
| Description Logic | 4/2/0 | Dr. Turhan | 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 | |
| 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.