inf490 Current Topics in Formal Methods I (Vollständige Modulbeschreibung)

Modulbezeichnung

Current Topics in Formal Methods I

Modulkürzel

inf490

Kreditpunkte

3,0 KP

Verantwortliche Einrichtung

Department für Informatik

Zuständige Personen

Modulverantwortung:

Heike Wehrheim

Prüfungsberechtigt:

Die im Modul Lehrenden

Teilnahmevoraussetzungen

keine

Unterrichtsprachen

Deutsch, Englisch

Lernergebnisse/Kompetenzen

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 der Informatik,
transferieren Informatik-Methoden und -Vorgehensmodelle auf die Anforderungen von IT-Anwendungsgebieten,
bewerten die Möglichkeiten und Grenzen informatischer Verfahren und Werkzeuge und
setzen diese sachangemessen ein.

Methodenkompetenzen
Die Studierenden:

begutachten Probleme, formulieren diese mit Hilfe formaler Modelle und untersuchen diese adäquat
finden (einen oder mehrere) Lsungszugänge informatischer Probleme und stellen sie dar
wählen aufgabenangemessene Werkzeuge und Methoden aus und evaluieren diese
untersuchen Probleme anhand technischer und wissenschaftlicher Literatur

Sozialkompetenzen
Die Studierenden

kooperieren im Team

Selbstkompetenzen
Die Studierenden

planen ihr eigenständiges Vorgehen in der Informatik

Modulinhalte

Je nach zugeordneter Lehrveranstaltung

Literaturempfehlungen

Wird in der zugeordneten Lehrveranstaltung bekannt gegeben

Zu erbringende Leistungen

Prüfungsart, -umfang, -dauer

Portfolio oder Referat oder mündliche Prüfung oder Klausur

Prüfungszeiten

Am Ende des Semesters

Dauer in Semestern

1 Semester

Angebotsrhythmus

unregelmäßig

Workload

Arbeitsaufwand gesamt	Davon Präsenzzeit
90 h

Lehrveranstaltungsform

Veranstaltungsart	SWS	Angebotsrhythmus	Workload Präsenzzeit
Vorlesung oder Seminar	2	siehe Angebotsrhythmus Modul	28 h

Zusätzliche Hinweise

Aufnahmekapazität:
unbegrenzt

Lehr-/Lernform:
V oder S

Verwendbarkeit des Moduls

Master Computer Science > Wahlbereich Theoretische Informatik
Master Engineering of Socio-Technical Systems > Module Aktuelle Themen der Informatik
Master Informatik > Theoretische Informatik