inf490 Aktuelle Themen aus dem Gebiet "Formale Methoden" I (Complete module description)

inf490 Aktuelle Themen aus dem Gebiet "Formale Methoden" I (Complete module description)

Deutsch English PDF Download
Module label Aktuelle Themen aus dem Gebiet "Formale Methoden" I
Modulkürzel inf490
Credit points 3.0 KP
Workload 90 h
Verwendbarkeit des Moduls
  • Master Informatik > Theoretische Informatik
Zuständige Personen
  • Wehrheim, Heike (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
Prerequisites

keine
Skills to be acquired in this module

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
Module contents

Je nach zugeordneter Lehrveranstaltung
Literaturempfehlungen

Wird in der zugeordneten Lehrveranstaltung bekannt gegeben
Links
Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency unregelmäßig
Module capacity unrestricted
Lehr-/Lernform V or S
Examination Prüfungszeiten Type of examination
Final exam of module

Am Ende des Semesters

Portfolio oder Referat oder mündliche Prüfung oder Klausur
Form of instruction Course or seminar
SWS 2
Frequency siehe Angebotsrhythmus Modul
Workload Präsenzzeit 28 h