Study programme 2023-2024 | Français | ||
Topology and Mathematical Logic | |||
Programme component of Bachelor's in Mathematics (MONS) (day schedule) à la Faculty of Science |
Code | Type | Head of UE | Department’s contact details | Teacher(s) |
---|---|---|---|---|
US-B2-SCMATH-007-M | Compulsory UE | MICHAUX Christian | S838 - Logique mathématique |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
---|---|---|---|---|---|---|---|---|---|
| Français | 30 | 30 | 0 | 0 | 8 | 6 | 6.00 | 1st term |
AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | Weighting |
---|---|---|---|---|---|---|---|---|
S-MATH-014 | Topology and Mathematical Logic (Part A) | 30 | 10 | 0 | 0 | 0 | Q1 | |
S-MATH-814 | Topology and Mathematical Logic (Part B) | 0 | 20 | 0 | 0 | 0 | Q2 | |
S-MATH-815 | Topology and Mathematical Logic (seminar) | 0 | 0 | 0 | 0 | 8 | Q1 |
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 topology and mathematical logic (naïve set theory and cardinals; Zermelo-Fraenkel set theory, choice axiom, Zorn Lemma, cardinals, ordinals... ) in subsequent courses. They will be able to follow an advanced course of topology and mathematical logic and to communicate in front of their student fellows through lectures they will give on these subjects.
UE Content: description and pedagogical relevance
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, ...); first notions of topology (open and clsed sets, neighborhood, product topology...)
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(s) and mode(s) of Q1 UE assessment
Q1 UE Assessment Comments
Written exam on simple application of the theory.
Method of calculating the overall mark for the Q1 UE assessment
None
Type(s) and mode(s) of Q1 UE resit assessment (BAB1)
Q1 UE Resit Assessment Comments (BAB1)
not applicable
Method of calculating the overall mark for the Q1 UE resit assessment
not applicable
Type(s) and mode(s) of Q2 UE assessment
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.
Method of calculating the overall mark for the Q2 UE assessment
Global mark based on oral presentation and joint written documents and of written exam of Q1 and tutorials
Type(s) and mode(s) of Q3 UE assessment
Q3 UE Assessment Comments
Not applicable
Method of calculating the overall mark for the Q3 UE assessment
Not applicable
Type of Teaching Activity/Activities
AA | Type of Teaching Activity/Activities |
---|---|
S-MATH-014 |
|
S-MATH-814 |
|
S-MATH-815 |
|
Mode of delivery
AA | Mode of delivery |
---|---|
S-MATH-014 |
|
S-MATH-814 |
|
S-MATH-815 |
|
Required Learning Resources/Tools
AA | Required Learning Resources/Tools |
---|---|
S-MATH-014 | see https://moodle.umons.ac.be/course/view.php?id=1254 |
S-MATH-814 | see https://moodle.umons.ac.be/course/view.php?id=1254 |
S-MATH-815 | Not applicable |
Recommended Learning Resources/Tools
AA | Recommended Learning Resources/Tools |
---|---|
S-MATH-014 | Not applicable |
S-MATH-814 | Not applicable |
S-MATH-815 | Not applicable |
Other Recommended Reading
AA | Other Recommended Reading |
---|---|
S-MATH-014 | see https://moodle.umons.ac.be/course/view.php?id=1254 |
S-MATH-814 | see https://moodle.umons.ac.be/course/view.php?id=1254 |
S-MATH-815 | Not applicable |