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
Disponible en magasin

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, révisé pour cette troisième édition, est un cours introductif à la logique mathématique, et en particulier à la théorie de la démonstration. Il s’intéresse, du point de vue du mathématicien, aux questions : « Qu’est-ce qu’un énoncé ? une démonstration ? » ou, plus fondamentalement : « Que sont les mathématiques ? ». Les réponses proposées sont illustrées par de nombreux exemples issus des mathématiques classiques. Il aborde également la logique intuitionniste, qui fournit des preuves constructives, la logique d’ordre supérieur, qui permet de formaliser des raisonnements mathématiques plus riches en autorisant la quantification sur des ensembles, des fonctions ou des prédicats, ainsi que les techniques de base de la démonstration automatique, notions devenues essentielles en informatique.
Cette nouvelle édition comporte en outre une introduction assez complète à la logique linéaire, qui permet de décomposer les connecteurs logiques et de gérer finement les règles d’utilisation des hypothèses.
Pour accompagner le lecteur dans sa progression, le cours contient de nombreux exemples et plus de 190 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, développé par l’un des auteurs et utilisable en ligne. Des compléments aux corrigés (preuves entièrement formalisées avec le logiciel PhoX), ainsi que le logiciel lui-même, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s’adresse plus particulièrement aux étudiants de la licence à la première année de doctorat. Il pourra également intéresser les candidats au CAPES et à l’agrégation.

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

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équents. Introduction à la logique linéaire. Logiques d'ordre supérieur. Démonstration automatique. Le logiciel PhoX. Corrigés  des exercices. Index

Voir tout
Replier

Caractéristiques techniques

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

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