Study programme 2025-2026Français
Seminars: Logic Math and Model Theory
Programme component of Master's in Mathematics : Research Focus (MONS) (day schedule) à la Faculty of Science

CodeTypeHead of UE Department’s
contact details
Teacher(s)
US-M2-MATHFA-008-MOptional UEMICHAUX ChristianS838 - Logique mathématique
  • MICHAUX Christian

Language
of instruction
Language
of assessment
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CreditsWeighting Term
  • Français
Français242472001212.00Full academic year

AA CodeTeaching Activity (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term Weighting
S-MATH-038Seminars: Logic Math and Model Theory24247200A100.00%

Programme component

Objectives of Programme's Learning Outcomes

  • Skill 6: Have acquired professional skills in relation to the objective defining the degree.
    • Have gained expertise and specialised knowledge in a field of mathematics in order to enter fully into the world of research.
    • Demonstrate intuition and creativity to tackle new mathematical problems.
    • Expose high-level mathematical results to a specialised audience.
  • Have integrated and elaborate mathematical knowledge.
    • Mobilise the Bachelor's course in mathematics to address complex issues and have profound mathematical expertise to complement the knowledge developed in the Bachelor's course.
    • Use prior knowledge to independently learn high-level mathematics.
    • Research mathematical literature in an efficient and relevant way.
    • Read research articles in at least one discipline of mathematics.
  • Carry out major projects.
    • Independently carry out a major project related to mathematics or mathematical applications. This entails taking into account the complexity of the project, its objectives and the resources available to carry it out.
    • Give constructive criticism on the quality and progress of a project.
    • Work in teams and, in particular, communicate effectively and with respect for others.
    • Appropriately use bibliographic resources for the intended purpose.
    • Present the objectives and results of a project orally and in writing.
  • Carry out major projects.
    • Independently carry out a major project related to mathematics or mathematical applications. This entails taking into account the complexity of the project, its objectives and the resources available to carry it out.
    • Give constructive criticism on the quality and progress of a project.
    • Work in teams and, in particular, communicate effectively and with respect for others.
    • Appropriately use bibliographic resources for the intended purpose.
    • Present the objectives and results of a project orally and in writing.
  • Communicate clearly.
    • Communicate the results of mathematical or related fields, both orally and in writing, by adapting to the public.
    • make a structured and reasoned presentation of the content and principles underlying a piece of work, mobilised skills and the conclusions it leads to.
    • Have sufficient knowledge of English for basic scientific communication.
  • Adapt to different contexts.
    • Have developed a high degree of independence to acquire additional knowledge and new skills to evolve in different contexts.
    • Demonstrate thoroughness, independence, creativity, intellectual honesty, and ethical values.

Learning Outcomes of UE

Being able to read a research article in mathematical logic, particularly in one of its subfields, such as model theory.

UE Content: description and pedagogical relevance

Depending on the students, we will choose the appropriate article. Each of the participant will present a part of that article and will give a written account of his/her work. Moreover he/she will write a summary (in english) of the work performed by the whole working group.

Prior Experience

Mathematical logic and model theory course

Type of Teaching Activity/Activities

AAType of Teaching Activity/Activities
S-MATH-038
  • Cours magistraux
  • Conférences
  • Préparations, travaux, recherches d'information

Mode of delivery

AAMode of delivery
S-MATH-038
  • Hybrid

Required Learning Resources/Tools

AARequired Learning Resources/Tools
S-MATH-038Not applicable

Recommended Learning Resources/Tools

AARecommended Learning Resources/Tools
S-MATH-038Not applicable

Other Recommended Reading

AAOther Recommended Reading
S-MATH-038Not applicable

Grade Deferrals of AAs from one year to the next

AAGrade Deferrals of AAs from one year to the next
S-MATH-038Authorized

Term 1 Assessment - type

AAType(s) and mode(s) of Q1 assessment
S-MATH-038
  • Oral presentation - Face-to-face

Term 1 Assessment - comments

AATerm 1 Assessment - comments
S-MATH-038Not applicable

Resit Assessment - Term 1 (BAB1) - type

AAType(s) and mode(s) of Q1 resit assessment (BAB1)
S-MATH-038
  • N/A - Néant

Resit Assessment - Term 1 (BAB1) - Comments

AAResit Assessment - Term 1 (BAB1) - Comments
S-MATH-038Not applicable

Term 2 Assessment - type

AAType(s) and mode(s) of Q2 assessment
S-MATH-038
  • Oral presentation - Face-to-face

Term 2 Assessment - comments

AATerm 2 Assessment - comments
S-MATH-038Not applicable

Term 3 Assessment - type

AAType(s) and mode(s) of Q3 assessment
S-MATH-038
  • Oral presentation - Face-to-face

Term 3 Assessment - comments

AATerm 3 Assessment - comments
S-MATH-038Not 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 : 26/05/2025
Date de dernière génération automatique de la page : 14/03/2026
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be