Objectifs
A l'issue de ce cour l'étudiant doit être capable de
Savoir comment utiliser les différentes types de raisonnement
Se familiariser avec les opérations sur les ensembles
Connaître les différents types de relations
Consolider ses connaissances sur les applications