Logic, Games and Automata
Summary
Logic, Games, and Automata: Understanding Intelligent Systems
About
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.
Prerequisites and selection
Entry requirements
For admission to the course successful completion of Logical theory (LOG111) and Modal logic (LOG131), or the equivalent, is required.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.
Facilities
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.
More information about facilities
Teaching is given in the form of lectures, seminars, exercises, individual assignments and group assignments.
