A 
I 
18 Feb. 
Lesson 1. Preliminaries 
 
B 
II 
25 Feb. 
Lesson 2. Compactness theorem for propositional calculus 
 
III 
4 Mar. 
Lesson 3. Proof system in propositional calculus 
HW 1 out. 
IV 
11 Mar. 
Lesson 4. Completeness of propositional calculus 
 
C 
V 
18 Mar. 
Lesson 5. Firstorder logic (FO) part I 
 
VI 
25 Mar. 
Lesson 6. Firstorder logic (FO) part II 
HW 1 due. HW 2 out. 

VII 
1 Apr. 
 
 
D 
VIII 
8 Apr. 
Lesson 7. Logical consequences and theories 
 
IX 
15 Apr. 
Lesson 8. Proof system in FO 
HW 2 due. 
X 
22 Apr. 
Lesson 9. Gödel's completeness theorem 
 
XI 
29 Apr. 
Lesson 10. LöwenheimSkolem theorem and categorical sets 
HW 3 out. 

XII 
6 May 
 
 
E 
XIII 
13 May 
Lesson 11. Gödel's incompleteness theorem part. I 
 
XIV 
20 May 
Lesson 12. Gödel's incompleteness theorem part. II 
HW 3 due. 
XV 
27 May 
Lesson 13. Decision problems in FO 
HW 4 out. 
XVI 
3 Jun. 
Lesson 14. Some topics in logic in computer science 
 

XVII 
10 Jun. 
 
 
XVIII 
17 Jun. 
 
HW 4 due (on Friday). 