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 : 
09052018 EVENING

Modular Credits : 
4 
Prerequisite : 
MA3110 or MA3110S or MA3205 or MA3219 
Preclusion : 
Nil 
Module Workload (ABCDE)* : 
31006 
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
 
Class  Type  Week Type  Week Day  Start  End  Room 
SL1  LECTURE  EVERY WEEK  TUESDAY  800  1000  S170512,

SL1  LECTURE  EVERY WEEK  FRIDAY  800  1000  S170512,


Class  Type  Week Type  Week Day  Start  End  Room 
Iteration 
T01  TUTORIAL  EVERY WEEK  WEDNESDAY  1000  1100  S170512,

Available in Tutorial Balloting [Iteration 2].

T02  TUTORIAL  EVERY WEEK  TUESDAY  1600  1700  S170405,

Available in Tutorial Balloting [Iteration 2].


