Fachgebiet Theorie der Programmierung
29.06.2011
Lehrangebot der Fakultät Informatik für das Fachgebiet Theorie der Programmierung
(Wintersemester 2011/2012)
| Lehrveranstaltung | SWS1 | Dozent | Institut |
Pflicht/Wahlpflicht2 |
| Fuzzy Description Logic | 2/1/0 | Dr. Penaloza | ThI | |
| Interactive Theorem Proving | 4/2/- | Dr. Posegga | ThI | Wahlpflicht |
| Introduction to Automatic Structures | 2/1/0 | Dr. Turhan | ThI | |
| Lernalgorithmen für die Sprachverarbeitung | 2/2/0 | Dr. Stüber | ThI | |
| Verarbeitung natürlicher Sprachen — Sprachmodelle | 4/2/0 | Prof. Vogler Dipl.-Inf. Büchse |
ThI | Wahlpflicht |
| Weighted Tree Automata | 2/0/0 | Prof. Vogler | ThI | Wahlpflicht |
| Compilerbau | 2/-/- | N.N. | TeI | Wahlpflicht |
| Term Rewriting Systems | 4/2/0 | Prof. Baader | 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.