inf450 - Korrektheit von Graphprogrammen

inf450 - Korrektheit von Graphprogrammen

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2018/2019 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.450 - Korrektheit von Graphprogrammen Lehrende anzeigen
    • Prof. Dr. Annegret Habel
    • Okan Özkan, M. Sc.

    Termine am Freitag, 26.10.2018 13:00 - 16:00, Samstag, 27.10.2018 09:00 - 16:00, Freitag, 23.11.2018 09:15 - 12:15, Freitag, 23.11.2018 ...(mehr)
    Zeiten werden noch modifiziert
Übung
  • Kein Zugang 2.01.450 - Korrektheit von Graphprogrammen Lehrende anzeigen
    • Prof. Dr. Annegret Habel
    • Okan Özkan, M. Sc.

    Termine am Freitag, 26.10.2018 13:00 - 16:00, Samstag, 27.10.2018 09:00 - 16:00, Freitag, 23.11.2018 09:15 - 12:15, Freitag, 23.11.2018 ...(mehr)
    Zeiten werden noch modifiziert
Hinweise zum Modul
Teilnahmevoraussetzungen
- inf400 Theoretische Informatik I
- inf401 Theoretische Informatik II
Hinweise
Wird oft als Blockveranstaltung angeboten
Prüfungszeiten
Werden in der Veranstaltung bekannt gegeben
Prüfungsleistung Modul
Fachpraktische Übungen und mündliche Prüfung
Kompetenzziele
Modellierung von Systemen, Systemveränderungen und Systemeigenschaften. Einführung in Graphprogramme und Grapheigenschaften. Einführung in die Korrektheit von Systemen. Methoden zum Nachweis von Korrektheit von Systemen.
Fachkompetenzen
Die Studierenden:
  • beschreiben die Grundlagen von Graphprogrammen und Grapheigenschaften
  • beschreiben Verfahren zum Nachweis von Korrektheit
Methodenkompetenzen
Die Studierenden:
  • modellieren Systeme, Systemveränderungen und Systemeigenschaften
  • wenden Graphprogamme an
Sozialkompetenzen
Die Studierenden:
  • lösen Problemstellungen im Team
  • präsentieren Lösungsvorschläge und diskutieren diese
Selbstkompetenzen
Die Studierenden:
  • reflektieren ihr Handeln und beziehen dabei Graphprogramme und Grapheigenschaften ein

Nach oben