Concept
Logique traditionnelle
Séances de cours associées (60)
Predicate Logic: En savoir plus sur les quantificateurs
Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.
Logique des prédicats : Quantificateurs et énoncés
Couvre les bases de la logique des prédicats, y compris les quantificateurs et les énoncés.
Logique de prédicat: Résumé de la semaine 2
Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.
Predicate Logic: En savoir plus sur les quantificateurs
Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.
Logique du prédicat : Quiz Réponses Analyse
Analyse les réponses au quiz sur la logique des prédicats, couvrant les quantificateurs, les implications et les négations.
Formes différentielles sur les collecteurs
Introduit des formes différentielles sur les collecteurs, couvrant les faisceaux tangents et les appariements d'intersection.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.
Taux de déclin & Série Dyson
Explore la section transversale, le taux de désintégration et la série Dyson en turbulence, mettant l'accent sur la division appropriée et l'invariance de Lorentz.
Tables de logique et de vérité
Couvre la logique, les tables de vérité et les propositions mathématiques, démontrant comment analyser les énoncés logiques.
Logique propositionnelle : exemples
Couvre des faits intéressants sur la logique propositionnelle et les stratégies de résolution de Sudoku.