Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
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 fondamental...
Salvato in:
| Autori principali: | , , |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Français |
| Pubblicazione: |
Malakoff :
Dunod
2025.
Paris : Cyberlibris |
| Soggetti: | |
| Accesso online: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Nota: |
Couverture. https://static2.cyberlibris.com/books_upload/300pix/9782100890422.jpg Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Introduction à la logique, Théorie de la démonstration, René David, Karim Nour, Christophe Raffalli, 3e édition, 2025, Malakoff, Dunod, 1 volume (XI-381 pages), Sciences sup, 978-2-10-084060-1 |
Sommario:
- 1. Logique du premier ordre
- 2. Complétude de la logique du premier ordre
- 3. Exemples de théories
- 4. Logique intuitionniste et modèle de Kripke
- 5. Calcul des séquents
- 6. introduction à la logique linéaire
- 7. Logiques d'ordre supérieur
- 8. Démonstration automatique
- Annexe A : le logiciel PhoX
- Corrigés des exercices