Logic and Games

WS 2018/19

News

  • Due to problems with editing this website we will use the L2P for announcements and for publishing exercise sheets. If you do not have access to this lecture's L2P room, please write to dannert@logic.rwth-aachen.de so you can be added.
  • There will be no lecture on Tuesday, November 20th.
  • Please hand in the solutions to the exercises in groups of two. You may write in either german or english and are free to write per hand or print your solution.

Schedule

Type Date Location   Organizer
V4 Tu 10:30 12:00 2350|009 (AH I) Begin 9th October E. Grädel
Th 12:30 14:00 1010|101 (I) Begin 11th October E. Grädel
Ü2 Fr 14:30 16:00 2350|314.1 (AH III) Begin 19th October

Coursework

Lecture Notes

Content

Objective

Understanding the fundamental concepts and problems of algorithmic game theory, especially the connection of logic and game theory. Knowledge of the logical and algorithmical methods to handle infinite games. Using infinite games as a model to evaluate logical formulae on reactive systems.

Topics

Fundamental concepts in game theory, these include finite and infinite games, model-checking games, determinism, non-determinism, Borel-games, Muller-games and parity games. Complexity and definability of winning regions, algorithmic synthesis and optimisation of winning strategies. Mupltiplayer games and strategic games.

Literature

Prerequisites

  • Mathematical Logic

Classification

  • Mathematik (B.Sc.)
  • Mathematik (M.Sc.): Reine Mathematik
  • Informatik (M.Sc.): Theoretische Informatik
  • Lehramtskandidaten Informatik: Mathematische Methoden der Informatik (C)
  • Software Systems Engineering (M.Sc.): Theoretical Computer Science

Contact

Erich Grädel, Matthias Hoelzel, Katrin Dannert, Richard Wilke