MAT-5112-1 – Logique

18,00 $

EXTRAIT

  • Combo (9-1434)
  • Guide d’apprentissage, 282 p. (8-1434-01)
  • Devoirs (3) (0-1434-50)

* Escompte de 15 % pour les institutions.
   Utilisez votre code d'organisme à 6 chiffres
   comme bon de réduction.

L’objectif de ce cours est l’étude du raisonnement en langage mathématique. Dans ce cours, l’apprenant apprendra à utiliser les quantificateurs logiques et à dresser des tables de vérité. Il sera aussi appelé à se pencher sur les notions d’implication logique et d’équivalence logique. Il aura à étudier les notions de quantificateur existentiel et de quantificateur universel. Enfin, il devra établir la négation d’une forme propositionnelle composée et calculer la valeur d’une forme propositionnelle composée.

Durée : 25 heures (1 unité)
Contenu

• Proposition et opérateurs logiques;

• Valeur de vérité d’une proposition composée;

• Tautologie, contradiction et implication logique;

• Équivalence logique;

• Négation d’une proposition composée;

• Propositions, formes propositionnelles et ensemble-solution d’une forme propositionnelle;

• Valeur de vérité d’une forme propositionnelle quantifiée.

Évaluation

Un examen ministériel dans un centre d’éducation des adultes.

Seuil de réussite de l’évaluation pour fin de sanction : 60 %

30 autres produits dans la même catégorie :