Hauptinhalt
CS 509 — Formale Methoden
(engl. Formal Methods)
Niveaustufe, Verpflichtungsgrad | Vertiefungsmodul, 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, Ursprung | Informatik, 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:
- WiSe 2016/17
- SoSe 2018
- WiSe 2018/19
- WiSe 2019/20
- WiSe 2020/21
- SoSe 2021
- WiSe 2021/22
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.