Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
La 4e de couverture indique : "Cet ouvrage, entièrement révisé dans cette seconde é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...
Tallennettuna:
| Päätekijät: | , , |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre papier |
| Kieli: | Français |
| Julkaistu: |
Paris :
Dunod
DL 2004.
|
| Painos: | 2e édition. |
| Sarja: | Sciences sup
|
| Aiheet: | |
| Huomautus: |
Autres tirages : 2005, 2010, 2013, 2014, 2016, 2019, 2023 |
| Autres localisations: | Voir dans le Sudoc |
Sisällysluettelo:
- 1. Formules et démonstrations de la 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. Logiques d'ordre supérieur.
- 7. Démonstration automatique.
- Annexe : le logiciel PhoX.
- Corrigés des exercices.