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...
שמור ב:
| Auteurs principaux: | , , |
|---|---|
| מחברים אחרים: | |
| פורמט: | 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 |
| LEADER | 04324nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 1397971 | ||
| 008 | 251023s2025 xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN291414257 | ||
| 020 | |a 9782100890422 | ||
| 041 | 0 | |a fre | |
| 100 | 1 | |a David, René, |d 1948-...., |c mathématicien. | |
| 245 | 1 | 0 | |a Introduction à la logique : |b théorie de la démonstration : [cours, 190 exercices corrigés] |c René David, Karim Nour, Christophe Raffalli ; préface de la 3e édition : Olivier Laurent ; préface de la 2e édition : Pierre-Louis Curien. |
| 260 | |a Malakoff : |b Dunod. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2025. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/300pix/9782100890422.jpg | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 504 | |a Bibliographie pages [375]-376. Index | ||
| 505 | 0 | |a 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 | |
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 520 | |a 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 fondamentalement : Que sont les mathématiques ? . Les réponses proposées sont illustrées par de nombreux exemples issus des mathématiques classiques. Il aborde également la logique intuitionniste, qui fournit des preuves constructives, la logique d'ordre supérieur, qui permet de formaliser des raisonnements mathématiques plus riches en autorisant la quantification sur des ensembles, des fonctions ou des prédicats, ainsi que les techniques de base de la démonstration automatique, notions devenues essentielles en informatique.Cette nouvelle édition comporte en outre une introduction assez complète à la logique linéaire, qui permet de décomposer les connecteurs logiques et de gérer finement les règles d'utilisation des hypothèses.Pour accompagner le lecteur dans sa progression, le cours contient de nombreux exemples et plus de 190 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, développé par l'un des auteurs et utilisable en ligne. Des compléments aux corrigés (preuves entièrement formalisées avec le logiciel PhoX), ainsi que le logiciel lui-même, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants de la licence à la première année de doctorat. Il pourra également intéresser les candidats au CAPES et à l'agrégation | ||
| 521 | |a Publics : étudiants en Licence 3e année, en Master, en préparation au CAPES, en préparation à l'Agrégation | ||
| 650 | |a Raisonnement | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Logique intuitionniste | ||
| 650 | |a Problèmes et exercices | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Raffalli, Christophe, |d 19..- |4 aut | |
| 700 | 1 | |a Nour, Karim, |d 19..- |4 aut | |
| 700 | 1 | |a Curien, Pierre-Louis, |d 1953- |4 aui | |
| 776 | 0 | |0 290297982 |t Introduction à la logique |o Théorie de la démonstration |f René David, Karim Nour, Christophe Raffalli |e 3e édition |d 2025 |c Malakoff |n Dunod |p 1 volume (XI-381 pages) |s Sciences sup |z 978-2-10-084060-1 | |
| 856 | 4 | |5 452349901:873398211 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88973327 |z Accès Université d'Orléans et IFPM | |
| 856 | 4 | |5 180339901:873590864 |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88973327 |z Accès INSA CVL | |
| 997 | |0 1397971 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||