Introduction à la logique : théorie de la démonstration
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 fondamentalem...
Salvato in:
| Autori principali: | , , |
|---|---|
| Altri autori: | , |
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Malakoff :
Dunod
DL 2025.
|
| Edizione: | 3e édition. |
| Serie: | Sciences sup
|
| Soggetti: | |
| Nota: |
La couverture porte en plus : "Cours, 190 exercices corrigés" |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Introduction à la logique, théorie de la démonstration, [cours, 190 exercices corrigés], René David, Karim Nour, Christophe Raffalli, 2025, Malakoff, Dunod, 978-21-0089-042-2 |
Sommario:
- P. 9
- 1. Logique du premier ordre
- P. 65
- 2. Complétude de la logique du premier ordre
- P. 99
- 3. Exemples de théories
- P. 139
- 4. Logique intuitionniste et modèle de Kripke
- P. 179
- 5. Calcul des séquents
- P. 217
- 6. introduction à la logique linéaire
- P. 243
- 7. Logiques d'ordre supérieur
- P. 265
- 8. Démonstration automatique
- P. 291
- Annexe A : le logiciel PhoX
- P. 297
- Corrigés des exercices