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. Firstorder 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. Firstorder logic part II: Syntax 
 
IX 
10 November 2015 
Midterm exam (open book), 15:3018:00, room 546 
HW 3 is due before the midterm exam 
X 
17 and 18 November 2015 
Lesson 8. Firstorder 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 firstorder logic 
 
XIII 
8 and 9 December 2015 
Lesson 11. Gödel's completeness theorem 
 
XIV 
15 and 16 December 2015 
Lesson 12. LöwenheimSkolem 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:3018:00, room 546 
 

13 January 2016 
Collection of final grades, anytime between 13:0017:00, room 516 
 