03. Dezember - Auf Aufgabenblatt 4, Aufgabe 1b) wurde geändert, dass die Menge der Events, nicht die Menge der Outcomes angegeben werden soll. Abgaben mit der originalen Aufgabenstellung werden auch akzeptiert, diese war in sich aber nicht gänzlich kohärent.
02. Dezember - Nächste Woche (KW 50) tauschen wir Vorlesung und Übung. Dementsprechend findet Montag, den 08.12.25 die Übung und Dienstag, den 09.12.25 die Vorlesung statt.
03. November - Morgen (04. November) findet statt der großen Übung eine weitere Vorlesung statt. Am 10. und 11. November entfallen beide Termine.
01. Oktober - Informationen zum Beginn der Vorlesung wurden ergänzt.
18. Juli - 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:
Die Übungsblätter werden (in der Regel) wöchtenlich veröffentlicht.
Sie dürfen diese allein oder zu zweit bearbeiten.
Die Abgabe erfolgt per Mail oder im Abgabekasten vor IZ 342/343 zur angegebenen Deadline.
Woche 1 - Skript [Seite 3, Seite 6: Lemma 1.3 Beweis]
Woche 2 (1. VL) - Skript (Seite 6: Lemma 1.3, Seite 8: Theorem 1.1 Beweis], [Seite 11, Seite 12: Proposition 2.1]
Woche 2 (2. VL) - Skript [Seite 13: Abschnitt 2.2, Seite 15: Korollar 2.3], [Seite 16: Definition 2.8, Seite 17: Abschnitt 2.4), Intuition zu Kapitel 4
Woche 3 (1. VL) - Markov-Ketten 1, Markov-Ketten 1 (updated), Markov-Ketten 2
Woche 3 (2. VL) - Markov-Ketten 3, ω-reguläre Sprachen und Büchi-Automaten, Abschlusseigenschaften
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.