Lectures take place on Mondays from 9:45-10:15, from 20 September up to and including 13 December, in room B23. There are no lectures on 1 November (national holiday).
The objective of this course is to introduce students to the mathematical theory of interaction, with a focus on the computational side of the models. The students will learn a number of models and methodologies for strategic interaction of autonomous entities, be it humans, robots, computer programs, etc. They will also learn how such models can be used to compute predictions and support verification of natural properties of computational systems.
Game theory proposes and studies mathematical models of behaviour of individuals and their groups in strategic situations, in which one's success in making choices depends on the choices of others. It is used in social science, economics, biology, engineering, political science, international relations, computer science, and philosophy.
After successful completion of this course the student should be able to: