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.
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 are available inside LUMINUS and, in a password-protected form, through this link.

Time and Place.
Lectures: Monday from 10:00 to 12:00 hrs in S17#04-06;
Lectures: Friday from 10:00 to 12:00 hrs in S17#04-06;
There are tutorials on Fridays at 16:00-10:07 in S17#04-06.

Assessment.
There will be one midterm counting 28 marks and one final counting 40 marks and tutorials count 12 marks and an extra homework counting 12 marks. The extra homework is found on LUMINUS and also the final examination will be applied by LUMINUS. The extrahomework is now available, please see the LUMINUS folder for it. Also note that detailed instructions about the Final Examination can be found there.

Tutorials. For the tutorials, students will present homeworks in the tutorials and write them up on the Forum. Each homework written up in the Forum is 1 mark. Each two presentations in the tutorial are 1 mark; the same homework can be written up in the Forum and presented in the tutorial. The maximum marks of the tutorial are 12; extra effort is appreciated but does not give additional marks. Students can write up at most two questions of a week in the tutorials and they have always to write up new homeworks not written up by other students. Please check before writing up the homework. A full set of all tutorial questions is available as ps-file and pdf-file.

The Midterm Examination is on Wednesday 11 March 2020 (Week 8) during the lecture starting approximately at 10:40 hrs.

Current and past Examination Solutions.
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.

Old Homework Sheets. The homeworks might be slightly changed; in particular if you cannot reserve any homework due to competition with classmates, contact please the lecturer for creating an additional homework. Please consult the above single file for all homeworks, here again the link: ps-file and pdf-file.
Homework for Week 2: ps-file and pdf-file.
Homework for Week 3: ps-file and pdf-file.
Homework for Week 4: ps-file and pdf-file.
Homework for Week 5: ps-file and pdf-file.
Homework for Week 6: ps-file and pdf-file.
Homework for Week 7: ps-file and pdf-file.
Homework for Week 8: ps-file and pdf-file.
Homework for Week 9: ps-file and pdf-file.
Homework for Week 10: ps-file and pdf-file.
Homework for Week 11: ps-file and pdf-file.
Homework for Week 12: ps-file and pdf-file.
Homework for Week 13: ps-file and pdf-file.
Self-Learning Homework with Solutions: ps-file and pdf-file.