CSIE 5111: Introduction to Mathematical Logic

Instructor

• Name: Tony Tan
• Room: CSIE 516
• Office hour: By appointment via email
• Email: tonytan@csie.ntu.edu.tw
• Personal website

Venue and time

• Lecture: Tuesday, 15:30-17:10 in CSIE 546
• Tutorial: Wednesday, 16:30-17:20 in CSIE 546

Syllabus

Week Dates Lesson Remark
I 15 and 16 September 2015 Lesson 1. Preliminaries Homework 1 is out after the tutorial
II 22 and 23 September 2015 Lesson 2. Propositional calculus part I HW 1 is due before the lecture
III 29 and 30 September 2015 Cancelled due to typhoon Dujuan -
IV 6 and 7 October 2015 Lesson 3. Propositional calculus part II -
V 13 and 14 October 2015 Lesson 4. Proof system in propositional calculus Homework 2 is out after the tutorial.
VI 20 and 21 October 2015 Lesson 5. Completeness of propositional calculus -
VII 27 and 28 October 2015 Lesson 6. First-order logic part I: Structures HW 2 is due before the lecture and Homework 3 is out after the tutorial
VIII 3 and 4 November 2015 Lesson 7. First-order logic part II: Syntax -
IX 10 November 2015 Midterm exam (open book), 15:30-18:00, room 546 HW 3 is due before the midterm exam
X 17 and 18 November 2015 Lesson 8. First-order logic part III: Semantics -
XI 24 and 25 November 2015 Lesson 9. Logical consequences and theories Homework 4 is out after the tutorial
XII 1 and 2 December 2015 Lesson 10. Proof system in first-order logic -
XIII 8 and 9 December 2015 Lesson 11. Gödel's completeness theorem -
XIV 15 and 16 December 2015 Lesson 12. Löwenheim-Skolem theorem and categorical sets HW 4 is due before the lecture and Homework 5 is out after the tutorial
XV 22 and 23 December 2015 Lesson 13. Gödel's incompleteness theorem part I -
XVI 29 and 30 December 2015 Lesson 14. Gödel's incompleteness theorem part II -
XVII 5 and 6 January 2016 Reading week HW 5 is due before Wednesday 18:00
XVIII 12 January 2016 Final exam (open book), 15:30--18:00, room 546 -
13 January 2016 Collection of final grades, anytime between 13:00--17:00, room 516 -

Notes on midterm and final exams

• Please come on time. The exams will finish sharp at 18:00 regardless of whether you are on time or not.
• All electronic devices must be switched off during the exams, except perhaps your watch.
• A clock will be provided during the exams, so don't worry if you don't have a watch.
• You are allowed to consult whatever materials you bring to the exams.
• However, if you use results not proved in the class, you must supply their complete proofs.
• Discussions/collaborations are not allowed.

Notes on homework submission

• Homework solution can be handwritten or typewritten. If it is handwritten, the writing must be legible.
• You can submit your homework earlier than the due date by slipping it under the door of my office.