Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Introduction à la logique - 3e éd.
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Introduction à la logique - 3e éd.

Introduction à la logique - 3e éd.

Théorie de la démonstration

René David, Karim Nour, Christophe Raffalli - Collection Sciences sup

400 pages, parution le 10/09/2025

Résumé

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.

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

Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Dunod
Auteur(s) René David, Karim Nour, Christophe Raffalli
Collection Sciences sup
Parution 10/09/2025
Nb. de pages 400
Format 17 x 24
Couverture Broché
EAN13 9782100840601

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav.client@eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription