A 
I 
1 Mar. 
Lesson 1. Preliminaries 
 
B 
II 
8 Mar. 
Lesson 2. Propositional calculus part I 
 
III 
15 Mar. 
Lesson 3. Propositional calculus part II 
HW 1 out. 
IV 
22 Mar. 
Lesson 4. Proof system in propositional calculus 
 
V 
29 Mar. 
Lesson 5. Completeness of propositional calculus 
HW 1 due. HW 2 out. 

VI 
5 Apr. 
 
 
C 
VII 
12 Apr. 
Lesson 6. Firstorder logic (FO) part I 
HW 2 due. 
VIII 
19 Apr. 
Lesson 7. Firstorder logic (FO) part II 
HW 3 out. 

IX 
26 Apr. 
 
 
D 
X 
3 May 
Lesson 8. Logical consequences and theories 
 
XI 
10 May 
 
 
XII 
17 May 
Lesson 9. Proof system in FO 
HW 3 due. 
XIII 
24 May 
Lesson 10. Gödel's completeness theorem 
HW 4 out. 
XIV 
31 May 
Lesson 11. LöwenheimSkolem theorem and categorical sets 
 
E 
XV 
7 Jun. 
Lesson 12. Gödel's incompleteness theorem part. I 
 
XVI 
14 Jun. 
Lesson 13. Gödel's incompleteness theorem part. II 
HW 4 due. 
XVII 
21 Jun. 
Lesson 14. Decision problems in FO 
HW 5 out. 

XVIII 
28 Jun. 
 
HW 5 due. 