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
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.
|פורסם ב- 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
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.
|פורסם ב- 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
The final assignment is online.
Please read the instructions carefully, and email me if you have any questions.
|פורסם ב- 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
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
The marked assignments are online, as well as the solution.
Remember to go over my solutions carefully.
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
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
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
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 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
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 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 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|
|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|
|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
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
First, please take this 5 minute survey, so I know your backgrounds better:
Second, please join our Facebook group, where you can ask any questions and discuss the material:
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:
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|