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 |

The lecture will follow the book "A Concise Introduction to Mathematical Logic" by Wolfgang Rautenberg (Springer, Universitext, Third Edition).

Tuesday and Friday from 14:00 to 16:00 hrs

The room is S17#05-12

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

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.

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

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.