Learning outcomes

At the end of the cursus, students should

  •     Use mathematical language in a correct manner, in order to propose models or to construct proofs,
  •     Be able to develop analytic ability in first order logic, set and relation theory.

Content

This course builds on key concepts to first order logic, set and relation theory.
 

Teaching methods

Academic lectures (15h), accompanied by exercise sessions in small groups (15h)
 

Assessment method

Written exam of 3H made of exercices to solve. Special care will be put on how  students explain their mathematical reasoning and deductions. Clarity and formalism are thus important.

The exam takes place in January. Would you need to pass the exam again, this would take place on August. It is not possible to pass the exam in June. 

 

 

Language of instruction

French