Seminar "Spiele in der Informatik" (SS 2019)

Vergangene Veranstaltung

Diese Seite bezieht sich auf eine Vorlesung aus vorherigen Jahren. Aktuelle Termine und Arbeitsmaterialien sind hier zu finden.

Dozenten:

Inhalt

Begriffe wie Interaktivität, Strategie und Kooperation, die man von Spielen her kennt, spielen auch in der Informatik eine große Rolle. Insbesondere dient die Metapher des Spiels oft dazu, um Konzepte anschaulich zu definieren und Verfahren und Algorithmen zu beschreiben. Auch Vorgänge wie elektronische Auktionen kann man als Spiele auffassen.

Andererseits sind auch Spiele selbst oft Gegenstand der Untersuchung in der Informatik, insbesondere im Bereich der künstlichen Intelligenz: man versucht zum Beispiel Programme zu erstellen, die gut Schach oder Poker spielen können. Aber auch Komplexitätsanalysen von Computerspielen wie Minesweeper und Tetris werden durchgeführt.

Der Begriff des Spiels taucht in der Informatik also in ganz unterschiedlichen Zusammenhängen auf. Ziel dieses Seminars ist es, sich mit diesen diversen Themen näher zu beschäftigen.

Jeder Teilnehmer des Seminars bereitet einen Vortrag zu einem von mehreren Themen vor, die sich in den Bereichen "Spieltheorie und Anwendungen", "Komplexität von Spielen" und "Spielende Computerprogramme" befinden. Eine besondere Anforderung in diesem Seminar ist, dass jeder Vortrag mindestens ein interaktives oder spielerisches Element beinhalten soll, beispielsweise die Vorführung eines Spiels, bei dem der Vortragende gegen das Publikum spielt. Außerdem muss jeder Teilnehmer eine Ausarbeitung von 5-10 Seiten zu dem Thema schreiben.

Termine

Die Vorträge finden ab 02.05 wöchentlich Donnerstag, 14:00-16:00 Uhr in Raum LB 138 statt. 

Themen und Literatur

Die Themen und dazugehörige Literatur werden im Einführungstreffen am Donnerstag, den 11.04.2019 ab 14:00 Uhr in Raum LB 138 bekanntgegeben und auf die Teilnehmer verteilt. Die Themen befinden sich in den Bereichen "Spieltheorie", "Spiele in der Softwareverifizierung", "Anwendungen der Spieltheorie" und "Spiele in der theoretischen Informatik".

Betreuung

Jeder Teilnehmer und jede Teilnehmerin wird von einem Dozenten oder einer Dozentin betreut. Der Betreuer oder die Betreuerin steht zur Verfügung für inhaltliche und Verständnisfragen, sowie für Hilfe bei der Bearbeitung der Vortragsfolien, dem Schreiben der Ausarbeitung und der Vorbereitung des Vortrags.

Downloads und Links