| 1 |
12-11 |
Introduction |
Chapter 0 |
| |
14-11 |
Propositional logic |
Chapter 1 |
| 2 |
19-11 |
Sets |
Chapter 2 |
| |
21-11 |
Boolean algebra |
Chapter 3 |
| 3 |
26-11 |
Predicate logic |
Chapter 4 |
| |
28-11 |
Proof strategies |
Chapter 5 |
| 4 |
03-12 |
Functions |
Chapter 6 |
| |
05-12 |
Relations and extra-notes |
Chapter 7 |
| 5 |
10-12 |
Inductive definitions |
Chapter 8 |
| |
12-12 |
Revision lecture |
|
| 6 |
16-12 |
Mid-term exam |
Chapters 0-7 |
| |
17-12 |
Inductive proofs |
Chapter 9 |
| |
19-12 |
Proof assistants |
|
| |
07-01 |
Games |
Chapter 10 |
| |
09-01 |
Inductive relations & natural deduction |
Chapter 1-2 (lecture notes) |
| |
14-01 |
Operational semantics |
Chapter 3 (lecture notes) |
| |
16-01 |
Hoare logic |
Chapter 3 (lecture notes) |
| |
21-01 |
Revision lecture |
|
| |
23-01 |
No lecture |
|
| |
27-01 |
Final exam |
|