Final grade formula | |
|
It seems the formula is not on the website, although I recall writing it somewhere. Anyway, here it is: Let E be the average exercise grade, and F be the final exercise grade, then: If E>F, the grade is: 0.2 E+0.8 F and otherwise it's 0.1 E+0.9 F |
| פורסם ב-7/2/2021, 12:28:52 Created on 7/2/2021, 12:28:52 Создано7/2/2021, 12:28:52 تم النشر ب-7/2/2021, 12:28:52 |
Final grades and final words | |
|
Hi all, First - the final grades: I have taken into account the fact that the final assignment was difficult, and massaged the grades accordingly. The final grades were computed according to the formula states in the beginning of the course. Second - I hope you have enjoyed the course, and have learned some new techniques and concepts. If you like the topics we studied, I am always looking for students, and I'm also happy to collaborate on smaller projects. Shaull |
| פורסם ב-7/2/2021, 10:54:19 Created on 7/2/2021, 10:54:19 Создано7/2/2021, 10:54:19 تم النشر ب-7/2/2021, 10:54:19 |
Final assignment feedback | |
|
Hi all, I've marked the final assignments (well, I read them and wrote comments). It's pretty clear that the assignment was too difficult, so: 1. Apologies. I hope you at least had some fun struggling with it. 2. I need to think about how to assign meaningful grades (I don't want to call it a "factor", since there are no grades yet). I hope to have the final grades by Sunday. Let me know if you have any questions about the feedback. |
| פורסם ב-4/2/2021, 22:43:30 Created on 4/2/2021, 22:43:30 Создано4/2/2021, 22:43:30 تم النشر ب-4/2/2021, 22:43:30 |
Hint for Q1 | |
|
Due to public request, a small hint for Q1: This question essentially has to parts: 1. Identify which states should be accepting in the DCW (i.e., the set beta). 2. Prove that if there exists some equivalent DCW, then the DCW you found with beta has the same language. For 1 - it might help if you try to define beta without attempting to find an algorithm for computing it (you can take an algorithmic approach, but there is no real point. It's not part of the question). Also, think cycles. For 2 - Try to use a pumping argument. Good luck! https://www.youtube.com/watch?v=BfnjX88Va4Y&ab_channel=DefectedRecords |
| פורסם ב-1/2/2021, 20:39:21 Created on 1/2/2021, 20:39:21 Создано1/2/2021, 20:39:21 تم النشر ب-1/2/2021, 20:39:21 |
Hint for Q2 | |
|
In case you're struggling with Problem 2, here's a hint: The definition of "non-counting" only looks at a finite prefix of the word. What happens in the infinite suffix? For example, why is GFp non counting? |
| פורסם ב-29/1/2021, 22:51:21 Created on 29/1/2021, 22:51:21 Создано29/1/2021, 22:51:21 تم النشر ب-29/1/2021, 22:51:21 |
The final assignment is online | |
|
Hi all, The final assignment is online. Please read the instructions carefully, and email me if you have any questions. Good luck! |
| פורסם ב-27/1/2021, 08:08:14 Created on 27/1/2021, 08:08:14 Создано27/1/2021, 08:08:14 تم النشر ب-27/1/2021, 08:08:14 |
Ex4 is online | |
|
Hi all, Ex4 is online. You actually already have all the definitions to solve it, but you might be more comfortable tackling the games questions once we dig a little deeper into them. Anyway, please do not ask for extensions, since I need time to check it before giving the final assignment (and also since there is more than plenty of time to solve it). Happy new year! |
| פורסם ב-31/12/2020, 12:46:28 Created on 31/12/2020, 12:46:28 Создано31/12/2020, 12:46:28 تم النشر ب-31/12/2020, 12:46:28 |
Ex3 Solution + Feedback | |
|
Hi all, The marked assignments are online, as well as the solution. Remember to go over my solutions carefully. In particular: 1. the vast majority of you misunderstood the instructions in Q1. 2. The reduction I have for Q4 is different from all of your solutions (I was very happy to see all the different approaches). |
| פורסם ב-30/12/2020, 14:48:30 Created on 30/12/2020, 14:48:30 Создано30/12/2020, 14:48:30 تم النشر ب-30/12/2020, 14:48:30 |
Final Assignment Date - 27.1 | |
|
Hi all, Incredibly, there is a date that is suitable for everybody! The assignment will be given on the 27.1, and you'll have a week to submit it. Thanks everybody for being flexible. |
| פורסם ב-28/12/2020, 12:06:45 Created on 28/12/2020, 12:06:45 Создано28/12/2020, 12:06:45 تم النشر ب-28/12/2020, 12:06:45 |
Final Assignment Dates | |
|
Hi all, As I mentioned, the final assignment will be given for a week. I would like to find a time that best suits everybody. The assignment will be *given* some time between Jan 22 and Feb 15. Please email me with the following information: which dates during this period are particularly bad for you, and which are especially good, for *starting* the assignment? Please use bad dates sparingly, otherwise we will definitely have collisions. |
| פורסם ב-24/12/2020, 13:23:31 Created on 24/12/2020, 13:23:31 Создано24/12/2020, 13:23:31 تم النشر ب-24/12/2020, 13:23:31 |
Mistake in Ex3 Q5 | |
|
In part (a), the claim is false, for example if you take m=2 and the formula Xq, then it holds in position 0, but not in position 2. The claim should require the formula to have at most *m-2* X operators (instead of m-1). Thanks to Neta for spotting this. |
| פורסם ב-23/12/2020, 17:24:07 Created on 23/12/2020, 17:24:07 Создано23/12/2020, 17:24:07 تم النشر ب-23/12/2020, 17:24:07 |
Ex3 is online | |
|
Hi all, Ex3 is online. Note that Q6 is not for submission. Have a pleasant vacation! |
| פורסם ב-10/12/2020, 12:26:17 Created on 10/12/2020, 12:26:17 Создано10/12/2020, 12:26:17 تم النشر ب-10/12/2020, 12:26:17 |
Ex2 Feedback | |
|
Hi all, Ex2 grades, feedback and solution are online. Please read my solution carefully, and compare differences. If you have any questions about the feedback, let me know. |
| פורסם ב-6/12/2020, 23:38:20 Created on 6/12/2020, 23:38:20 Создано6/12/2020, 23:38:20 تم النشر ب-6/12/2020, 23:38:20 |
Course Assessment: final exercise instead of exam | |
|
Hi all, As I mentioned in the last lecture, instead of a final exam, we will have final big exercise. Precise details will be given closer to the end of the course. |
| פורסם ב-30/11/2020, 13:39:23 Created on 30/11/2020, 13:39:23 Создано30/11/2020, 13:39:23 تم النشر ب-30/11/2020, 13:39:23 |
Ex2 | |
|
Hi all, Ex2 is online, to be submitted by 2.12. Note that it's a short and not difficult exercise, with a very far due date, so I won't give extensions unless something really serious happens. As usual, you're welcome to ask any questions by email, Facebook, or we can schedule a reception hour. |
| פורסם ב-19/11/2020, 12:24:48 Created on 19/11/2020, 12:24:48 Создано19/11/2020, 12:24:48 تم النشر ب-19/11/2020, 12:24:48 |
Ex1 Feedback | |
|
Hi all, Ex1 grades and feedback are online. Please read my comments (even if no points were deducted). |
| פורסם ב-15/11/2020, 22:06:43 Created on 15/11/2020, 22:06:43 Создано15/11/2020, 22:06:43 تم النشر ب-15/11/2020, 22:06:43 |
Ex1 Solution | |
|
The solution for Ex1 is online. I strongly advised that you read the solutions, as they will give you an idea of the degree of formal writing required, and also you might find different solutions to the problems. |
| פורסם ב-13/11/2020, 10:01:26 Created on 13/11/2020, 10:01:26 Создано13/11/2020, 10:01:26 تم النشر ب-13/11/2020, 10:01:26 |
Ex1 Extension | |
|
Due to a request by a third of the course participants, I'm extending Ex1 deadline to next Thursday. But I strongly recommend that you at least attempt to solve the question by tomorrows class, as it will help understanding things. |
| פורסם ב-4/11/2020, 12:42:31 Created on 4/11/2020, 12:42:31 Создано4/11/2020, 12:42:31 تم النشر ب-4/11/2020, 12:42:31 |
Ex1, Typing, Notes, and correcting a mistake from the lecture | |
|
Hi all, 1. Ex1 is online, due next Thursday. I strongly recommend that you type the solution (preferably in Latex), but this is not mandatory. However, if you do want to use Latex, and need help, or references to good packages, let me know and I'll gladly assist. 2. In today's lecture, when defining types, I used blue and red in the opposite definition from the lecture notes (this is why my automaton was wrong). I fixed the definitions in the lecture notes, but the example from the notes is now different from the recording. So if you're re-reading, please stick to the version in the notes. |
| עדכון אחרון ב-29/10/2020, 13:45:35 Last updated on 29/10/2020, 13:45:35 Последняя модификация29/10/2020, 13:45:35 تمت الحتلنة الأخيرة ب-29/10/2020, 13:45:35 |
Short survey, Facebook group, and some info | |
|
Hi all, First, please take this 5 minute survey, so I know your backgrounds better: https://docs.google.com/forms/d/e/1FAIpQLSeV-UrwIKPo-8L8xuaVgYEhZQXJV4lhV7xaG0QPoE8PhXcieA/viewform?usp=sf_link Second, please join our Facebook group, where you can ask any questions and discuss the material: https://www.facebook.com/groups/453229708674110 Also, please see the material section, I will keep the recorded lectures, my notes, and the whiteboards updated weekly. If you have any questions, or want to schedule a reception hour, don't hesitate to email me. |
| פורסם ב-22/10/2020, 13:07:07 Created on 22/10/2020, 13:07:07 Создано22/10/2020, 13:07:07 تم النشر ب-22/10/2020, 13:07:07 |
Welcome to Automata, Logic, and Games! (Adv. Topics in Formal Verification) | |
|
Welcome to Advanced Topics in Formal Verification! This semester we will look at Automata, Logic, and Games (see Syllabus for details). Since the semester is starting online, we will meet on Zoom. The permanent link for all lectures is: https://technion.zoom.us/my/shaull Lectures will take place on Thursdays, 10:30. Note that the lectures are *password protected*, you can find the password in the *Syllabus* tab (by logging in first). Feel free to email me if you have any questions. |
| פורסם ב-18/10/2020, 16:00:04 Created on 18/10/2020, 16:00:04 Создано18/10/2020, 16:00:04 تم النشر ب-18/10/2020, 16:00:04 |