CSIE 5111: Introduction to Mathematical Logic

       

Instructor

Venue and time

  • Thursday, 10:30-13:00, room CSIE 111.

Administration

Syllabus (tentative)

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.

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 Thurdays in the indicated week.
  • Their due dates are also always on Thursdays 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 can be handwritten or typewritten. If it is handwritten, the writing must be legible.
  • 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.