Logique, ensembles et démonstration

Le premier cours de mathématiques : le langage de la rigueur. Logique propositionnelle, quantificateurs, théorie des ensembles, méthodes de démonstration et raisonnement par récurrence. La boîte à outils qui rend toute démonstration possible, accessible à un lecteur de niveau lycée scientifique.

1. 01
   Propositions et connecteurs logiques

   Le langage de la rigueur : comment des énoncés vrais ou faux se combinent en raisonnements, et pourquoi « faux implique vrai » est vrai.
   24 min
2. 02
   Prédicats et quantificateurs

   Comment « pour tout » et « il existe » transforment un énoncé ouvert en vérité, et pourquoi l'ordre des quantificateurs change tout.
   26 min
3. 03
   Ensembles et opérations

   Comment l'appartenance, l'inclusion et trois opérations transforment les connecteurs du chapitre 1 en objets que l'on peut manipuler.
   28 min