Concept
Transposition (logique)
Séances de cours associées (28)
Preuves : Logique, Mathématiques et Algorithmes
Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.
Preuves : Contraposition vs. Contradiction
Couvre les concepts de contradiction et de contradiction dans les preuves.
Introduction aux preuves
Présente des preuves informelles, explore les applications pratiques et explique les preuves de théorème en utilisant des méthodes directes et indirectes.
Introduction aux preuves
Introduit des preuves informelles et leurs applications pratiques en informatique et en mathématiques, en soulignant l'importance de prouver des théorèmes par des méthodes directes et indirectes.
Techniques de démonstration : exemples
Couvre les techniques de preuve, y compris la preuve directe, la contradiction, les cas et le contre-exemple.
Preuves : méthodes directes et indirectes
Couvre des exemples de preuves directes et indirectes en mathématiques.
Techniques de preuve: Direct, Contraposition, Cas
Couvre les techniques de preuve comme le direct, la contreposition et les cas avec des exemples.
Règles d'inférence dans la logique propositionnelle
Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.
Logique propositionnelle : règles d'inférence et arguments valides
Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.
Bases de la programmation linéaire
Couvre les bases de la programmation linéaire, définissant les coins, les points extrêmes et les solutions réalisables dans les polyèdres.