Study programme 2023-2024Français
Topology and Mathematical Logic
Programme component of Bachelor's in Mathematics (MONS) (day schedule) à la Faculty of Science

CodeTypeHead of UE Department’s
contact details
Teacher(s)
US-B2-SCMATH-007-MCompulsory UEMICHAUX ChristianS838 - Logique mathématique
  • MICHAUX Christian

Language
of instruction
Language
of assessment
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CreditsWeighting Term
  • Français
Français303000866.001st term

AA CodeTeaching Activity (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term Weighting
S-MATH-014Topology and Mathematical Logic (Part A)3010000Q1
S-MATH-814Topology and Mathematical Logic (Part B)020000Q2
S-MATH-815Topology and Mathematical Logic (seminar)00008Q1

Overall mark : the assessments of each AA result in an overall mark for the UE.
Programme component

Objectives of Programme's Learning Outcomes

  • Understand "elementary" mathematics profoundly
    • Use vector spaces, linear applications and the techniques associated with them
    • Understand and use the naive set theory
    • Understand basic algebraic structures
    • Manipulate previously acquired knowledge that appears in a question
    • Give examples and counterexamples for definitions, properties, theorems, etc.
  • Understand and produce strict mathematical reasoning
    • Write clearly and concisely
    • Use mathematical vocabulary and formalism appropriately
    • Make sense of formal expressions
    • Rely on a picture to illustrate a concept, rationale, etc.
  • Collaborate on mathematical subjects
    • Present mathematical results orally and in a structured manner
    • Develop an effective slideshow to support an oral presentation
    • Demonstrate independence and their ability to work in teams.
  • Solve new problems
    • Abstract and manipulate theories and use these to solve problems
    • Adapt an argument to a similar situation
    • Use knowledge from different fields to address issues

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

  • Written examination - Face-to-face

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)

  • Written examination - Face-to-face

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

  • Oral presentation - Face-to-face

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

  • Written examination - Face-to-face

Q3 UE Assessment Comments

Not applicable

Method of calculating the overall mark for the Q3 UE assessment

Not applicable

Type of Teaching Activity/Activities

AAType of Teaching Activity/Activities
S-MATH-014
  • Cours magistraux
  • Exercices dirigés
  • Séminaires
S-MATH-814
  • Exercices dirigés
  • Séminaires
S-MATH-815
  • Excursions, visites

Mode of delivery

AAMode of delivery
S-MATH-014
  • Face-to-face
S-MATH-814
  • Face-to-face
S-MATH-815
  • Face-to-face

Required Learning Resources/Tools

AARequired Learning Resources/Tools
S-MATH-014see https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-814see https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-815Not applicable

Recommended Learning Resources/Tools

AARecommended Learning Resources/Tools
S-MATH-014Not applicable
S-MATH-814Not applicable
S-MATH-815Not applicable

Other Recommended Reading

AAOther Recommended Reading
S-MATH-014see https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-814see https://moodle.umons.ac.be/course/view.php?id=1254
S-MATH-815Not applicable
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term
Date de dernière mise à jour de la fiche ECTS par l'enseignant : 16/05/2023
Date de dernière génération automatique de la page : 18/05/2024
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be