Grades and Final Assignment feedback | |
|
Hi all, The exam grades and feedback are online. The final grade is computed as written in the course FAQ, with the small modification that I rounded up both the exercise grades and the final grade. Most of the answers were excellent, some surprised me with original solutions. Well done to all! Please read my feedback carefully, and let me know if there are questions about it. |
| פורסם ב-21/7/2020, 10:36:57 Created on 21/7/2020, 10:36:57 Создано21/7/2020, 10:36:57 تم النشر ب-21/7/2020, 10:36:57 |
Another tiny correction in the final exercise | |
|
In Q5, the question says: Prove that Player 1 has a memoryless strategy from every vertex in Win1. It should (of course) be: Prove that Player 1 has a **winning** memoryless strategy from every vertex in Win1. |
| פורסם ב-11/7/2020, 20:36:34 Created on 11/7/2020, 20:36:34 Создано11/7/2020, 20:36:34 تم النشر ب-11/7/2020, 20:36:34 |
Tiny correction in the final exercise | |
|
In Problem 3, the end of the sentence says phi(a,b,c) is true iff x+y=z It should of course be: phi(a,b,c) is true iff a+b=c (Thanks Ron for catching this). |
| פורסם ב-7/7/2020, 21:34:14 Created on 7/7/2020, 21:34:14 Создано7/7/2020, 21:34:14 تم النشر ب-7/7/2020, 21:34:14 |
Final assignment is online | |
|
The assignment is online. Read the guidelines, follow them, and good luck! |
| פורסם ב-2/7/2020, 11:58:02 Created on 2/7/2020, 11:58:02 Создано2/7/2020, 11:58:02 تم النشر ب-2/7/2020, 11:58:02 |
Zoom link - Class 13 (2.7.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/93530797446 Meeting ID: 935 3079 7446 I will talk a bit about stuff we didn't cover (alternating automata and automata over trees), and then a bit about active (and somewhat surprising) research directions. |
| פורסם ב-1/7/2020, 10:37:18 Created on 1/7/2020, 10:37:18 Создано1/7/2020, 10:37:18 تم النشر ب-1/7/2020, 10:37:18 |
Zoom link - Class 12 (25.6.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/99024934814 Meeting ID: 990 2493 4814 |
| פורסם ב-24/6/2020, 10:34:35 Created on 24/6/2020, 10:34:35 Создано24/6/2020, 10:34:35 تم النشر ب-24/6/2020, 10:34:35 |
Ex4 Grades are online | |
|
Please read my comments. Several of you had trouble with Q2. From the answers, it seemed to me that the approach you took was to try the (fundamentally correct) inductive approach, but when things started getting complicated, you tried to "force" it to work, instead of trying a more elegant overall approach. This is a legitimate technique, but it's an important skill to recognize when things aren't going well, and to try tweaking the approach. |
| פורסם ב-22/6/2020, 21:12:55 Created on 22/6/2020, 21:12:55 Создано22/6/2020, 21:12:55 تم النشر ب-22/6/2020, 21:12:55 |
Zoom link - Class 11 (18.6.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/96374306998 Meeting ID: 963 7430 6998 |
| פורסם ב-17/6/2020, 08:48:49 Created on 17/6/2020, 08:48:49 Создано17/6/2020, 08:48:49 تم النشر ب-17/6/2020, 08:48:49 |
Ex4 is online | |
|
Ex4 is online. The official due date is 20.6, however: 1. I recommend you do it before next Thursday. It's meant for a week (at least do the games questions). 2. I'm not going to start marking before Sunday, hence the due date. Also, I just uploaded the lecture recording, but it's still processing it on Panopto, so it might not be available for a couple of hours. |
| עדכון אחרון ב-11/6/2020, 14:25:38 Last updated on 11/6/2020, 14:25:38 Последняя модификация11/6/2020, 14:25:38 تمت الحتلنة الأخيرة ب-11/6/2020, 14:25:38 |
Zoom link - Class 10 (11.6.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/97954416086 Meeting ID: 979 5441 6086 |
| עדכון אחרון ב-10/6/2020, 09:48:14 Last updated on 10/6/2020, 09:48:14 Последняя модификация10/6/2020, 09:48:14 تمت الحتلنة الأخيرة ب-10/6/2020, 09:48:14 |
Ex3 Grades are online | |
| Please read my comments. |
| פורסם ב-6/6/2020, 22:39:28 Created on 6/6/2020, 22:39:28 Создано6/6/2020, 22:39:28 تم النشر ب-6/6/2020, 22:39:28 |
Zoom link - Class 09 (4.6.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/93854661665 Meeting ID: 938 5466 1665 |
| פורסם ב-3/6/2020, 09:39:32 Created on 3/6/2020, 09:39:32 Создано3/6/2020, 09:39:32 تم النشر ب-3/6/2020, 09:39:32 |
Mistake in Ex3 Q6 | |
|
Hi all, There is a typo in Ex3 Q6: a TL[F] formula can of course also be an atomic proposition (otherwise all formulas are either true or false). I'll update the ex soon. Thanks Ohad for spotting this. |
| פורסם ב-24/5/2020, 15:09:07 Created on 24/5/2020, 15:09:07 Создано24/5/2020, 15:09:07 تم النشر ب-24/5/2020, 15:09:07 |
Zoom link - Class 08 (24.5.20) (Sunday!) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/97373692974 Meeting ID: 973 7369 2974 |
| פורסם ב-23/5/2020, 20:10:39 Created on 23/5/2020, 20:10:39 Создано23/5/2020, 20:10:39 تم النشر ب-23/5/2020, 20:10:39 |
Exercise 3 is online | |
|
Hi all, Exercise 3 is online, due by 31.5.20 - Q1 is not for submission, as I mentioned today. - Q5 depends on things we will do on Sunday, so it's fine if you don't understand it now. Please post any questions you have on our Facebook group, or email me. |
| פורסם ב-21/5/2020, 16:05:07 Created on 21/5/2020, 16:05:07 Создано21/5/2020, 16:05:07 تم النشر ب-21/5/2020, 16:05:07 |
Updated notes | |
|
Hi all, Today I messed up the correctness proof of the LTL->NGBW translation. I updated the notes with a rigorous proof. I remind you that if you have any questions, I'll be happy to schedule a reception hour. |
| פורסם ב-21/5/2020, 15:34:49 Created on 21/5/2020, 15:34:49 Создано21/5/2020, 15:34:49 تم النشر ب-21/5/2020, 15:34:49 |
Zoom link - Class 07 (21.5.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/98404446810 Meeting ID: 984 0444 6810 Per your request, I have updated my notes to include tomorrow's class. They are of course susceptible to some changes. |
| פורסם ב-20/5/2020, 10:42:03 Created on 20/5/2020, 10:42:03 Создано20/5/2020, 10:42:03 تم النشر ب-20/5/2020, 10:42:03 |
Final Exercise Dates (+ other schedule news) | |
|
Hi all, The final exercise will be uploaded to the course website on 2.7.20. You are allowed to start working on it anytime from when it is uploaded, and up to 7.7.20. Once you start it, you have *one week* to work on it. Thus, the latest submission time, for those who start it on 7.7.20, is 14.7.20. Additional Schedule news: I will publish Ex3 on 24.5, after our class, and Ex4 a couple of weeks after that. So there will be a total of 4 exercises + the final exercise. |
| פורסם ב-17/5/2020, 11:28:52 Created on 17/5/2020, 11:28:52 Создано17/5/2020, 11:28:52 تم النشر ب-17/5/2020, 11:28:52 |
Change of Course Assessment and Grading (IMPORTANT!) | |
|
Hi all, Due to the uncertainties amidst the epidemic, I changed the assessment policy, as follows: There will NOT be a final exam. Instead, there will be a final assignment (basically a big exercise, covering all the material). Precise details will follow. Also, please see the related post on our Facebook page, for additional details. |
| פורסם ב-12/5/2020, 19:46:37 Created on 12/5/2020, 19:46:37 Создано12/5/2020, 19:46:37 تم النشر ب-12/5/2020, 19:46:37 |
Ex2 grades are online | |
|
Ex2 grades are online. Please read the feedback files carefully, as well as my solution. If you have any questions, email me (or use our Facebook group). |
| פורסם ב-11/5/2020, 23:00:31 Created on 11/5/2020, 23:00:31 Создано11/5/2020, 23:00:31 تم النشر ب-11/5/2020, 23:00:31 |
Zoom link - Class 06 (7.5.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/98022408904 Meeting ID: 980 2240 8904 |
| פורסם ב-6/5/2020, 01:17:24 Created on 6/5/2020, 01:17:24 Создано6/5/2020, 01:17:24 تم النشر ب-6/5/2020, 01:17:24 |
Exercise 2 is online | |
|
Hi all, Exercise 2 is online (has been for a while), due by Monday. Please post any questions you have on our Facebook group, or email me. I remind you that if you want to schedule a reception hour, you're welcome to email me. |
| פורסם ב-27/4/2020, 21:32:41 Created on 27/4/2020, 21:32:41 Создано27/4/2020, 21:32:41 تم النشر ب-27/4/2020, 21:32:41 |
Zoom link - Class 05 (27.4.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/96603780122 Meeting ID: 966 0378 0122 |
| פורסם ב-26/4/2020, 11:22:30 Created on 26/4/2020, 11:22:30 Создано26/4/2020, 11:22:30 تم النشر ب-26/4/2020, 11:22:30 |
Zoom link - Class 04 (23.4.20) | |
|
Hi all, I hope you had a pleasant and healthy break. Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/99639306829 Meeting ID: 996 3930 6829 |
| פורסם ב-22/4/2020, 11:31:19 Created on 22/4/2020, 11:31:19 Создано22/4/2020, 11:31:19 تم النشر ب-22/4/2020, 11:31:19 |
Ex1 Grades and Feedback | |
|
Ex1 grades and feedback are online. Overall, the exercises were excellent. Please read my comments, and compare your solutions to the one I published. You are welcome to email me with questions (or use our Facebook group). |
| פורסם ב-6/4/2020, 23:46:32 Created on 6/4/2020, 23:46:32 Создано6/4/2020, 23:46:32 تم النشر ب-6/4/2020, 23:46:32 |
Ex1 Solution and Reception hours | |
|
Hi all, Ex1 solution is online (under Course Material) I remind you that it is part of the course requirements to read the solutions (in the sense that I may rely on it in future classes/exercises/exam). As for reception hours -- due to the zero attendance, I won't hold a regular hour, but I strongly encourage you to email me if you want to schedule a meeting. |
| פורסם ב-3/4/2020, 11:35:44 Created on 3/4/2020, 11:35:44 Создано3/4/2020, 11:35:44 تم النشر ب-3/4/2020, 11:35:44 |
Zoom link - Class 03 (2.4.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/773149462 Meeting ID: 773 149 462 |
| פורסם ב-1/4/2020, 14:18:37 Created on 1/4/2020, 14:18:37 Создано1/4/2020, 14:18:37 تم النشر ب-1/4/2020, 14:18:37 |
Exercise 1 is online | |
|
Hi all, Exercise 1 is now online, due by next Thursday. Please post any questions you have on our Facebook group, or email me, or joint the reception hour. |
| פורסם ב-26/3/2020, 12:24:19 Created on 26/3/2020, 12:24:19 Создано26/3/2020, 12:24:19 تم النشر ب-26/3/2020, 12:24:19 |
Zoom link - Class 02 (26.3.20) | |
|
Hi all, Below is the link and meeting id for tomorrow's class. https://technion.zoom.us/j/646181645 Meeting ID: 646 181 645 |
| פורסם ב-25/3/2020, 13:04:32 Created on 25/3/2020, 13:04:32 Создано25/3/2020, 13:04:32 تم النشر ب-25/3/2020, 13:04:32 |
Office Hours | |
|
Hi all, I've updated my (virtual) office hours (Sundays 17:30. See the Staff page). However, if you want to meet and the time doesn't work for you, feel free to email me to schedule a different time. |
| פורסם ב-22/3/2020, 11:24:16 Created on 22/3/2020, 11:24:16 Создано22/3/2020, 11:24:16 تم النشر ب-22/3/2020, 11:24:16 |
Course Facebook Group | |
|
Hi all, Please join the course Facebook group here: https://www.facebook.com/groups/453229708674110/ You can ask any questions you have there, or email me (but usually questions benefit everyone, so ask there). |
| פורסם ב-19/3/2020, 12:28:56 Created on 19/3/2020, 12:28:56 Создано19/3/2020, 12:28:56 تم النشر ب-19/3/2020, 12:28:56 |
|
|
COVID-19 News |
|||||||||||
| ||||||||||||