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 |