LOGIQUE MATHEMATIQUE

A propos

Version : 3.0

Objectifs

Développer chez l'étudiant la capacité de formaliser, analyser et démontrer des raisonnements mathématiques rigoureux à l'aide des outils de la logique propositionnelle et des prédicats.

Objectifs spécifiques (Taxonomie de Bloom)

À la fin du module, l'étudiant sera capable de :

• Comprendre les notions de proposition logique et connecteurs

• Identifier la valeur de vérité d'une formule

• Appliquer les règles de calcul propositionnel

• Traduire un énoncé en langage logique formel

• Construire des tables de vérité

• Analyser la validité d'un raisonnement

• Résoudre des problèmes via les tableaux sémantiques

• Formaliser des expressions en logique des prédicats

Pré-requis généraux

Compétences mathématiques de base

L'étudiant doit être capable de :

Lire et comprendre une expression mathématique simple

Manipuler des ensembles de base (∈, ∪, ∩) (utile mais pas obligatoire)

Comprendre les notions de vrai / faux