Study programme 2021-2022Français
Mathematical Logic Project II (List A)
Programme component of Master's in Mathematics à la Faculty of Science

CodeTypeHead of UE Department’s
contact details
Teacher(s)
US-M1-SCMATH-006-MOptional UEMICHAUX ChristianS838 - Logique mathématique
  • MICHAUX Christian

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

AA CodeTeaching Activity (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term Weighting
S-MATH-047Mathematical Logic Project II3009000A100.00%
Programme component

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

  • Presentation and/or works

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

  • Presentation and/or works

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

  • Presentation and/or works

Q3 UE Assessment Comments

Same as for Q2

Type of Resit Assessment for UE in Q1 (BAB1)

  • N/A

Q1 UE Resit Assessment Comments (BAB1)

Not applicable

Type of Teaching Activity/Activities

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

Mode of delivery

AAMode of delivery
S-MATH-047
  • Face to face

Required Reading

AA
S-MATH-047

Required Learning Resources/Tools

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

Recommended Reading

AA
S-MATH-047

Recommended Learning Resources/Tools

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

Other Recommended Reading

AAOther Recommended Reading
S-MATH-047Not applicable

Grade Deferrals of AAs from one year to the next

AAGrade Deferrals of AAs from one year to the next
S-MATH-047Authorized
(*) 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 génération : 01/10/2021
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be