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 exercises, and either a large final exercise, or a final exam, depending on COVID and on the number of participants.
The lectures will be in Hebrew, unless there are English speakers, in which case they will be in English.
All other material is in English.
Please see the FAQ regarding the prerequisites.
Prerequisites: 236343 and 234129.