Part |
Week |
Dates |
Lesson |
Remark |
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. First-order logic (FO) part I |
-- |
VI |
25 Mar. |
Lesson 6. First-order 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öwenheim-Skolem 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). |