Centralised Online Undergraduates Registration System (CORS)


Module Detailed Information for [MA5220]
Academic Year : 2017/2018 Semester : 2
Correct as at 30 Mar 2018 04:27

Back to Module Information Listing
Module Information
Module Code :
Module Title : Logic and Foundation of Mathematics II
Module Description : This module is designed for graduate students in mathematics, and students in computer science and philosophy who have sufficient mathematical background. The course will be devoted to prove the consistency and independence of Continuum Hypothesis (CH) as well as Axiom of Choice. The topics include Gdels constructible universe and Cohens forcing method. This course will provide the students not only some basics in modern Set Theory, but also deeper understanding of fundamental phenomena in logic, such as constructibility and independence.
Module Examinable : -
Exam Date : 30-04-2018 EVENING
Modular Credits : 4
Pre-requisite : MA3205 and MA4207, or departmental approval
Preclusion : Nil
Module Workload (A-B-C-D-E)* : 3-0-0-0-7
Remarks : Nil
* A: no. of lecture hours per week
B: no. of tutorial hours per week
C: no. of laboratory hours per week
D: no. of hours for projects, assignments, fieldwork etc per week
E: no. of hours for preparatory work by a student per week

Lecture Time Table
Class TypeWeek TypeWeek DayStartEndRoom

Tutorial Time Table
Attention: The tutorial timetables could be updated from time to time. Students are advised to check regularly for the latest update on the change of tutorial timing.
No Tutorial Class or to be announced. Please check with the department offering this module.

  NUS Help NUS Home Search Site Map Contact NUS Legal