Study programme 20232024  Français  
Mathematical Logic Project and Model Theory II (List A)  
Programme component of Master's in Mathematics (MONS) (day schedule) à la Faculty of Science 
Code  Type  Head of UE  Department’s contact details  Teacher(s) 

USM1SCMATH006M  Optional UE  MICHAUX Christian  S838  Logique mathématique 

Language of instruction  Language of assessment  HT(*)  HTPE(*)  HTPS(*)  HR(*)  HD(*)  Credits  Weighting  Term 

 Français  30  0  90  0  0  12  12.00  Full academic year 
AA Code  Teaching Activity (AA)  HT(*)  HTPE(*)  HTPS(*)  HR(*)  HD(*)  Term  Weighting 

SMATH047  Mathematical Logic Project and Model Theory II  30  0  90  0  0  A  100.00% 
Programme component 

Objectives of Programme's Learning Outcomes
Learning Outcomes of UE
At the end of the instruction, the students will be able to work with sophisticated topics of logic, deepening the contents of the previous courses of mathematical logic.
UE Content: description and pedagogical relevance
Sophisticated and fashionable topics in mathematical logic (variable contents, depending on students'state), first approach to research in mathematical logic.
Prior Experience
A course in mathematical logic on at least one of the following topics : 1) model theory 2) recursive functions, computabilty theory and decidability
Type of Teaching Activity/Activities
AA  Type of Teaching Activity/Activities 

SMATH047 

Mode of delivery
AA  Mode of delivery 

SMATH047 

Required Learning Resources/Tools
AA  Required Learning Resources/Tools 

SMATH047  Not applicable 
Recommended Learning Resources/Tools
AA  Recommended Learning Resources/Tools 

SMATH047  Not applicable 
Other Recommended Reading
AA  Other Recommended Reading 

SMATH047  Not applicable 
Grade Deferrals of AAs from one year to the next
AA  Grade Deferrals of AAs from one year to the next 

SMATH047  Authorized 
Term 1 Assessment  type
AA  Type(s) and mode(s) of Q1 assessment 

SMATH047 

Term 1 Assessment  comments
AA  Term 1 Assessment  comments 

SMATH047  Students have to give a seminars serie 
Resit Assessment  Term 1 (B1BA1)  type
AA  Type(s) and mode(s) of Q1 resit assessment (BAB1) 

SMATH047 

Term 2 Assessment  type
AA  Type(s) and mode(s) of Q2 assessment 

SMATH047 

Term 2 Assessment  comments
AA  Term 2 Assessment  comments 

SMATH047  Idem Q1 
Term 3 Assessment  type
AA  Type(s) and mode(s) of Q3 assessment 

SMATH047 

Term 3 Assessment  comments
AA  Term 3 Assessment  comments 

SMATH047  Idem Q1 