Welcome to Automata, Logic and Games!
Lectures will be held on Sundays, 10:30 -- 12:30 in Taub 3.Credit points: 2.0
Please follow the Announcements 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 (or possibly a large final exercise, if there are few participants).
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.
Note: The lecture on 14.5 is cancelled, there will be a **makeup lecture on 24.5 at 12:30** (Wednesday noon).
Prerequisites: 236343 and 234129.