Définir les identités: Analogues et preuves

Séances de cours associées (26)

Page 2 sur 3

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Couvre la vérification des symboles logiques, des ensembles et des propriétés.

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Couvre les bases de l'analyse, y compris les nombres réels, les preuves, les ensembles et les opérations.

Couvre les propositions indexées par vecteurs, les preuves par induction et les produits cartésiens des ensembles.

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.