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 and boolean calculus,
  • Master algorithms used to express coding,
  • Be able to manipulate numerically different representations of numbers.

 

Content

This course builds on key concepts

  • Introduction to first order logic, set and relation theory
  • Boolean calculus  
  • Coding, and in particular linear coding
  • Representation of numbers

 

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. 

 

Sources, references and any support material

Many books in this area exist. To cite but only one, there is - R.P. Grimaldi. Discrete and combinatorial mathematics. An applied introduction. Fifth Edition. Pearson Eduction, 2004.

Language of instruction

French
Training Study programme Block Credits Mandatory
Bachelier en sciences informatiques Standard 0 5
Bachelier en ingénieur de gestion Standard 0 3
Bachelier en sciences informatiques Standard 1 5
Bachelier en ingénieur de gestion Standard 1 3