inf489 - Spezielle Themen aus dem Gebiet "Formale Methoden" (Vollständige Modulbeschreibung)

inf489 - Spezielle Themen aus dem Gebiet "Formale Methoden" (Vollständige Modulbeschreibung)

Originalfassung Englisch PDF Download
Modulbezeichnung Spezielle Themen aus dem Gebiet "Formale Methoden"
Modulkürzel inf489
Kreditpunkte 6.0 KP
Workload 180 h
Einrichtungsverzeichnis Department für Informatik
Verwendbarkeit des Moduls
  • Master Informatik (Master) > Theoretische Informatik
Zuständige Personen
  • Wehrheim, Heike (Modulverantwortung)
  • Lehrenden, Die im Modul (Modulberatung)
Teilnahmevoraussetzungen
Kompetenzziele

Das Modul hat zum Ziel aktuelle Entwicklungen der Formalen Methoden in den jeweils angemessenen Lehrveranstaltungsformen, insbesondere in Bezug auf die gewählte Vertiefungsrichtung, in das Studium der Informatik zu integrieren.

Fachkompetenzen
Die Studierenden:

  • kennen neuere technische oder wissenschaftliche Entwicklungen derInformatik,
  • transferieren Informatik-Methoden und -Vorgehensmodelle auf dieAnforderungen von IT-Anwendungsgebieten,
  • bewerten die Möglichkeiten und Grenzen informatischer Verfahrenund Werkzeuge und
  • setzen diese sachangemessen ein.

Methodenkompetenzen
Die Studierenden:

  • begutachten Probleme, formulieren diese mit Hilfe formaler Modelleund untersuchen diese adäquat
  • finden (einen oder mehrerer) Lösungszugänge informatischer Probleme und stellen sie dar
  • wählen aufgabenangemessene Werkzeuge und Methoden aus undevaluieren diese
  • untersuchen Probleme anhand technischer und wissenschaftlicherLiteratur

Sozialkompetenzen
Die Studierenden:

  • kooperieren im Team


Selbstkompetenzen
Die Studierenden:

  • planen ihr eigenständiges Vorgehen in der Informatik
Modulinhalte

Je nach zugeordneten Lehrveranstaltungen
Literaturempfehlungen

Werden in der zugeordneten Lehrveranstaltung bekannt gegeben
Links
Unterrichtsprachen Deutsch, Englisch
Dauer in Semestern 1 Semester
Angebotsrhythmus Modul unregelmäßig
Aufnahmekapazität Modul unbegrenzt
Lehr-/Lernform 2 VA aus V, Ü, S, P
Vorkenntnisse Hilfreiche Vorkenntnisse:

Funktionen, Relationen, etc., Logik, Automatentheorie
Prüfung Prüfungszeiten Prüfungsform
Gesamtmodul

Am Ende der Vorlesungszeit nach Absprache mit dem Lehrenden

Portfolio oder Referat oder mündliche Prüfung oder Klausur
Lehrveranstaltungsform VA-Auswahl
SWS 4
Angebotsrhythmus siehe Angebotsrhythmus Modul
Workload Präsenzzeit 56 h