Part |
Week |
Dates |
Lesson |
Remark |
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. First-order logic (FO) part I |
HW 2 due. |
VIII |
19 Apr. |
Lesson 7. First-order 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öwenheim-Skolem 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. |