Eléments de logique pour l’informatique
2020–21
http://www.lri.fr/~paulin/Logique
Eléments de logique pour l’informatique
Christine Paulin
http://www.lri.fr/~paulin/Logique
Table des matières
Introduction
Maîtriser le langage logique
Donner du sens aux formules
Manipuler les formules de la logique
Automatiser les démonstrations
Conclusion
Index
Correction des exercices
Ce document a été traduit de L
A
T
E
X par
H
E
V
E
A