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, 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 12:00 to 14:00 hrs in S17#04-06 and Thursday from 12:00 to 14:00 hrs in S17#04-06; Tutorials: Tuesday from 16:00 to 17:00 hrs in S17#05-12 (in week 2 and when Tuesday is a public holiday, the tutorial is in the last half of the last lecture of the week)

Assessment.
The Midterm Exam will be on Monday in Week 8 (6 March 2023) in the second half of the lecture. In the case that you cannot make it at that date due to an important reason, please inform your lecturer and a change of date is possible within the first week of lecture.
The Final Exam will be on Monday 24 April 2023 17:00-19:30 hrs. The NUS publishes also exam related info on nusmods.com for the module MA4207 and the time and date and duration of the final exam is visible there. According to info of the Department of Mathematics, the venu is S16#03-07.
The scope of the final exam is the full course including topics tested in the midterm exam; however, the prenex normal form of the end of the course is a topic one should know about but which is not tested in the final exam. The final exam consists of 10 questions carrying 6 marks each. The final exam is a closed book exam, but one a4 sheet of paper (helpsheet) is allowed to be brought in; on this can be written whatever is considered suitable or helpful.
There are 12 homeworks each counting 1 mark. Furthermore, the midterm exam counts 28 marks and the final exam counts 60 marks, where it consists of 10 questions of 6 marks each. Overall the sum of possible marks is 100.

Tutorials. For writing up homeworks, please start a new Discussion Thread and put the homework number. In the case that there are several tutorials, please make your write-up only visible for your tutorial group, as other classmates from another tutorial have the right to select the same homework.
A homework is done if it is written up in the Forum and presented in the tutorial. For each week, one can do one homework. The maximum number of marks for the homework is 12, one homework per week. In justified cases, it is possible to present at the end of the tutorial homeworks from previous weeks which for whatever reason could not be presented there.
You are allowed to display the written up homework with the lecture hall computer in the tutorial when explaining the homework.

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 2023.
Midterm test: ps-file and pdf-file.

Here the solutions for the examinations in 2021.
Midterm test: ps-file and pdf-file.
Final examination: 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.