Fachgebiet Theorie der Programmierung

09.03.2010

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



  Lehrveranstaltung  SWS1 DozentInstitutPrakt.Pflicht/Wahlpflicht2 




Advanced Logics
 (in engl. Sprache)		4/2/-Prof. BaierThI
Wahlpflicht




Description Logic
(in engl. Sprache)		4/2/-Prof. BaaderThI
Wahlpflicht




Entwurf und Analyse mit Petri-Netzen2/-/2Dr. NauberThIxWahlpflicht



Model Checking II
(in engl. Sprache)		2/-/-Dr. GroesserThI

Wahlpflicht



Molekulares Rechnen (in vitro und in vivo)2/2/-Dr. SturmThI
Wahlpflicht



Semantics of Dependent Type Theory
(in engl. Sprache)		2/2/-Dr. PoseggaThI
Wahlpflicht



Tree Automata
(in engl. Sprache)		4/2/-Prof. VoglerThI
Wahlpflicht



Selected Topics in Automata and Logic
(in engl. Sprache)		2/-/-R. PenalozaThI
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.