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...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Livre papier |
| اللغة: | Français |
| منشور في: |
Paris :
Dunod
DL 2004.
|
| الطبعة: | 2e édition. |
| سلاسل: | Sciences sup
|
| الموضوعات: | |
| ملاحظة: |
Autres tirages : 2005, 2010, 2013, 2014, 2016, 2019, 2023 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02842nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 203224 | ||
| 008 | 040227t20042004xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN076615596 | ||
| 020 | |a 9782100067961 (br.) | ||
| 020 | |a 2100067966 (br.) : |c 34 EUR | ||
| 020 | |a 9782100806324 (br.) | ||
| 024 | |a 9782100067961 | ||
| 024 | |a 9782100806324 | ||
| 041 | 0 | |a fre | |
| 082 | |a 511.3 | ||
| 084 | |a 03Bxx. 2000 | ||
| 084 | |a F.4 | ||
| 100 | 1 | |a David, René, |d 1948-2022, |c mathématicien. | |
| 245 | 1 | 0 | |a Introduction à la logique : |b théorie de la démonstration : [cours, 170 exercices corrigés] |c René David,... Karim Nour,... Christophe Raffalli,... ; préfacé par Pierre-Louis Curien,... |
| 250 | |a 2e édition. | ||
| 260 | |a Paris : |b Dunod, |c DL 2004. | ||
| 300 | |a 1 volume (XIII-352 pages) : |b illustrations, couverture illustrée en couleurs ; |c 24 cm. | ||
| 490 | 1 | |a Sciences sup | |
| 500 | |a Autres tirages : 2005, 2010, 2013, 2014, 2016, 2019, 2023 | ||
| 504 | |a Bibliographie p. [347]-348. Index | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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és. La deuxième partie du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres . Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs." | ||
| 521 | |a Licence 3e année, Master, CAPES, Agrégation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Logique intuitionniste | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Raisonnement | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 650 | |a Problèmes et exercices | ||
| 700 | 1 | |a Nour, Karim, |d 19..- |4 aut | |
| 700 | 1 | |a Raffalli, Christophe, |d 19..- |4 aut | |
| 700 | 1 | |a Curien, Pierre-Louis, |d 1953- |4 aui | |
| 997 | |0 203224 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 0/Orléans/ |c 1/Bourges/BU/ |c 1/Bourges/INSA CVL/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Bourges, BU, 511.3 DAV |z Orléans, BU Sciences, Technologies, STAPS, B7872 |z Bourges, INSA CVL, 511.3 DAV | ||