Acquis d'apprentissage

A l'issue de l'enseignement, l'étudiant devra être capable

  • de manipuler le langage mathématique de manière formelle, afin de réaliser des modélisations, des déductions ou encore des démonstrations.
  • de maîtriser les propriétés énoncées au cours théorique, pour manipuler des expressions propres à la logique du premier ordre, à la théorie des ensembles et des relations.
     

Contenu

Ce cours contient les concepts propres

  •     à la logique du premier ordre,
  •     à la théorie des ensembles et des relations.

Méthodes d'enseignement

Cours théorique (15h), accompagné de séances d'exercices en petits groupes (15h)
 

Méthode d'évaluation

Examen écrit de 3h composés d'exercices.Le formalisme et le raisonnement  suivi par l'étudiant pour obtenir sa solution sont des points importants dans l'évaluation.

L'examen a lieu en janvier. Si vous deviez présenter à nouveau cet examen, la seconde session aurait lieu en août de la même année académique. Il n'est donc pas possible de présenter à nouveau cet examen en juin. 

 

Langue d'enseignement

Français