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

Administration

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.