Spieltheorie - Übersicht

Dozenten: Prof. Dr. Bernhard Nebel und Dr. Robert Mattmüller

Übungen: Dr. Robert Mattmüller

Termine

Vorlesung: Montag, 12:15-14:00 Uhr und Donnerstag, 12:15-13:00 Uhr
Übungen: Donnerstag, 13:15-14:00 Uhr
Prüfung:

Studierende im Bachelorstudiengang Informatik: mündlich am 17. September 2012.
Alle Anderen, insbes. Master: schriftlich am 19. September 2012, 13:00-14:30 Uhr

Ort

Vorlesung: Hörsaal 101-00-036
Übungen: Hörsaal 101-00-036
Prüfung:

Studierende im Bachelorstudiengang Informatik: Büro Prof. Nebel (Gebäude 052, Raum 00-029)
Alle Anderen, insbes. Master: Hörsaal 101-00-026

Sprache

Die Vorlesung wird auf Deutsch gehalten.

Vorlesungsinhalt

Gegenstand der Spieltheorie ist das rationale Fällen von Entscheidungen zur Verwirklichung der eigenen Ziele. Insbesondere geht es dabei um Wechselwirkungen und Konflikte zwischen den Zielen der verschiedenen Spieler, also um die Frage, in welcher Weise das Wissen um die Ziele der anderen Spieler die eigenen Verhaltensweisen beeinflusst. In der Vorlesung werden folgende Arten von Spielen untersucht:

Strategische Spiele
Extensive Spiele

Dabei werden Formalisierungen und Lösungskonzepte sowie Algorithmen zum Berechnen von Lösungen vorgestellt.

Voraussetzungen

Für diese Vorlesung sind keine besonderen Vorkenntnisse erforderlich. Sie richtet sich an Master-Studenten (Informatik oder ACS) sowie an Bachelor-Studenten im dritten Studienjahr. Auch Nebenfächler sind willkommen.

Prüfung

Bachelor- und Masterstudenten im Fach Informatik und Studenten im Master-Studiengang Angewandte Informatik (Applied Computer Science) können die Veranstaltung als Spezialvorlesung im Spezialbereich kognitive technische Systeme anrechnen lassen. Voraussetzung ist im Bachelor-Studiengang das Bestehen einer mündlichen Prüfung, im Master-Studiengang je nach Teilnehmerzahl das Bestehen einer schriftlichen oder mündlichen Prüfung. Die Prüfungen werden in der vorlesungsfreien Zeit nach dem Vorlesungssemester abgehalten.

Bei Nebenfächlern im Fach Informatik hängen die Prüfungsregelungen vom jeweiligen Studiengang ab und sollten daher individuell besprochen werden.

In dieser Vorlesung können 6 ECTS-Punkte erworben werden.

Übungen und Zulassungsvoraussetzung zur Prüfung

Während des Semesters werden wöchentlich theoretische Übungen (Aufgaben) und in unregelmäßigen Abständen praktische Übungen (Projekte) sowie Online-Übungen gestellt. Um zur Teilnahme an der Abschlussprüfung zugelassen zu werden, muss man mindestens 50% der Übungen (Aufgaben, Projekte und Online-Übungen) sinnvoll bearbeitet haben. Dabei zählt ein Projekt wie zwei theoretische Übungsblätter und ein Online-Aufgabensatz wie ein halbes theoretisches Übungsblatt.

Aufgaben und Projekte können und sollten in Gruppen von je zwei Studenten bearbeitet werden. Größere Gruppen und abgeschriebene oder kopierte Lösungen werden nicht akzeptiert und führen im Wiederholungsfall zur Nichtzulassung zur Abschlussprüfung.