20. August - Die Informationen auf dieser Webseite sind noch vorläufig.
Die Vorlesung wird gehalten von Prof. Dr. Roland Meyer. Der Übungsbetrieb wird von Natalia Gacek geleitet.
Es handelt sich um eine Veranstaltung mit 4 (2 VL + 2 Ü) Semesterwochenstunden.
Um das Modul erfolgreich mit 5 ECTS abzuschließen, sind zwei Leistungen zu erbringen:
Es werden operationelle Modelle zur Beschreibung des Verhaltens von Programmen betrachtet.
Für diese Modelle werden Berechnungsprobleme formuliert und Algorithmen zu deren Lösung vorgestellt.
Die Modelle umfassen
Die Vorlesung gibt einen Einblick in die theoretischeren Forschungsarbeiten des Instituts und die entsprechenden Kurse des Masterstudiums.
Die Liste der Literatur, auf der die Vorlesung aufbaut, wird im Laufe des Semesters vervollständigt.