Study programme 20202021  Français  
Introductory Seminar on Mathematical Logic  
Programme component of Bachelor'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) 

USB2SCMATH007M  Compulsory UE  MICHAUX Christian  S838  Logique mathématique 

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

 Français  0  60  0  0  0  4  4.00  Année 
AA Code  Teaching Activity (AA)  HT(*)  HTPE(*)  HTPS(*)  HR(*)  HD(*)  Term  Weighting 

SMATH014  Seminar: introduction to Mathematical Logic (Part I)  0  30  0  0  0  Q1  
SMATH814  Seminar: introduction to Mathematical Logic (Part II)  0  30  0  0  0  Q2 
Programme component 

Objectives of Programme's Learning Outcomes
Learning Outcomes of UE
At the end of the instruction, the students will be able to use elementary notions of mathematical logic : naïve set theory and cardinals; ZermeloFraenkel set theory, choice axiom, Zorn Lemma, cardinals, ordinals... in subsequent courses. They will be able to follow an advanced course of mathematical logic and to communicate in front of their student fellows through lectures they will give on these subjects.
Content of UE
First notions of mathematical logic : connectives, quantifications, formulas, languages, models, cardinality, ...
Exposition of the role of mathematical logic in mathematics through examples ; first approach to some famous problems (continuum hypothesis, ...).
Introduction to the course of mathematical logic of 3rd year of bachelor degree.
To learn to communicate : the examination consists in a 1h course to be given in front
of the class (one or three students prepared and work together on a given thema).
Prior Experience
Basic notions of naïve set theory (functions, relations, equivalence relations); basic notions of group theory and linear algebra.
Type of Assessment for UE in Q1
Q1 UE Assessment Comments
It consists in seminars given in front of their student fellows on the basis on a fixed list of topics (see https://moodle.umons.ac.be/course/view.php?id=1254). Seminars by the students take place during Term 2.
Type of Assessment for UE in Q2
Q2 UE Assessment Comments
It consists in seminars given in front of their student fellows on the basis on a fixed list of topics (see https://moodle.umons.ac.be/course/view.php?id=1254). Seminars by the students take place during Term 2.
Type of Assessment for UE in Q3
Q3 UE Assessment Comments
It consists in seminars given in front of their student fellows on the basis on a fixed list of topics (see https://moodle.umons.ac.be/course/view.php?id=1254). Seminars by the students take place during Term 2. In case of failure, student is allowed to give a seminar during Term 3.
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 

SMATH014 

SMATH814 

Mode of delivery
AA  Mode of delivery 

SMATH014 

SMATH814 

Required Reading
AA  

SMATH014  
SMATH814 
Required Learning Resources/Tools
AA  Required Learning Resources/Tools 

SMATH014  see https://moodle.umons.ac.be/course/view.php?id=1254 
SMATH814  see https://moodle.umons.ac.be/course/view.php?id=1254 
Recommended Reading
AA  

SMATH014  
SMATH814 
Recommended Learning Resources/Tools
AA  Recommended Learning Resources/Tools 

SMATH014  Not applicable 
SMATH814  Not applicable 
Other Recommended Reading
AA  Other Recommended Reading 

SMATH014  see https://moodle.umons.ac.be/course/view.php?id=1254 
SMATH814  see https://moodle.umons.ac.be/course/view.php?id=1254 