Introduction à la logique
Théorie de la démonstration
Date prévue par l'éditeur : début Janvier
Cet ouvrage, actualisé et augmenté pour cette troisième édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil.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 plus particulièrement de la théorie [...]
[lire le résumé du livre]
Auteur : René DAVID , Karim NOUR , Christophe RAFFALLI
Editeur : Dunod
Collection : Sciences Sup
Date parution : 01/2025 (3ème édition)Reliure :
Broché
Nbr de pages :
384
Dimension :
17 x 24
ISBN 10 :
2100840606
ISBN 13 :
9782100840601
36,00 €
Paiements sécurisés
CB Google/Apple Pay, Chèque, Virement
CB Google/Apple Pay, Chèque, Virement
0.01€ à partir de 35€ en France métropolitaine
Satisfait ou remboursé sous 14 jours ouvrés
Quel est le sujet du livre "Introduction à la logique"
Cet ouvrage, actualisé et augmenté pour cette troisième édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil.
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 plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres.
Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs.
Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site dunod. com.
En suivant ce lien, retrouvez tous les livres dans la spécialité Logique mathématique.
