Stud.IP Uni Oldenburg
Universität Oldenburg
30.11.2023 06:02:00
inf410 - Formale Methoden (Vollständige Modulbeschreibung)
Originalfassung Englisch PDF Download
Modulbezeichnung Formale Methoden
Modulkürzel inf410
Kreditpunkte 6.0 KP
Workload 180 h
Einrichtungsverzeichnis Department für Informatik
Verwendbarkeit des Moduls
  • Fach-Bachelor Informatik (Bachelor) > Akzentsetzungsbereich - Wahlbereich Informatik
  • Master of Education (Gymnasium) Informatik (Master of Education) > Wahlpflichtmodule (Theoretische Informatik)
Zuständige Personen
  • Wehrheim, Heike (Modulverantwortung)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
Teilnahmevoraussetzungen
Nützliche Vorkenntnisse: Vorlesung Logik
Kompetenzziele
Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. Die Studierenden bekommen einen Überblick über verschiedene formale Methoden und ihren Einsatz bei der Modellierung und Analyse von Informatik-Systemen. Sie wählen für eine gegebene Aufgabe adäquate Formalismen sowie zugehörige Analyseverfahren aus, wenden diese an und interpretieren Ergebnisse der Analyse.
Fachkompetenzen
Die Studierenden:
  • wenden mathematische Formalismen in der Modellierung von Informatik-Systemen an
  • wählen für eine gegebene Aufgabenstellung adäquate Modellierungssprachen aus
  • spezifizieren Informatik-Systeme formal
  • wählen geeignete Analyseverfahren aus
  • interpretieren Ergebnisse von Analyseverfahren

Methodenkompetenzen
Die Studierende:
  • führen formale Beweise durch
  • nutzen Werkzeuge zur Analyse
  • definieren die Semantik von formalen Spezifikationssprachen

Sozialkompetenzen
Die Studierenden:
  • bearbeiten in Gruppen Übungsaufgaben und erklären sich gegenseitig Inhalte
  • diskutieren Vor- und Nachteile bestimmter Formalismen

Selbstkompetenzen
Die Studierenden:
  • organisieren sich ihre eigene Arbeit an den Aufgabenstellungen des Moduls
Modulinhalte
  • Wiederholung von Prädikatenlogik, ihr Einsatz in der Programmverifikation
  • Petrinetze
  • Prozessalgebra CCS
  • Zeitautomaten
  • Z
Literaturempfehlungen
Links
Unterrichtssprache Deutsch
Dauer in Semestern 1 Semester
Angebotsrhythmus Modul jedes Sommersemester
Aufnahmekapazität Modul unbegrenzt
Hinweise
Modullevel
Modulart
Lehr-/Lernform 1VL + 1Ü
Vorkenntnisse Nützliche Vorkenntnisse: Vorlesung Logik
Lehrveranstaltungsform Kommentar SWS Angebotsrhythmus Workload Präsenz
Vorlesung 2 SoSe oder WiSe 28
Übung 2 SoSe oder WiSe 28
Präsenzzeit Modul insgesamt 56 h
Prüfung Prüfungszeiten Prüfungsform
Gesamtmodul
Wöchentliche Aufgaben, am Ende mündliche Prüfung
Klausur oder mündliche Prüfung