Exam B - Grades and Appeals | |
Hi all, Exam B grades are online, and the feedback has been emailed to you individually. If you'd like to appeal, please email me within a week (i.e. up to 14.10.24). And thus, like most things, this course ends with an anti-climactic administrative note. Have a quiet and peaceful year, and good luck with whatever comes next for you. |
פורסם ב-7/10/2024, 22:08:54 Created on 7/10/2024, 22:08:54 Создано7/10/2024, 22:08:54 تم النشر ب-7/10/2024, 22:08:54 |
Exam B - Tomorrow | |
Hi all, This is a reminder that Exam B will take place tomorrow, 9:00, here: https://technion.zoom.us/j/92436849758?pwd=AhXWDzZbY3anJ6Z7zXtceFR5sgg3Ce.1 Meeting ID: 924 3684 9758 Passcode: ALG2024 Please log in a few minutes before 9:00, to get settled and receive the exam file. Two notes: 1. I am well aware that the choice of date is unfortunate, but it was the only date that was not overly delayed. If you wish to attend the online memorial tomorrow at 9:00, please let me know and we'll work out something. 2. For the exam itself, please have a working webcam, and keep it on (and on yourself) throughout the exam. Good luck! |
עדכון אחרון ב-6/10/2024, 20:40:34 Last updated on 6/10/2024, 20:40:34 Последняя модификация6/10/2024, 20:40:34 تمت الحتلنة الأخيرة ب-6/10/2024, 20:40:34 |
Exam B - Date, Time and Details | |
Hi all, Exam B will take place next Monday (7.10.24) at 9:00. The exam will be on Zoom, in the following link: https://technion.zoom.us/j/92436849758?pwd=AhXWDzZbY3anJ6Z7zXtceFR5sgg3Ce.1 Meeting ID: 924 3684 9758 Passcode: ALG2024 If you are planning to attend and have not emailed me yet, please do soon. |
פורסם ב-30/9/2024, 13:19:56 Created on 30/9/2024, 13:19:56 Создано30/9/2024, 13:19:56 تم النشر ب-30/9/2024, 13:19:56 |
Exam B - postponed (Your Action Needed) | |
Hi all, As expected, Exam B is postponed. I'm looking into an option of having it online. Please email me if you were planning to attend it, and also let me know if there are particular days/times where it would be *impossible* for you to take the exam online (in the next two weeks). |
פורסם ב-28/9/2024, 21:16:20 Created on 28/9/2024, 21:16:20 Создано28/9/2024, 21:16:20 تم النشر ب-28/9/2024, 21:16:20 |
Exam B on Sunday | |
Hi all, I hope you're ok during these tense times. Exam B is supposed to take place on Sunday. Currently, there are no instructions saying otherwise. However, if/when such instructions are given, then the exam will be postponed. Naturally, I'll keep you updated if I have any new information. At any rate, good luck to whoever takes Exam B, and have a quiet weekend. |
עדכון אחרון ב-27/9/2024, 12:49:04 Last updated on 27/9/2024, 12:49:04 Последняя модификация27/9/2024, 12:49:04 تمت الحتلنة الأخيرة ب-27/9/2024, 12:49:04 |
Exam A Grades, Solution and Common Mistakes | |
Hi all, The solution for Exam A is online (including common mistakes), as are the grades. Clearly the exam was too difficult, and had some "Boolean" elements (e.g., if you proved Q1, you've messed up). Interestingly, there wasn't a single question or topic that was difficult. There were several different combinations and types of mistakes. To account for the variance in the exams, I decided to take the best 3 questions out of 4, while keeping the relative weights of the questions. I also added 3 points, for good measure. I uploaded a file explaining the grade computation, if you're interested. I will only be able to send the exams for scanning on Sunday, so it'll take a while before you see them. But if you read the solution you'll probably see what your mistakes were, if any. Appeal policy: email me within 7 days of receiving the exam scans if you think I overlooked something. I'm pretty sure I didn't. Have a pleasant weekend, forget the frustration of the exam, and remember only the fun of playing with automata :) |
פורסם ב-5/9/2024, 17:18:29 Created on 5/9/2024, 17:18:29 Создано5/9/2024, 17:18:29 تم النشر ب-5/9/2024, 17:18:29 |
Good luck tomorrow! | |
Hi all, This is a reminder that the exam is tomorrow at 9:00. Format and instructions (to save you a minute reading it in the morning): - The exam is 3 hours long. - There are 4 questions, you need to answer all of them. - You can answer in English or in Hebrew (the exam itself is in English) - Use a blue or black pen (not a red pen and not a pencil) - No external material is allowed. - You can use without proof any result we have seen in class. Good luck! |
פורסם ב-4/9/2024, 09:41:41 Created on 4/9/2024, 09:41:41 Создано4/9/2024, 09:41:41 تم النشر ب-4/9/2024, 09:41:41 |
Ex4 Solution, Grades and Feedback | |
Hi all, Ex4 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. I hope the exercises have been useful to understand the material. On a general note, I'd like to point out that in most of the submissions (in all the assignments, not just this one), the solutions were often original and sometimes much more elegant than my own. Well done! |
פורסם ב-2/9/2024, 22:31:44 Created on 2/9/2024, 22:31:44 Создано2/9/2024, 22:31:44 تم النشر ب-2/9/2024, 22:31:44 |
Correction for Ex4 Q3 | |
Hi all, As pointed out to me on Piazza, for Q3 you might need to assume that Player 0 has a memoryless winning strategy from the winning region. It's not completely necessary to assume, but it helps with the proof. Note that Player 1 strategies might not be memoryless. |
פורסם ב-26/8/2024, 15:17:32 Created on 26/8/2024, 15:17:32 Создано26/8/2024, 15:17:32 تم النشر ب-26/8/2024, 15:17:32 |
Reception hour today (and until Moed A) | |
Hi all, Unfortunately I won't be able to make my reception hour today physically. If you planned on coming, please email me and we can meet on Zoom. In general, if you plan to come to the reception hour between today and Moed A, please email me in advance. |
פורסם ב-19/8/2024, 08:43:40 Created on 19/8/2024, 08:43:40 Создано19/8/2024, 08:43:40 تم النشر ب-19/8/2024, 08:43:40 |
Recording of last two lectures | |
Hi all, Here are links to the recordings of the last two lectures, in case they are useful to you. https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=188df223-6284-42e0-a005-b1c900a030f3 https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=c2cc11d9-5b50-4734-90d3-b1d000941e26 Shaull |
פורסם ב-18/8/2024, 21:21:55 Created on 18/8/2024, 21:21:55 Создано18/8/2024, 21:21:55 تم النشر ب-18/8/2024, 21:21:55 |
Ex3 Solution, Grades and Feedback | |
Hi all, Ex3 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. Feel free to ask questions in the Piazza/email if something is unclear. |
פורסם ב-11/8/2024, 14:05:14 Created on 11/8/2024, 14:05:14 Создано11/8/2024, 14:05:14 تم النشر ب-11/8/2024, 14:05:14 |
Ex4 is online | |
Note that the official deadline is 25.8, but if you want you can submit by 1.9. There won't be further extensions, though, due to the proximity with the exam. |
פורסם ב-11/8/2024, 13:41:00 Created on 11/8/2024, 13:41:00 Создано11/8/2024, 13:41:00 تم النشر ب-11/8/2024, 13:41:00 |
Ex3 is online | |
Hi all, Ex3 is online, due on 8.8.2024. We have not yet seen the proof of Buchi's theorem (second direction), but for the purpose of Questions 5+6 you can use the following facts: 1. There is a translation from S1S to Buchi automata that is computable. 2. S1S is decidable (i.e., deciding if a formula is satisfiable, or if a sentence evaluates to true). Notes (see also on the exercise tab): - You may submit in *pairs* or in *singles*. - Solutions must be typed. If you have any questions, please use the Piazza forum. |
פורסם ב-28/7/2024, 14:25:48 Created on 28/7/2024, 14:25:48 Создано28/7/2024, 14:25:48 تم النشر ب-28/7/2024, 14:25:48 |
Ex2 Solution, Grades and Feedback | |
Hi all, Ex2 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. Feel free to ask questions in the Piazza/email if something is unclear. |
פורסם ב-20/7/2024, 13:03:05 Created on 20/7/2024, 13:03:05 Создано20/7/2024, 13:03:05 تم النشر ب-20/7/2024, 13:03:05 |
Updated lecture notes (Safra's index) | |
Hi all, Last lecture I struggled a bit with showing that the index of Safra's construction is indeed n. Turns out that this is not as simple as I thought (in fact, Safra's original paper doesn't say how to obtain this, only 2n). It's indeed possible, but complicated. I updated the notes to mention what the problem is, but not what the exact solution is. |
פורסם ב-11/7/2024, 10:32:08 Created on 11/7/2024, 10:32:08 Создано11/7/2024, 10:32:08 تم النشر ب-11/7/2024, 10:32:08 |
Makeup Lecture Recording | |
Hi all, The lecture recording is online. Note that only ~75% of the whiteboard was visible, so some parts are outside the frame. However, the notes match whatever I drew, so it should be enough to follow. If you still have questions, feel free to ask on Piazza or to schedule a meeting with me. |
פורסם ב-9/7/2024, 16:18:00 Created on 9/7/2024, 16:18:00 Создано9/7/2024, 16:18:00 تم النشر ب-9/7/2024, 16:18:00 |
Reminder: makeup lecture today at 12:30 | |
Makeup lecture today at **12:30 in Taub 9**. |
פורסם ב-9/7/2024, 08:54:46 Created on 9/7/2024, 08:54:46 Создано9/7/2024, 08:54:46 تم النشر ب-9/7/2024, 08:54:46 |
Ex2 is online | |
Hi all, Ex2 is online, due on 17.7.2024. Notes (see also on the exercise tab): - You may submit in *pairs* or in *singles*. - Solutions must be typed. If you have any questions, please use the Piazza forum. |
פורסם ב-7/7/2024, 21:09:50 Created on 7/7/2024, 21:09:50 Создано7/7/2024, 21:09:50 تم النشر ب-7/7/2024, 21:09:50 |
Makeup Lecture Date & Location | |
Hi all, The makeup lecture will take place on: ***Tuesday, 9.7.2024, at 12:30 in Taub 9*** See you. |
פורסם ב-1/7/2024, 14:37:52 Created on 1/7/2024, 14:37:52 Создано1/7/2024, 14:37:52 تم النشر ب-1/7/2024, 14:37:52 |
Reminder: today's lecture is in Taub 8 | |
Title says it all. Today's lecture is in Taub 8. |
פורסם ב-30/6/2024, 08:56:50 Created on 30/6/2024, 08:56:50 Создано30/6/2024, 08:56:50 تم النشر ب-30/6/2024, 08:56:50 |
Ex1 Solution, Grades and Feedback | |
Hi all, Ex1 has been marked. Please read the feedback carefully. The solution is also online, I remind you that reading the solutions is part of the course requirements. Feel free to ask questions in the Piazza/email if something is unclear. |
פורסם ב-27/6/2024, 18:52:30 Created on 27/6/2024, 18:52:30 Создано27/6/2024, 18:52:30 تم النشر ب-27/6/2024, 18:52:30 |
New Room + Next Week's (cancelled) lecture + Makeup lecture | |
Hi all, Some administrative notes: 1. Starting from the next lecture (30.6), we will meet at **Taub 8**. 2. Reminder: the lecture on 23.6 is cancelled. 3. In order to schedule a makeup lecture, please fill in the following form by 25.6: https://forms.gle/pL7WaKDvuT9ZLyCn9 I will do my best to satisfy as many constraints as I can. Shaull |
פורסם ב-16/6/2024, 09:46:29 Created on 16/6/2024, 09:46:29 Создано16/6/2024, 09:46:29 تم النشر ب-16/6/2024, 09:46:29 |
Ex1 is online | |
Hi all, Ex1 is online, due on 24.6.2024. Notes (see also on the exercise tab): - You may submit in *pairs* or in *singles*. - Solutions must be typed. You already know all the material to solve it, no real need to wait for Sunday's lecture. If you have any questions, please use the Piazza forum. |
עדכון אחרון ב-13/6/2024, 14:08:43 Last updated on 13/6/2024, 14:08:43 Последняя модификация13/6/2024, 14:08:43 تمت الحتلنة الأخيرة ب-13/6/2024, 14:08:43 |
Correction -- We'll meet on Sunday! | |
Messed up in the first message. That bodes well, doesn't it? :) |
פורסם ב-27/5/2024, 15:36:58 Created on 27/5/2024, 15:36:58 Создано27/5/2024, 15:36:58 تم النشر ب-27/5/2024, 15:36:58 |
Welcome to Automata, Logic and Games! | |
Hi all, Welcome to the course on Automata, Logic and Games. We will meet on Sunday. A couple of administrative messages beforehand: 1. Please read carefully the General Info and Syllabus tabs on the website (https://webcourse.cs.technion.ac.il/02360025/Spring2024/) 2. Please register to the course Piazza, where you can ask questions and discuss stuff (https://piazza.com/technion.ac.il/spring2024/236025) 3. The lecture on **23.6.2024 is cancelled**, I will send out a questionnaire later on to find the best time for a makeup lecture. I wish you all a pleasant and quiet semester. |
עדכון אחרון ב-27/5/2024, 15:36:24 Last updated on 27/5/2024, 15:36:24 Последняя модификация27/5/2024, 15:36:24 تمت الحتلنة الأخيرة ب-27/5/2024, 15:36:24 |