Week |
Dates |
Lesson |
Remark |
I |
15 and 16 September 2015 |
Lesson 1. Preliminaries |
Homework 1 is out after the tutorial |
II |
22 and 23 September 2015 |
Lesson 2. Propositional calculus part I |
HW 1 is due before the lecture |
III |
29 and 30 September 2015 |
Cancelled due to typhoon Dujuan |
- |
IV |
6 and 7 October 2015 |
Lesson 3. Propositional calculus part II |
- |
V |
13 and 14 October 2015 |
Lesson 4. Proof system in propositional calculus |
Homework 2 is out after the tutorial. |
VI |
20 and 21 October 2015 |
Lesson 5. Completeness of propositional calculus |
- |
VII |
27 and 28 October 2015 |
Lesson 6. First-order logic part I: Structures |
HW 2 is due before the lecture and Homework 3 is out after the tutorial |
VIII |
3 and 4 November 2015 |
Lesson 7. First-order logic part II: Syntax |
- |
IX |
10 November 2015 |
Midterm exam (open book), 15:30-18:00, room 546 |
HW 3 is due before the midterm exam |
X |
17 and 18 November 2015 |
Lesson 8. First-order logic part III: Semantics |
- |
XI |
24 and 25 November 2015 |
Lesson 9. Logical consequences and theories |
Homework 4 is out after the tutorial |
XII |
1 and 2 December 2015 |
Lesson 10. Proof system in first-order logic |
- |
XIII |
8 and 9 December 2015 |
Lesson 11. Gödel's completeness theorem |
- |
XIV |
15 and 16 December 2015 |
Lesson 12. Löwenheim-Skolem theorem and categorical sets |
HW 4 is due before the lecture and Homework 5 is out after the tutorial |
XV |
22 and 23 December 2015 |
Lesson 13. Gödel's incompleteness theorem part I |
- |
XVI |
29 and 30 December 2015 |
Lesson 14. Gödel's incompleteness theorem part II |
- |
XVII |
5 and 6 January 2016 |
Reading week |
HW 5 is due before Wednesday 18:00 |
XVIII |
12 January 2016 |
Final exam (open book), 15:30--18:00, room 546 |
- |
|
13 January 2016 |
Collection of final grades, anytime between 13:00--17:00, room 516 |
- |