inf490 - Aktuelle Themen aus dem Gebiet "Formale Methoden" I (Veranstaltungsübersicht)

inf490 - Aktuelle Themen aus dem Gebiet "Formale Methoden" I (Veranstaltungsübersicht)

Department für Informatik 3 KP
Semesterveranstaltungen Sommersemester 2022
Lehrveranstaltungsform: Vorlesung oder Seminar
Hinweise zum Modul
Teilnahmevoraussetzungen
Keine Teilnehmervoraussetzungen
Prüfungszeiten
Am Ende des Semesters
Prüfungsleistung Modul
Portfolio oder Referat oder mündliche Prüfung oder Klausur
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