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.

Goals

See learning outcomes. This course serves as a foundation for computer training.

Content

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

 

Table of contents

1 First order logic

2 Demonstration Techniques

3 Set Theory

4 Relational Theory


Exercices

Attendance at tutorial sessions (TDs – exercises) is strongly recommended. The exercises complement the lectures and give you the opportunity to practise and assess your understanding of the subject matter.

Teaching methods

Academic lectures including exercices (15h), supplemented by exercise sessions in small groups (15h)

Assessment method

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. 

This is a written exam made of exercices to solve, defintions and proofs to be made. 

Special care will be put on how  students explain their mathematical reasoning and deductions. Clarity and formalism are thus important.

The written assessment has two parts:

A first determining part: questions which relate both to definitions and statements of theorems, as well as to calculation or short reflection exercises. This part is decisive, meaning that if the student obtains (for this first part) a grade less than or equal to 3,5/10 (or 7/20, or 35% of the points of the question), it will then be the final score (maximum 6/20) of the exam.

A second (more important) part consists of exercises similar to those covered in tutorial sessions or during classes, as well as those proposed in the course. These exercises are the most important part of the exam. The student will have to demonstrate his understanding of the mathematical mechanisms used to solve the proposed exercises. Special care will be put on how  students explain their mathematical reasoning and deductions. Clarity and formalism are thus important. 

Calculators, like any other electronic device, are not permitted in the exam.

If the exam is done online (remotely), the proposed method may be updated.

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