Hauptinhalt
Dieser Eintrag ist aus dem Wintersemester 2016/17 und möglicherweise veraltet. Es konnte kein aktuelles Äquivalent gefunden werden.
CS 509 — Formale Methoden
(engl. Formal Methods)
Niveaustufe, Verpflichtungsgrad | Vertiefungsmodul, abhängig vom importierenden Studiengang |
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(en): 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 |
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
- WiSe 2022/23
- WiSe 2023/24 (kein Äquivalent)
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.