Welcome to Automata, Logic and Games!
Lectures will be held on Sundays, 10:30 -- 12:30 in Taub 3.
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.
For questions and discussions please use the Piazza forum:
https://piazza.com/technion.ac.il/spring2025/02360025
https://piazza.com/technion.ac.il/spring2025/02360025
Prerequisites: 236343 and 234129.