# Introduction à la logique : théorie de la démonstration

<https://book-masters.com/books/introduction-a-la-logique-theorie-de-la-demonstration>

[Accueil](https://book-masters.com/) › [Rayons](https://book-masters.com/shelves) › [Essai et histoire](https://book-masters.com/shelves/essays-history) › [Introduction à la logique : théorie de la démonstration](https://book-masters.com/books/introduction-a-la-logique-theorie-de-la-demonstration)

Introduction à la logique : théorie de la démonstration, René David. Carte Poche du jeu BookMasters. Cet ouvrage, révisé pour cette troisième édition, est un…

| Champ | Valeur |
| --- | --- |
| Auteur | [René David](https://book-masters.com/authors/rene-david) |
| Éditeur | Dunod |
| Collection | SCIENCES SUP |
| Parution | 2025 |
| Pages | 381 |
| Rayon | [Essai et histoire](https://book-masters.com/shelves/essays-history) |
| ISBN | 9782100840601 |
| Prix public | 38,00 € |
| Reliure | [Poche](https://book-masters.com/ranks/paperback) |
| Couverture | [Introduction à la logique : théorie de la démonstration](https://book-masters.com/covers/120586) |
| Voir à la librairie | [Introduction à la logique : théorie de la démonstration](https://lescontesinfuses.corsica/livres/introduction-a-la-logique-theorie-de-la-demonstration) |

## Fiche du livre

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.

Reliure de 55 % du catalogue : les livres dont le score de notoriété va de 0 à 550 000 (sur 1 000 000). Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Au même rayon : Essai et histoire

- [Menace sur l'État de droit · Patrice Spinosi · Poche](https://book-masters.com/books/menace-sur-l-etat-de-droit)
- [Tout comprendre à la géopolitique · Anne Battistoni-Lemière · Poche](https://book-masters.com/books/tout-comprendre-a-la-geopolitique)
- [Inventer le cinéma : épistémologie, histoire et machines de vision · Benoît Turquety · Poche](https://book-masters.com/books/inventer-le-cinema-epistemologie-histoire-et-machines-de-vision)
- [Moi, christiane p. · Ledoux Sabine · 2026 · Poche](https://book-masters.com/books/moi-christiane-p)
- [Première mondialisation, Renaissance, humanisme et réformes (XVe-XVIIe siècles) · ouvrage rédigé par Laurent Brassart · 2026 · Poche](https://book-masters.com/books/premiere-mondialisation-renaissance-humanisme-et-reformes-xve-xviie-siecles)
- [Solidarités et révoltes au Moyen Age · dirigé par Christiane Raynaud · 2026 · Poche](https://book-masters.com/books/solidarites-et-revoltes-au-moyen-age)

---
Données : Les Contes Infusés