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...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Livre numérique |
| اللغة: | Français |
| منشور في: |
Malakoff :
Dunod
2025.
Paris : Cyberlibris |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| ملاحظة: |
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 |