Logic and Foundations of Mathematics (MA5219)

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 lecture will follow the book "A Concise Introduction to Mathematical Logic" by Wolfgang Rautenberg (Springer, Universitext, Third Edition).

Time and Place
Tuesday and Friday from 14:00 to 16:00 hrs
The room is S17#05-12

Assessment
The assignments count 10 marks, the midterm examination counts 20 marks and the final examination counts 70 marks; in total a student can obtain up to 100 marks.

The Midterm Examination is in Week 8, Tuesday 8 October 2013, in the second half of the lecture.

Tutorial
There will be a tutorial in the fourth lecture hour from Week 3 onwards.
Assignments due in Week 3: ps-file; pdf-file.
Assignments due in Week 4: ps-file; pdf-file.
Assignments due in Week 5: ps-file; pdf-file.
Assignments due in Week 6: ps-file; pdf-file.
Assignments due in Week 7: ps-file; pdf-file.
Assignments due in Week 8: ps-file; pdf-file.
Assignments due in Week 9: ps-file; pdf-file.
Assignments due in Week 10: ps-file; pdf-file.
Assignments due in Week 11: ps-file; pdf-file.
Assignments due in Week 12: ps-file; pdf-file.
Assignments due in Week 13: ps-file; pdf-file.
Note that the assignments of 2013 are updated versions of those in 2011; so please do not hand in those from 2011, but wait for the new one to be uploaded above.

Elearning Week. The elearning week will cover the topic on how to define functions in the natural numbers with addition and multiplication and how this topic is related to programming. The current version of slides is available and there will be slides with voice over on IVLE. Here the plain slides: ps-file; pdf-file.



Old Material
Below this line there is old material from AY 2011/2012 for those who are interested.

Old Tutorial Homework
For those who want to have a look, here are the old tutorial questions on which also the new ones are based; please note that these are only for your information and that handed in assignments should follow the new ones.
Assignments from Week 3 in 2011: ps-file; pdf-file.
Assignments from Week 4 in 2011: ps-file; pdf-file.
Assignments from Week 5 in 2011: ps-file; pdf-file.
Assignments from Week 6 in 2011: ps-file; pdf-file.
Assignments from Week 7 in 2011: ps-file; pdf-file.
Assignments from Week 8 in 2011: ps-file; pdf-file.
Assignments from Week 9 in 2011: ps-file; pdf-file.
Assignments from Week 10 in 2011: ps-file; pdf-file.
Assignments from Week 11 in 2011: ps-file; pdf-file.
Assignments from Week 12 in 2011: ps-file; pdf-file.
Assignments from Week 13 in 2011: ps-file; pdf-file.