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 |