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

  (2) School of Computing, National University of Singpore
      Computing Drive, Computing 1 (COM1), Singapore 117590
      Secondary Office: COM1#03-11

When logged into and working at a computer, Frank Stephan is best reachable
under telephone +65 65164246.

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
Mondayday and Wednesday from 14:00 to 16:00 hrs
The room is S16#03-09 in the building next to the Science canteen.

Assessment
The homeworks count 10 points, each single ones counts 2 points and the maximum points awarded is 10 (5 homeworks); the midterm examination counts 30 points and the final examination counts 60 points; in total a student can obtain up to 100 points.

The Midterm Examination is in Week 9, second half of Monday lecture. Please be there latest at 14:30 hrs. The date is 14 October 2024.

Tutorial
There will be a tutorial in the first part of the lecture on Wednesday each week from Week 2 onwards. The homeworks will all be in this file: ps-file and pdf-file. The homeworks with the number k.h should be presented in Week k, for example homework 3.4 should be presented in Week 3. The file will during the lecture be continuously maintained and updated. Everyone should do per week one homework, write it up in the Discussion Forum and present it in the tutorial. Each student should choose an own homework and not do the same homework as a classmate; reserve a homework by putting a post with the homework number into the Discussion Forum and then work on the homework by editing this post until it is good; present the homework in the tutorial on black board or with slides in the week when it is due (or, in exceptional cases, also in a later week). The maximum points obtainable is 10, so one has to write up one homework approximately every two weeks; there are about 10 homeworks per week on average (based on 24 students participating the class).
All homeworks should be the own work and using ChatGPT and other AI tools is not allowed. It is, however, allowed to write on a page of paper or produce with a text-programme a word file and to upload a scan or pdf-file of the homework.