Study programme 20202021  Français  
Mathematical Logic Project II (List A)  
Programme component of Master's in Mathematics à la Faculty of Science 
Students are asked to consult the ECTS course descriptions for each learning activity (AA) to know what special Covid19 assessment methods are possibly planned for the end of Q3 

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 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.
Content of UE
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 Assessment for UE in Q1
Q1 UE Assessment Comments
Work load consists in a written report for the end of second term. The incoming and outcoming students are allowed to follow only the course during one term; in this case, the written report has to be finalized at the end of the quadrimester. The written report will be the basis for an oral presentation and a discussion.
Type of Assessment for UE in Q2
Q2 UE Assessment Comments
Work load consists in a written report for the end of second term. The incoming and outcoming students are allowed to follow only the course during one term; in this case, the written report has to be finalized at the end of the quadrimester. The written report will be the basis for an oral presentation and a discussion.
Type of Assessment for UE in Q3
Q3 UE Assessment Comments
Same as for Q2
Type of Resit Assessment for UE in Q1 (BAB1)
Q1 UE Resit Assessment Comments (BAB1)
Not applicable
Type of Teaching Activity/Activities
AA  Type of Teaching Activity/Activities 

SMATH047 

Mode of delivery
AA  Mode of delivery 

SMATH047 

Required Reading
AA  

SMATH047 
Required Learning Resources/Tools
AA  Required Learning Resources/Tools 

SMATH047  Not applicable 
Recommended Reading
AA  

SMATH047 
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 