INTRODUCTION À LA LOGIQUE 2E ÉD.

THÉORIE DE LA DÉMONSTRATION
Auteur(s) DAVID RENÉ, NOUR KARIM, RAFFALLI CHRISTOPHE, CURIEN PIERRE-LOUIS

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.
ISBN13 9782100840601
Édition précédente ISBN13 9782100806324
61,95 $ CA

Description

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.

Renseignements sur l'ouvrage

Ouvrages similaires