Welcome to Automata, Logic and Games!
Lectures will be held on Sundays, 10:30 -- 12:30 in Ullmann 703.
Credit points: 2.0Please follow the News tab for updated information.
Also, please read the Syllabus page for additional details.
Evaluation in the course will consist of 4-5 exercises and a final exam.
Note that the exercise solutions must be typed (not handwritten).
The lectures and course material will be in English.
Please see the FAQ section regarding the prerequisites.
Prerequisites: 236343 and 234129.