Aktuell: Änderung Theorieblock im Master-Studium

Liebe Studierende,

der Fachbereichsrat Informatik hat in seiner gestrigen Sitzung beschlossen, das Master-Studium Informatik noch flexibler zu gestalten. Im Block "Informatik-Theorie" gab es bisher nur ein Pflichtmodul 89-5151 "Formale Spezifikations- und Verifikationstechniken (FSVT)". Der FBR hat beschlossen, zukünftig in diesem Block Alternativen anzubieten. Geplant sind neben der FSVT die folgenden Module. Bei allen Modulen handelt es sich um Veranstaltungen des Sommersemesters.

89-6252	Verifikation reaktiver Systeme	(Verification of Reactive Systems)
89-3252	Spezifikation und Verifikation mit Logik höherer Ordnung	(Specification and Verification with Higher Order Logic)
89-5454	Fortgeschrittene Algorithmik	(Advanced Algorithmics)

Die Änderungen werden in eine Novelle der Prüfungsordnung eingebracht und sollen zum kommenden Sommersemester in Kraft treten. Mit diesem Hinweis möchte ich Sie frühzeitig in Ihrer Langfristplanung unterstützen.

Viele Grüße,
Bernd Schürmann

---

PS: In einer früheren E-Mail (24.9.09) zur Änderung der Prüfungsordnungen hatte ich geschrieben: "Bereits eingeschrieben Studierende haben Wahlrecht zwischen der alten und neuen Fassung der Ordnung (auch für einzelne Paragraphen)."
Mittlerweile ist das Prüfungsamt der Meinung, dass eine Wahl einzelner Paragraphen nicht möglich sei. Das Wahlrecht bestünde nur für eine komplette Prüfungsordnungsversion. Der Fachbereich sieht dies noch anders und ist momentan dabei, dies mit dem Ministerium abzuklären. Zurzeit sieht es jedoch eher so aus, dass die Prüfungsamt-Variante (komplette Prüfungsordnung) zu wählen ist. Sollte ich etwas anderes erfahren, werde ich dies bekannt geben.