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
      2 Science Drive 2, Singapore 117543
      Primary Office: S14#04-13, Telephone +65-6516-2759

  (2) School of Computing, National University of Singpore
      Law Link, Computing 1 (COM1), Singapore 117590
      Shared Secondary Office: COM1#02-16, 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

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

Slides for Week 8: There is one set of slides for both lectures and the tutorial. These slides are available as a ps-file and pdf-file. For the recorded voice over the slides, please check inside the IVLE, there are in total 6 files (unfortunately not in the right order), they start at slide 1 (Tue), 6 (Tue), 9 (Tue), 28 (Tue), 37 (Fri), 60 (Fri). The above slides have some typing errors corrected (which the IVLE does not have).

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.


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.