Mathematics 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

The telefax in the main office of the Department of Mathematics
is +65-67795452


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


Textbook.
The textbook is A Mathematical Introduction to Logic (Chapters 1 and 2) by Herbert B. Enderton, Harcourt / Academic Press, Second Edition, 2001.

Time and Place.
Lectures are Monday and Thursday from 14:00 to 16:00 hrs in S16#03-07;
There are tutorials on Tuesday 15:00-16:00 in S16#04-33 and Friday 09:00-10:00 in S17#04-05.

Assessment.
There will be one midterm counting 28 marks and one final counting 60 marks. Furthermore, students will present homeworks in the tutorials and write them up on the forum. Each written up homework counts 3 marks, the maximum mark for homeworks is 12 marks.

The Midterm Examination is in Week 9 in the second half of the lecture on Thursday 17 March 2016.
The solutions are here: ps-file and pdf-file.

The solutions of the final examination are here: ps-file and pdf-file.

Last year's Examination Solutions.
Here the solutions for the two midterm tests and the final examination.
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.

Tutorials.
The turorials will start in Week 3. Please present four homeworks in the tutorials and write them up on the Forum. You can reserve the homeworks after the lecture.
Homework for Week 3: ps-file and pdf-file.
Homework for Week 4: ps-file and pdf-file.
Homework for Week 5/6: ps-file and pdf-file.
This week, homeworks are for Friday tutorial of Week 5 and Tuesday tutorial of Week 6; similarly in the subsequent weeks.
Homework for Week 6/7: ps-file and pdf-file.
Homework for Week 7/8: ps-file and pdf-file.
Homework for Week 8/9: ps-file and pdf-file.
Homework for Week 9/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.