inf490 - Aktuelle Themen aus dem Gebiet "Formale Methoden" I (Vollständige Modulbeschreibung)

Modulbezeichnung	Aktuelle Themen aus dem Gebiet "Formale Methoden" I
Modulkürzel	inf490
Kreditpunkte	3.0 KP
Workload	90 h
Einrichtungsverzeichnis	Department für Informatik
Verwendbarkeit des Moduls	Master Informatik (Master) > Theoretische Informatik
Zuständige Personen	Wehrheim, Heike (Modulverantwortung) Lehrenden, Die im Modul (Prüfungsberechtigt)
Teilnahmevoraussetzungen	Keine
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 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
Links
Unterrichtssprache	Englisch
Dauer in Semestern	1 Semester
Angebotsrhythmus Modul	halbjährlich
Aufnahmekapazität Modul	unbegrenzt
Lehr-/Lernform	V oder S
Vorkenntnisse	keine

Prüfung	Prüfungszeiten	Prüfungsform
Gesamtmodul	Am Ende des Semesters	Portfolio oder Referat oder mündliche Prüfung oder Klausur

Lehrveranstaltungsform	Vorlesung oder Seminar
SWS	2
Angebotsrhythmus	siehe Angebotsrhythmus Modul