Spiele und Berechnungen sind eng miteinander verknüpft. Zum Beispiel
sind teils komplexe Berechnungen nötig um erfolgreich zu spielen. Doch
auch Spiele mit ihren festen Regeln können genutzt werden, um
Berechnungen darzustellen und zu simulieren.
In diesem Seminar werden zum einen (bekannte und weniger bekannte)
Spiele (Brett-, Karten-, oder auch Computerspiele) bzgl. ihrer
Berechnungskomplexität analysiert. Andererseits aufgezeigt, dass auch
einfache Spielregel alternative mächtige Brechnungsmodelle bereitstellen
können (welche oft Turingmachinen nicht unterlegen sind).
Teilnehmende Studierende
erarbeiten sich selbstständig ihr gewähltes Thema. Hierzu wird Literatur
bereitgestellt, die als Startpunkt dienen soll. Eigene
Literaturrecherche wird erwartet. Regelmäßiger Fortschritt vor dem
Vortrag wird durch Treffen mit dem Betreuer überprüft.