Hauptinhalt

CS 509 — Formale Methoden
(engl. Formal Methods)

Niveaustufe, VerpflichtungsgradVertiefungsmodul, Wahlpflichtmodul
Lehr- und Lernformen,
Arbeitsaufwand
Vorlesung (4 SWS), Übung (2 SWS),
270 Stunden (90 Std. Präsenzzeit, 180 Std. Selbststudium)
Leistungspunkte,
Voraussetzungen zum Erwerb
9 LP
Studienleistung: Erreichen von mindestens 50 Prozent der Punkte aus den wöchentlich zu bearbeitenden Übungsaufgaben und mündliche Präsentation der Lösung von mindestens zwei der Übungsaufgaben.
Prüfungsleistung: Mündliche Prüfung oder Klausur
Sprache,
Benotung
Deutsch,
Die Benotung erfolgt mit 0 bis 15 Punkten gemäß der Prüfungsordnung für den Studiengang M.Sc. Informatik.
Exportfach, UrsprungInformatik, M.Sc. Informatik / Vertiefungsbereich Informatik
Dauer des Moduls,
Häufigkeit
Ein Semester,
Unregelmäßig
Modulverantwortliche(r)Prof. Dr. Rita Loogen, Prof. Dr. H.-Peter Gumm

Inhalt

Forschungsnahe Themen aus dem Bereich Formale Methoden und Theoretische Informatik .

Die spezielle fachliche Ausrichtung des Moduls wird jeweils vom Dozenten festgelegt und bekanntgegeben.


Qualifikationsziele

  • Vermittlung neuer Forschungsergebnisse aus aktuellen wissenschaftlichen Publikationen
  • Einübung wissenschaftlicher Arbeitsweisen
  • Erarbeitung aktueller wissenschaftlicher Veröffentlichungen
  • Aufarbeitung, Diskussion und Präsentation aktueller Themen
  • Problemlösung
  • Schulung des Abstraktionsvermögens

Voraussetzungen

Keine. Empfohlen werden die Kompetenzen, die in den Aufbaumodulen zur Theoretischen Informatik vermittelt werden.


Literatur

  • Abhängig von thematischer Ausrichtung.



Bitte beachten Sie:

Diese Seite beschreibt ein Modul gemäß dem im Wintersemester 2016/17 aktuellsten gültigen Modulhandbuch. Die meisten für ein Modul gültigen Regeln werden nicht durch die Prüfungsordnung festgelegt, und können daher von Semester zu Semester aktualisiert werden. Folgende Versionen liegen im Online-Modulhandbuch vor:

Das Modulhandbuch enthält alle Module, unabhängig vom aktuellen Veranstaltungsangebot, vergleichen Sie dazu bitte das aktuelle Vorlesungsverzeichnis in Marvin.

Die Angaben im Online-Modulhandbuch wurden automatisch erstellt. Rechtsverbindlich sind die Angaben der Prüfungsordnung. Wenn Ihnen Unstimmigkeiten oder Fehler auffallen, sind wir für Hinweise dankbar.