Séance de cours
Mathématiques discrètes: Logique, Structures, Algorithmes
Séances de cours associées (144)
Mathématiques discrètes: Logique & Structures
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.
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.
Concept de preuve en mathématiques
Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.
Logique principale : quantificateurs et formulaires normaux
Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Introduction & Logique de proposition
Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.
Preuves et logiques : Introduction
Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.
Logique principale : quantificateurs, FNC, DNF
Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.
Ensembles et opérations: Introduction aux mathématiques
Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.