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

Fiche technique

Format : Broché
Nb de pages : 384 pages
Poids : 400 g
Dimensions : 17cm X 24cm
ISBN : 978-2-10-084060-1
EAN : 9782100840601

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
Broché 384 pages
préface de Pierre-Louis Curien
Licence

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.

Avis des lecteurs

Du même auteur : René David

Introduction à la logique : théorie de la démonstration, cours et exercices

Introduction à la logique : théorie de la démonstration : cours et exercice

Introduction à la logique : théorie de la démonstration, cours, 170 exercic

Du même auteur : Karim Nour

Introduction à la logique : théorie de la démonstration, cours et exercices

Introduction à la logique : théorie de la démonstration : cours et exercice

Introduction à la logique : théorie de la démonstration, cours, 170 exercic

Du même auteur : Christophe Raffalli

Logique pour l'informatique

Introduction à la logique : théorie de la démonstration, cours et exercices

Introduction à la logique : théorie de la démonstration : cours et exercice

Introduction à la logique : théorie de la démonstration, cours, 170 exercic