Ex4 is online | |
Ex 4 is online, due on 13.7.2025. It's very short (at least the part for submission). |
פורסם ב-29/6/2025, 13:24:45 Created on 29/6/2025, 13:24:45 Создано29/6/2025, 13:24:45 تم النشر ب-29/6/2025, 13:24:45 |
Late submission of exercises | |
Hi all, I received some requests for delayed submission of the remaining exercises. I don't mind if you submit by 13.7, but it will take me a while to mark the exercises, which means you'll get the feedback only very close to the exam. Also, this means that I'll only publish the solutions on 13.7. I suggest the following: - If you submit your solution to Ex3 today, and want me to mark it on time, please email me. If you want to discuss my solution before it's published, we can find an appropriate channel to do so. - Otherwise, I'll mark both Ex3 and Ex4 starting 13.7. |
עדכון אחרון ב-29/6/2025, 13:25:45 Last updated on 29/6/2025, 13:25:45 Последняя модификация29/6/2025, 13:25:45 تمت الحتلنة الأخيرة ب-29/6/2025, 13:25:45 |
Last lecture | |
Hi all, Next week's lecture will have two parts: 1. I can answer any questions you have about the material or related things. You can either email me/as on Piazza in advance, or ask in real time (but I might not be able to answer real-time difficult questions).. 2. I will survey some related areas and concepts that we did not discuss in the course. Nothing too heavy. |
פורסם ב-29/6/2025, 13:11:00 Created on 29/6/2025, 13:11:00 Создано29/6/2025, 13:11:00 تم النشر ب-29/6/2025, 13:11:00 |
Zoom recording of Lecture 11 | |
Hi all, The recording of today's lecture is available (in the "material" tab). |
פורסם ב-22/6/2025, 14:38:12 Created on 22/6/2025, 14:38:12 Создано22/6/2025, 14:38:12 تم النشر ب-22/6/2025, 14:38:12 |
Zoom link for Today's lecture | |
Hi all, We will meet on Zoom today, here: https://technion.zoom.us/j/99906469204?pwd=duI5YRJGPJP5b4xBHZcwaMhqpod6vA.1 Meeting ID: 999 0646 9204 Passcode: 2360025 The meeting will be recorded and uploaded, in case any of you cannot attend (but of course it is more fun when you participate). See you, Shaull |
פורסם ב-22/6/2025, 09:00:00 Created on 22/6/2025, 09:00:00 Создано22/6/2025, 09:00:00 تم النشر ب-22/6/2025, 09:00:00 |
Updated exercise grade policy | |
Hi all, Due to the war and the various ways it messes up our lives, I wanted to change the exercise policy to perhaps reduce some of the academic load. The precise new policy is in the Syllabus tab. In a nutshell: instead of the exercise average being a protective grade, each exercise is protective on it's own, and worth 5 points maximum. This means that if you don't submit an exercise, or get a low grade in one exercise, this does not harm your grade. The main point is that if you miss an exercise, no harm done. I still strongly recommend solving them, as well as reading my solutions, in order to understand the material. In hope of quiet times, Shaull |
עדכון אחרון ב-17/6/2025, 17:21:52 Last updated on 17/6/2025, 17:21:52 Последняя модификация17/6/2025, 17:21:52 تمت الحتلنة الأخيرة ب-17/6/2025, 17:21:52 |
Zoom recording of Lecture 10 | |
Hi all, The recording of today's lecture is available (in the "material" tab). As with most recording, the book is better than the movie. |
עדכון אחרון ב-15/6/2025, 18:44:23 Last updated on 15/6/2025, 18:44:23 Последняя модификация15/6/2025, 18:44:23 تمت الحتلنة الأخيرة ب-15/6/2025, 18:44:23 |
Ex3 is online | |
Hi all, I hope you're all safe. Ex3 is online (tomorrow we'll cover the remaining necessary material). |
פורסם ב-14/6/2025, 19:59:30 Created on 14/6/2025, 19:59:30 Создано14/6/2025, 19:59:30 تم النشر ب-14/6/2025, 19:59:30 |
Sunday Lecture -- Zoom link | |
Hi all, Due to the most recent catastrophe, we find ourselves again moving to online lectures. See you on Sunday here: https://technion.zoom.us/j/94896309312?pwd=QZUH0iFr8toet1uRSO54mkEsR9hiHV.1 Meeting ID: 948 9630 9312 Passcode: 2360025 Shaull |
פורסם ב-13/6/2025, 14:46:56 Created on 13/6/2025, 14:46:56 Создано13/6/2025, 14:46:56 تم النشر ب-13/6/2025, 14:46:56 |
Correction from Class + Updated notes | |
Hi all, In the lower bound we saw today (the one with #x#) I had a mistake: Using G($->...) does not work (think why!) Thanks to the student who pointed this out to me. Also thanks to the student who asked about replacing G($->) with F($ \wedge), because it does fix things. I updated the notes. Reminder: if something I write or say seems wrong to you, there's a very good chance that I'm wrong. Speak up! |
פורסם ב-25/5/2025, 13:43:45 Created on 25/5/2025, 13:43:45 Создано25/5/2025, 13:43:45 تم النشر ب-25/5/2025, 13:43:45 |
Ex2 Grades and Feedback | |
Hi all, Ex2 grades and feedback are online. A small comment: in Question 4 (which was the hardest, in my opinion), most of you got the correct argument, but sometimes the proofs were sketchy/handwaved. Please compare with my solution. |
פורסם ב-23/5/2025, 08:30:45 Created on 23/5/2025, 08:30:45 Создано23/5/2025, 08:30:45 تم النشر ب-23/5/2025, 08:30:45 |
Reception hour today is cancelled | |
Hi all, Due to unexpected circumstances I have to cancel my reception hour today. If you want to meet this week, please email me and we'll schedule. Apologies, Shaull |
פורסם ב-5/5/2025, 07:39:05 Created on 5/5/2025, 07:39:05 Создано5/5/2025, 07:39:05 تم النشر ب-5/5/2025, 07:39:05 |
Ex2 | |
Hi all, Ex2 is online, due on 18.5.2025 Important submission instructions: You must submit in groups of at least 2 and at most 3. |
פורסם ב-3/5/2025, 17:55:17 Created on 3/5/2025, 17:55:17 Создано3/5/2025, 17:55:17 تم النشر ب-3/5/2025, 17:55:17 |
Ex1 grades and feedback | |
Hi all, Ex1 has been graded, and the feedbacks are online. I've been very lenient in grading, but please read the feedback carefully -- there are important notes there. If you have any questions, don't hesitate to ask either by email or on Piazza. |
עדכון אחרון ב-3/5/2025, 17:54:54 Last updated on 3/5/2025, 17:54:54 Последняя модификация3/5/2025, 17:54:54 تمت الحتلنة الأخيرة ب-3/5/2025, 17:54:54 |
Assignment 1 | |
Hi all, Assignment 1 is online, due on 27.4.2025. Important submission instructions: You must submit in groups of at least 2 and at most 3. Note: the groups are so that I can check the exercise in reasonable time. However, I strongly recommend that you struggle with the questions alone before joining forces. If you're having trouble finding a partner, please use the Piazza forum, there's a specific post there for this. |
פורסם ב-6/4/2025, 13:36:08 Created on 6/4/2025, 13:36:08 Создано6/4/2025, 13:36:08 تم النشر ب-6/4/2025, 13:36:08 |
Weclome to Automata Logic and Games! | |
Hi all, Welcome to the course on Automata, Logic and Games! We will meet on Sunday, 10:30 in Taub 3. If you haven't done so already, please read the Basic information, Syllabus and FAQ sections of the website. Please sign up to the course Piazza for discussions and questions: https://piazza.com/technion.ac.il/spring2025/02360025 See you, Shaull |
פורסם ב-27/3/2025, 08:47:01 Created on 27/3/2025, 08:47:01 Создано27/3/2025, 08:47:01 تم النشر ب-27/3/2025, 08:47:01 |