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

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

Originalfassung Englisch PDF Download
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 Teilnehmervoraussetzungen
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 1S oder 1VL
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