|
Instructor
Venue and time
- Friday, 10:30-13:00, room CSIE 104.
Administration
- For correspondence, use my CSIE email: tonytan@csie.ntu.edu.tw
- All notes and homeworks (in both pdf and tex files) will be posted here.
- All the announcements will also be posted here, as well as in the bulletin of this course in CEIBA.
Teaching assistants
- 林廷衛 (Lin Tingwei), r08922089@ntu.edu.tw, r08922089@csie.ntu.edu.tw, room 401.
- If needed, you may try to arrange another time slot with TA directly.
Recommended textbooks
- A Mathematical Introduction to Logic by H. Enderton.
- A Concise Introduction to Mathematical Logic by W. Rautenberg.
- Mathematical logic by H.-D. Ebbinghaus, J. Flum and W. Thomas.
Syllabus (tentative)
Part |
Week |
Dates |
Lesson |
Remark |
A |
I |
6 Mar. |
Lesson 1. Preliminaries |
-- |
B |
II |
13 Mar. |
Lesson 2. Compactness theorem for propositional calculus |
-- |
III |
20 Mar. |
Lesson 3. Proof system in propositional calculus |
HW 1 |
IV |
27 Mar. |
Lesson 4. Completeness of propositional calculus |
-- |
|
V |
3 Apr. |
-- |
-- |
C |
VI |
10 Apr. |
Lesson 5. First-order logic (FO) part I |
HW 1 due (on Friday) |
VII |
17 Apr. |
Lesson 6. First-order logic (FO) part II |
-- |
VIII |
24 Apr. |
Lesson 7. Logical consequences and theories |
-- |
IX |
1 May |
Lesson 8. Proof system in FO |
HW 2 |
|
X |
8 May |
-- |
-- |
D |
XI |
15 May |
Lesson 9. Gödel's completeness theorem |
-- |
XII |
22 May |
Lesson 10. Löwenheim-Skolem theorem and categorical sets |
HW 2 due (on Friday) |
E |
XIII |
29 May |
Lesson 11. Gödel's incompleteness theorem |
HW 3 |
XIV |
5 Jun. |
Lesson 12. Decision problems in FO |
-- |
|
XV |
12 Jun. |
-- |
-- |
XVI |
19 Jun. |
-- |
HW 3 due (on Friday) |
|