Games on Graphs

Worum geht's

Du lernst die Theorie von Spielen auf endlichen Graphen kennen. Aufbauend auf Erreichbarkeitsspielen werden sowohl qualitative als auch quantitative Varianten behandelt, und du kannst am Ende die grundlegenden Lösungsverfahren anwenden und kleinere Spielinstanzen selbst lösen.

Was du danach kannst

Begriffe der Spieltheorie auf Graphen kennen
Algorithmische Lösungsverfahren anwenden
Kleinere Spielinstanzen von Hand lösen
Mathematische Werkzeuge zur Lösung der behandelten Spiele verstehen

Aus was das Modul besteht

VorlesungVermittlung der Theorie und der Lösungsverfahren
ÜbungEinüben und Anwenden der Verfahren an Beispielen
Aufgaben zum SelbststudiumVertiefung und eigenständiges Üben

Lehrmethode

VorlesungEinführung in Definitionen und Verfahren
ÜbungPraktische Anwendung und Übung der Methoden
Selbststudium/AufgabenEigenständiges Einüben und Vertiefen der Inhalte
ToolpräsentationVorstellung relevanter Softwaretools (z. B. PRISM)

Termine

Vorlesung mit ÜbungGames on Graphs (IN2296)2 Gruppen zur Wahl

ADi.08:30–10:30
00.04.011, MI Hörsaal 2 (5604.EG.011)
14× · 13.10.–02.02.
- 13.10.
- 20.10.
- 27.10.
- 03.11.
- 17.11.
- 24.11.
- 01.12.
- 08.12.
- 15.12.
- 22.12.
- 12.01.
- 19.01.
- 26.01.
- 02.02.
BFr.10:00–12:00
00.08.038, Seminarraum (5608.EG.038)
15× · 16.10.–05.02.
- 16.10.
- 23.10.
- 30.10.
- 06.11.
- 13.11.
- 20.11.
- 27.11.
- 04.12.
- 11.12.
- 18.12.
- 08.01.
- 15.01.
- 22.01.
- 29.01.
- 05.02.

Aus dem laufenden Semester, unverbindlich. Von mehreren Gruppen besucht man eine; der Stundenplan schlägt automatisch die mit den wenigsten Überschneidungen vor.

Filter