Games: From Logic and Automata to Algorithms

Games: From Logic and Automata to Algorithms

Explore the fascinating intersection of games, logic, automata, and algorithms in this engaging lecture by Marcin Jurdziński from the University of Warwick. Delve into the theoretical foundations of computer systems as part of the Theoretical Foundations of Computer Systems Boot Camp. Discover how game theory concepts apply to logic, automata, and algorithmic design, gaining valuable insights into the underlying principles that drive modern computing systems.