北京雁栖湖应用数学研究院

This course explores the interplay among logic, games, and automata. The connection between logic and automata traces back to foundational studies on the (un)decidability of logical theories, while games have served as a powerful tool in various branches of logic—such as semantic games and back-and-forth games. The course begins with an introduction to the basics of computability theory and the theory of computation, through which you will discover how these three themes interact and enrich one another.

本课程将探讨逻辑、博弈与自动机之间的关系。逻辑与自动机的联系可追溯至逻辑理论（不）可判定性的早期研究，而博弈则在逻辑的诸多分支中发挥着重要作用，如语义博弈、back and forth 博弈。课程将从可计算性理论和计算理论的基础知识入手，展现这三大主题如何交织互动、相辅相成。