|
Die Vorlesung gibt einen Überblick über die bekanntesten temporalen Logiken wie CTL, LTL, CTL*, usw. Sie konzentriert sich auf deren Nutzen sowei die Komplexität ihrer Entscheidungs- und Auswertungsprobleme und ihre Beziehungen untereinander bzgl. ihrer Ausdrucksstärken.
Die Vorlesung wird 4std. während der gesamten Vorlesungszeit gehalten. Sie kann jedoch auch als Wahlpflichtmodul im Bachelor-Studiengang mit 5 ECTS-Punkten belegt werden, wofür sie nur 3-std. sein sollte. Wie dies genau ausgeführt werden kannl, wird je nach Bedarf in der ersten Vorlesungsstunde besprochen werden.
Die erste Vorlesung findet nicht am Montag, 19.10., sondern erst am Mittwoch, 21.10., zum normalen Übungstermin statt!
|
