Introduction à la logique - 2e éd.
Théorie de la démonstration
René David, Karim Nour, Christophe Raffalli - Collection Sciences sup
Résumé
Cet ouvrage, entièrement révisé dans cette seconde é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 Web des auteurs.
L'auteur - René David
René David est spécialiste de la théorie de la démonstration, il est enseignant chercheur et membres du laboratoire de mathématiques de l'université Savoie Mont Blanc.
Autres livres de René David
L'auteur - Karim Nour
Karim Nour est spécialiste de la théorie de la démonstration, il est enseignant chercheur et membres du laboratoire de mathématiques de l'université Savoie Mont Blanc.
Autres livres de Karim Nour
Sommaire
Formules et démonstrations de la Logique du premier ordre. Complétude de la logique du premier ordre. Exemples de théories. Logique intuitionniste et modèle de Kripke. Calcul des sécants. Logiques d'ordre supérieur. Démonstration automatique. Le logiciel PhoX. Solutions des exercices. Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Dunod |
| Auteur(s) | René David, Karim Nour, Christophe Raffalli |
| Collection | Sciences sup |
| Parution | 28/08/2019 |
| Édition | 2eme édition |
| Nb. de pages | 368 |
| Format | 17 x 24 |
| Couverture | Broché |
| Poids | 646g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782100806324 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
