Fachgebiet Theorie der Programmierung

08.09.2009

Lehrangebot der Fakultät Informatik für das Fachgebiet Theorie der Programmierung
(Wintersemester 2009/2010) 



  Lehrveranstaltung  SWS1 DozentInstitutPrakt.Pflicht/Wahlpflicht2 




Advanced Topics in Description Logics2/-/-Dr. TurhanThI
Wahlpflicht


Automata and Logic4/2/-Prof. BaaderThI
Wahlpflicht


Funktionale Programmierung und Typtheorie2/2/-Dr. SturmThI
Wahlpflicht


Interactive Theorem Proving4/1/1Dr. PoseggaThI
Wahlpflicht


LP Engineering-/-/2Dr. NauberThI
Wahlpflicht


Model Checking4/2/-Prof. BaierThI
Wahlpflicht


Compilerbau2/-/-Dr. FalkTeI 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.