Mathematical Logic (MA4207)

Lecturer
The lecturer is Frank Stephan from the Departments of Mathematics and Computer Science of the National University of Singapore.
Frank Stephan's addresses are:

  (1) Department of Mathematics, National University of Singapore
      10 Lower Kent Ridge Road, Block S17, Singapore 119076
      Primary Office: S17#07-04, Telephone +65-6516-2759

  (2) School of Computing, National University of Singpore
      Computing Drive, Computing 1 (COM1), Singapore 117590
      Secondary Office: COM1#03-11, Telephone +65-6516-4246

Both telephone numbers go onto the same "Skype for Business".

The email address is fstephan@comp.nus.edu.sg


Textbook, Lecture Notes and Slides.
The textbook is A Mathematical Introduction to Logic (Chapters 0, 1 and 2) by Herbert B. Enderton, Harcourt / Academic Press, Second Edition, 2001, plus some add-on. All relevant materials for this course are contained in the lecture notes. Lecture Notes and slides are available inside LUMINUS and, in a password-protected form, through this link; this link always has the latest version made available to students.

Time and Place.
Lectures: Monday from 14:00 to 16:00 hrs on Zoom Lectures: Friday from 14:00 to 16:00 hrs on Zoom There are tutorials on Fridays at 11:00-12:00 on Zoom See Luminus for Zoom Links

Assessment.
The Midterm Exam will be on Wednesday in Week 8 (10 March 2021) during lecture time. The Final Exam will be on Thursday 6 May 2021 from 9:00 to 11:00 hrs. In Week 2 and in weeks where Friday is a public holiday, the tutorial will be held on Wednesday in the second half of the lecture.

Tutorials. The exact number of tutorial questions to be made will be anounced next week after the enrolement numbers have stabilised. The reason is that there must be enough homeworks for every student to do the number of mandatory homeworks - so the expected number of homeworks is approximately (number of homeworks in semester) / (number of students). Students will receive marks for writing up the homework in the Forum and presenting it in the tutorial. Every student will have own homeworks which are selcted by posting a message with the homework number in the Forum. When presenting the homeworks in the Tutorial, it is okay to share the write-up in the Forum over Zoom.

A full set of all tutorial questions is available as ps-file and pdf-file.

Current and past Examination Solutions.
Here the solutions for the examinations in 2021.
Midterm test: ps-file and pdf-file.

Here the solutions for the examinations in 2020.
Midterm test: ps-file and pdf-file.
Final Examination: ps-file and pdf-file.

Here the solutions for the examinations in 2019.
Midterm test: ps-file and pdf-file.
Final Examination: ps-file and pdf-file.

Here the solutions for the examinations in 2018.
Midterm test: ps-file and pdf-file.
Final Examination: ps-file and pdf-file.

Here the solutions for the midterm test and the final examination in 2016.
Midterm test: ps-file and pdf-file.
Final Examination: ps-file and pdf-file.

Here the solutions for the two midterm tests and the final examination in 2015.
First midterm test: ps-file and pdf-file.
Second midterm test: ps-file and pdf-file.
Final Examination: ps-file and pdf-file.

Parser.
There is an implementation of the parser from the lecture in Javascript. Those who know programming can study the source of the parser.