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|