Introduction à la logique
théorie de la démonstration, cours, 170 exercices corrigés
licence 3e année, master, Capes, agrégation
Collection(s) :
Sciences sup
A paraître le
02/01/2025 |
Broché 384 pages
Licence
36.00 €
À paraître chez l'éditeur
préface de Pierre-Louis Curien
Quatrième de
couverture
Présentation des bases du raisonnement mathématique, de la syntaxe associée au calcul des énoncés et notamment de la théorie de la démonstration. 170 exercices sont proposés en fin de chapitre, dont certains réalisables en ligne, ainsi qu'une présentation du logiciel PhoX, un assistant de démonstration. Des ressources complémentaires sont accessibles sur le site de l'éditeur.