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 :
MA4207 IVLE
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
SL1 LECTUREEVERY WEEKTUESDAY8001000S17-0512,
SL1 LECTUREEVERY WEEKFRIDAY8001000S17-0512,

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
T01 TUTORIALEVERY WEEKWEDNESDAY10001100S17-0512,
Available in Tutorial Balloting [Iteration 2].
T02 TUTORIALEVERY WEEKTUESDAY16001700S17-0405,
Available in Tutorial Balloting [Iteration 2].





  NUS Help NUS Home Search Site Map Contact NUS Legal