Séances de cours associées à Définir les identités: Analogues et preuves

Mathématiques discrètes: Logique, Structures, Algorithmes

Couvre les bases des mathématiques discrètes, se concentrant sur la logique, les structures et les algorithmes pour les systèmes informatiques.

Équivalences logiques : Partie 1

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

Propositions et preuves

Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.

Mathématiques discrètes: Logique, Structures, Algorithmes

Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.

Prédice Logique : Théorie des ensembles

Couvre la théorie de la logique et des ensembles, expliquant comment manipuler les expressions logiques.

Algèbre linéaire: ensembles et sous-ensembles

Couvre les concepts fondamentaux des ensembles et des sous-ensembles en algèbre linéaire, y compris les opérations et les propriétés.