Fachgebiet Theorie der Programmierung
20.07.2010
Lehrangebot der Fakultät Informatik für das Fachgebiet Theorie der Programmierung
(Wintersemester 2010/2011)
| Lehrveranstaltung | SWS1 | Dozent | Institut | Prakt. |
Pflicht/Wahlpflicht2 |
| Formale Semantik nebenläufiger und mobiler Systeme | 2/2/- | Dr. Posegga | ThI | Wahlpflicht | |
| Interactive Theorem Proving | 4/2/- | Dr. Posegga | ThI |
|
Wahlpflicht |
| Verarbeitung natürlicher Sprachen – Sprachmodelle | 2/2/- | Prof. Vogler Dipl.-Inf. Büchse |
ThI | Wahlpflicht | |
| Weighted Tree Automata | 2/2/- | Prof. Vogler | ThI | Wahlpflicht | |
| Model Checking | 4/2/- | Prof. Baier | ThI |
|
Wahlpflicht |
| Compilerbau | 2/-/- | N.N. | TeI | 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.