Calendar
The course runs from till with the following schedule:
- Thursdays, 13:30-15:30
- Fridays, 13:30-15:30
You might want to read the Instructions to understand how to take the course. (And the expression "you might want …" gets translated in Italian with: "è assolutamente necessario che …".)
Lessons’ Diary
This is the list of lessons delivered so far plus a tentative schedule of lessons in the near future.
Date | Topic | Subtopic & Materials |
---|---|---|
Fri, 16 Sep 2022
13:30-15:30 |
Course description |
|
Fri, 16 Sep 2022
13:30-15:30 |
1.1 Representation |
|
Thu, 22 Sep 2022
13:30-15:30 |
1.1 Representation |
|
Fri, 23 Sep 2022
13:30-15:30 |
1.2 Mental model |
|
Thu, 29 Sep 2022
13:30-15:30 |
1.3 Formal Model |
|
Fri, 30 Sep 2022
13:30-15:30 |
1.3 Formal Model |
|
Thu, 06 Oct 2022
13:30-15:30 |
1.5 Exercises |
|
Fri, 07 Oct 2022
13:30-15:30 |
1.3 Formal Model 1.4 Set theory |
|
Thu, 13 Oct 2022
13:30-15:30 |
1.4 Reasoning 1.5 Using models |
|
Fri, 14 Oct 2022
13:30-15:30 |
1.5 Exercises |
|
Thu, 20 Oct 2022
13:30-15:30 |
2.1 Notions |
|
Fri, 21 Oct 2022
13:30-15:30 |
2.2 Truth tables reasoning |
|
Thu, 27 Oct 2022
13:30-15:30 |
2.3 Tableaux Reasoning |
|
Fri, 28 Oct 2022
13:30-15:30 |
2.4 Exercises |
|
|
Preparazione midterm |
|
|
Midterm |
|