| Titre : | Introduction à la logique : Théorie de la démonstration : cours et exercices corrigés | | Type de document : | texte imprimé | | Auteurs : | René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. | | Editeur : | Paris [France] : Dunod | | Année de publication : | 2001 | | Collection : | Sciences Sup | | Importance : | 332 p | | Présentation : | ill., couv. ill. en coul. | | Format : | 24 cm. | | ISBN/ISSN/EAN : | 978-2-10-004892-2 | | Note générale : | Sur la p. de couv. : "2e cycle" | | Langues : | Français | | Catégories : | MATH:510 Generalites,dictionnaire,seminaire,proceeding
| | Mots-clés : | Théorèmes Démonstration automatique Logique mathématique | | Résumé : | Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou, plus fondamentalement, " qu'est-ce que les mathématiques ? ", en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Ce livre s'adresse aux étudiants de licence et de maîtrise. Il ne suppose aucun prérequis en logique. Il pourra aussi intéresser les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir répondre aux questions de fond de leurs futurs élèves. Le premier chapitre est conçu pour pouvoir être lu et travaillé avec profit par les étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement. Il contient plus de 150 exercices corrigés de tous niveaux. Certains corrigés sont disponibles sur le site : http://www.lama.univ-savoie.fr/~RAFFALLI/dnr.html. |
Introduction à la logique : Théorie de la démonstration : cours et exercices corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. . - Paris (France) : Dunod, 2001 . - 332 p : ill., couv. ill. en coul. ; 24 cm.. - ( Sciences Sup) . ISBN : 978-2-10-004892-2 Sur la p. de couv. : "2e cycle" Langues : Français | Catégories : | MATH:510 Generalites,dictionnaire,seminaire,proceeding
| | Mots-clés : | Théorèmes Démonstration automatique Logique mathématique | | Résumé : | Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou, plus fondamentalement, " qu'est-ce que les mathématiques ? ", en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Ce livre s'adresse aux étudiants de licence et de maîtrise. Il ne suppose aucun prérequis en logique. Il pourra aussi intéresser les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir répondre aux questions de fond de leurs futurs élèves. Le premier chapitre est conçu pour pouvoir être lu et travaillé avec profit par les étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement. Il contient plus de 150 exercices corrigés de tous niveaux. Certains corrigés sont disponibles sur le site : http://www.lama.univ-savoie.fr/~RAFFALLI/dnr.html. |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheIntroduction à la logique / René David
les limites d'une affirmation de fourier / Pierre-Louis Curien in La recherche, 397 ([01/05/2006])
