CSIE 5111: Introduction to Mathematical Logic
Venue and time
- Monday, 14:30-17:00, room CSIE 102.
- For correspondence, use my CSIE email: firstname.lastname@example.org
- Please check this website regularly. Course notes and homework will be posted here.
- All the announcements will also be posted here, as well as in the bulletin of this course in CEIBA.
- Each homework weighs 25%.
- Ma Yanger (email@example.com), office hour: 15:00-16:00, room 401.
- If needed, you may try to arrange another time slot with the TA directly.
- 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.
||Lesson 1. Preliminaries
||Lesson 2. Compactness theorem for propositional calculus
||Lesson 3. Proof system in propositional calculus
||HW 1 out.
||Lesson 4. Completeness of propositional calculus
||Lesson 5. First-order logic (FO) part I
||Lesson 6. First-order logic (FO) part II
||HW 1 due. HW 2 out.
||Lesson 7. Logical consequences and theories
||Lesson 8. Proof system in FO
||HW 2 due.
||Lesson 9. Gödel's completeness theorem
||Lesson 10. Löwenheim-Skolem theorem and categorical sets
||HW 3 out.
||Lesson 11. Gödel's incompleteness theorem part. I
||Lesson 12. Gödel's incompleteness theorem part. II
||HW 3 due.
||Lesson 13. Decision problems in FO
||HW 4 out.
||Lesson 14. Some topics in logic in computer science
||HW 4 due (on Friday).
Notes on homework submission
- You should write down your class number, your student number and your
name in your homework solution.
- Homeworks will be posted here on Mondays in
the indicated week.
- Their due dates are also always on Mondays
before the class starts in
the indicated week.
- You can submit your homework earlier than the due date by slipping it
under the door of my office.
- Homework solution has to be handwritten or
typewritten in a format that will be determined later.
- The tidiness of your homework contributes to your grade.
- Discussions/collaborations are allowed, but make sure that you
acknowledge that you do your homeworks in collaboration and
that you understand and write down your own solutions.
- Points will be deducted if you don't understand your own solutions.