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 ETCS 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 - Markov-Ketten 1
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.