Un article a bien été ajouté à votre panier

Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation

Introduction à la logique : théorie de la démonstration, cours, 170 exercices corrigés : licence 3e année, master, Capes, agrégation

Auteur : René David

35,50 €
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. ©Electre 2024