Centralised Online Undergraduates Registration System (CORS)


Module Detailed Information for [MA4207]
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 : Mathematical Logic
Module Description : This is an introductory mathematical course in logic. It gives a mathematical treatment of basic ideas and results of logic, such as the definition of truth, the definition of proof and Godel's completeness theorem. The objectives are to present the important concepts and theorems of logic and to explain their significance and their relationship to other mathematical work. Major topics: Sentential logic. Structures and assignments. Elementary equivalence. Homomorphisms of structures. Definability. Substitutions. Logical axioms. Deducibility. Deduction and generalization theorems. Soundness, completeness and compactness theorems. Prenex formulas.
Module Examinable : -
Exam Date : 09-05-2018 EVENING
Modular Credits : 4
Pre-requisite : MA3110 or MA3110S or MA3205 or MA3219
Preclusion : Nil
Module Workload (A-B-C-D-E)* : 3-1-0-0-6
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.
Class TypeWeek TypeWeek DayStartEndRoom Iteration
Available in Tutorial Balloting [Iteration 2].
Available in Tutorial Balloting [Iteration 2].

  NUS Help NUS Home Search Site Map Contact NUS Legal