top of page
Logique mathématique
Prérequis : BAC. Niveau : premier semestre de licence de mathématiques, licence d'informatique, CUPGE
Chapitre 1. Les connecteurs
Épisode 1. Le jeu des cartes logiques
Épisode 2. Les démonstrations
Épisode 3. La transitivité
Épisode 4. Les tables de vérité
Épisode 5. Le tiers exclus
Épisode 6. Les quantificateurs
(Polycopié du cours 2021)
Évaluation 2020 (annales)
bottom of page