Titre : |
Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés |
Type de document : |
texte imprimé |
Auteurs : |
René David (1948....), Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur ; Pierre-Louis Curien, Préfacier, etc. ; Lionel Auvergne, Illustrateur |
Mention d'édition : |
2e éd. |
Editeur : |
Paris : Dunod |
Année de publication : |
2013 |
Collection : |
Sciences Sup |
Importance : |
352p. |
Présentation : |
ill., couv. ill. en coul. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-2-10-006796-1 |
Prix : |
30 EUR |
Note générale : |
La couv. porte en plus : "licence 3e année, master, CAPES, agrégation"
Bibliogr. p. 347-348. Index |
Langues : |
Français (fre) Langues originales : Français (fre) |
Mots-clés : |
Théorèmes Démonstration automatique Manuels d'enseignement supérieur Logique symbolique et mathématique |
Index. décimale : |
510 Mathématiques |
Résumé : |
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 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. |
Indexation Locale : |
510 - Mathématiques |
Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés [texte imprimé] / René David (1948....), Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur ; Pierre-Louis Curien, Préfacier, etc. ; Lionel Auvergne, Illustrateur . - 2e éd. . - Paris : Dunod, 2013 . - 352p. : ill., couv. ill. en coul. ; 24 cm. - ( Sciences Sup) . ISBN : 978-2-10-006796-1 : 30 EUR La couv. porte en plus : "licence 3e année, master, CAPES, agrégation"
Bibliogr. p. 347-348. Index Langues : Français ( fre) Langues originales : Français ( fre)
Mots-clés : |
Théorèmes Démonstration automatique Manuels d'enseignement supérieur Logique symbolique et mathématique |
Index. décimale : |
510 Mathématiques |
Résumé : |
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 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. |
Indexation Locale : |
510 - Mathématiques |
| |