Logic, Games and Automata

About this programme

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students. How do modern systems interact, make decisions, and respond to their environment? This course explores the mathematical foundations of state-based systems through three powerful perspectives: logic, games, and automata. You will develop advanced knowledge of the theory underlying reactive systems while learning how to describe and analyse their behaviour using formal methods. By combining ideas from logic, game theory, and automata theory, the course shows how computational properties can be specified, modelled, and verified in a rigorous way. Along the way, you will strengthen your ability to construct mathematical proofs and critically evaluate different theoretical approaches to computation. Ideal for students interested in the theoretical foundations of computer science and logic-driven system design. For admission to the course successful completion of Logical theory (LOG111) and Modal logic (LOG131), or the equivalent, is required. Selection is based upon the number of credits from previous university studies, maximum 165 credits. The Faculty of Humanities is located in the Humanisten building at Renströmsgatan 6. The Department of Philosophy, Linguistics and Theory of Science has its premises on the 5th floor. Both the Faculty of Humanities and the adjacent Humanities Library offer several study areas and group rooms. Teaching is given in the form of lectures, seminars, exercises, individual assignments and group assignments.