Recherche
Plus d'un million de livres référencés
Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Auteur(s) : Karim Nour, René David, Christophe Raffalli

Editeur : Dunod

Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. Une annexe présente un assistant de démonstration, le logiciel PhoX.

34,50 €
Vendeur : Amazon
Parution :
352 pages
ISBN : 978-2-1000-6796-1
Donnez votre avis