Makeup lectures - format questionnaire | |
Hi all, Unfortunately, due to the strike we've missed 3 lectures. According to the guidelines, I will makeup only two of them. I want to do this in a way that is best suited for as many of you as possible. Please answer the following questionnaire, regarding whether you prefer makeup lectures to be frontal or on Zoom, and whether you prefer lectures or inverted classroom (or if you have a better idea). https://forms.office.com/r/f69DNRgBee Try to complete this by *Thursday*, so that we can start scheduling the makeup lectures. Hopefully the remainder of the semester goes smoothly. |
פורסם ב-6/6/2023, 10:35:02 Created on 6/6/2023, 10:35:02 Создано6/6/2023, 10:35:02 تم النشر ب-6/6/2023, 10:35:02 |
Reception hour tomorrow | |
Hi all, If anyone wants to come to my reception hour tomorrow, please email me, I might have to hold it on Zoom. Apologies for the late notice. |
פורסם ב-4/6/2023, 20:50:23 Created on 4/6/2023, 20:50:23 Создано4/6/2023, 20:50:23 تم النشر ب-4/6/2023, 20:50:23 |
Ex2 Feedback and grades | |
Hi all, Ex2 has been graded, and the feedback is online. I just noticed that the Ex1 grades were not visible until now, so they're also visible now. |
פורסם ב-30/5/2023, 11:28:16 Created on 30/5/2023, 11:28:16 Создано30/5/2023, 11:28:16 تم النشر ب-30/5/2023, 11:28:16 |
Reception hour tomorrow | |
Hi all, If you want to come to my reception hour tomorrow (29.5), please email me. I might have to hold it on Zoom (not strike related). |
פורסם ב-28/5/2023, 17:40:11 Created on 28/5/2023, 17:40:11 Создано28/5/2023, 17:40:11 تم النشر ب-28/5/2023, 17:40:11 |
Ex2 Solution | |
Hi all, The solution for Ex2 is online. I will grade the exercises soon (this doesn't violate the strike). |
פורסם ב-24/5/2023, 22:19:08 Created on 24/5/2023, 22:19:08 Создано24/5/2023, 22:19:08 تم النشر ب-24/5/2023, 22:19:08 |
Strike v.s. tomorrow's lecture | |
Hi all, I was hoping the strike would end by tomorrow, but that doesn't seem to be happening. So, if the strike continues, there will be no makeup lecture tomorrow. I hope this will all be resolved soon. |
פורסם ב-23/5/2023, 16:22:49 Created on 23/5/2023, 16:22:49 Создано23/5/2023, 16:22:49 تم النشر ب-23/5/2023, 16:22:49 |
Reception hour next week | |
Addendum to last message: my reception hour this Monday is also cancelled. If you'd like to schedule a different time, please email me (although I won't be around next week at all, so only the week after). |
פורסם ב-11/5/2023, 17:05:55 Created on 11/5/2023, 17:05:55 Создано11/5/2023, 17:05:55 تم النشر ب-11/5/2023, 17:05:55 |
Next lecture on 24.5 | |
Hi all, Just a reminder that the lecture on 14.5 is cancelled. Also, 21.5 is a "Thursday format", so no lecture then either. Our next lecture is the makeup lecture on Wednesday 24.5, 12:30 in Taub 3. This should give you plenty of time to reflect on your life before and after seeing Safra's determinization. Powerful stuff right there :) |
עדכון אחרון ב-11/5/2023, 10:15:07 Last updated on 11/5/2023, 10:15:07 Последняя модификация11/5/2023, 10:15:07 تمت الحتلنة الأخيرة ب-11/5/2023, 10:15:07 |
Ex2 extension | |
Hi all, Since I won't be able to look at ex2 before the 19th, I've postponed the submission date to the 18th. |
פורסם ב-7/5/2023, 14:27:51 Created on 7/5/2023, 14:27:51 Создано7/5/2023, 14:27:51 تم النشر ب-7/5/2023, 14:27:51 |
Ex2 is online | |
Hi all, Ex2 is online, due on 14.5.2023. |
פורסם ב-30/4/2023, 10:21:23 Created on 30/4/2023, 10:21:23 Создано30/4/2023, 10:21:23 تم النشر ب-30/4/2023, 10:21:23 |
Exercise 1 - Grades and Feedback | |
Hi all, Ex1 has been graded and the feedbacks are available. Some notes: 1. Please read the feedbacks carefully. In particular, they are useful to understand the level of detail/formality I expect in a solution. 2. Keep in mind that my marking is not super careful, and I may have missed things (i.e., I'm covering myself for the exam, where my marking will be far more careful). 3. There was a small mistake that nearly everybody made: in the omega-regular expression, we need to initially eliminate empty and epsilon expressions that appear under \omega (see feedback). |
פורסם ב-20/4/2023, 22:32:41 Created on 20/4/2023, 22:32:41 Создано20/4/2023, 22:32:41 تم النشر ب-20/4/2023, 22:32:41 |
Exercise 1 Solution | |
Hi all, The solution for Ex1 is online. I remind you that reading the solutions is part of the course requirements (i.e., I will assume you have read it for the exam). |
פורסם ב-20/4/2023, 10:30:28 Created on 20/4/2023, 10:30:28 Создано20/4/2023, 10:30:28 تم النشر ب-20/4/2023, 10:30:28 |
תרגיל 1 Exercise 1 Exercise 1 Exercise 1 | |
Hi all, Ex1 is online, due on 17.4. |
פורסם ב-2/4/2023, 09:59:19 Created on 2/4/2023, 09:59:19 Создано2/4/2023, 09:59:19 تم النشر ب-2/4/2023, 09:59:19 |
Reception hour today | |
Hi all, In support of the strike, my reception hour today is cancelled. Shaull |
פורסם ב-27/3/2023, 08:14:37 Created on 27/3/2023, 08:14:37 Создано27/3/2023, 08:14:37 تم النشر ب-27/3/2023, 08:14:37 |
Welcome to Automata, Logic, and Games! | |
Hi all, and welcome to ALG. There's still some time before the semester starts, but here are a few of administrative notes: 1. The lecture on 14.5.2023 is cancelled. A makeup lecture will be on 24.5.2023, 12:30 (Wednesday noon). 2. Please read carefully the Syllabus, FAQ, and General Info on the course website (on GR: https://grades.cs.technion.ac.il/grades.cgi?TJrx8pBBORn3rHj+3+236025+202202+general_info.html). 3. Always keep up to date with the News on the website. 4. If you have any questions, please email me. |
עדכון אחרון ב-14/3/2023, 12:34:35 Last updated on 14/3/2023, 12:34:35 Последняя модификация14/3/2023, 12:34:35 تمت الحتلنة الأخيرة ب-14/3/2023, 12:34:35 |