Objectifs du cours : ce cours destiné aux étudiants du niveau 1 doit permettre à l’étudiant d’être capable de :
- Etablir la table de vérité d’une proposition,
- Formaliser des problèmes de la vie courante à l’aide des propositions ou dans le langage des prédicats,
- Comprendre et utiliser les propriétés des relations (réflexivité, symétrie, antisymétrie et transitivité) pour résoudre des problèmes,
- Prouver qu’un programme ou un algorithme est correct,
Contenu du cours :
- Logique des propositions,
- Logique des prédicats de premier ordre,
- Théorie des ensembles,
- relations et ensembles ordonnés,
- Induction mathématique et récursivité, Méthodes de preuve, et preuve de programme,