BIBLIOTHEQUE CENTRALE
Détail de l'auteur
Auteur Pierre-Louis Curien |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Introduction a la logique : Théorie de La Démonstation Cours Et Exercices Corrigés / David, René
Titre : Introduction a la logique : Théorie de La Démonstation Cours Et Exercices Corrigés Type de document : texte imprimé Auteurs : David, René, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. Mention d'édition : 2éd Editeur : Dunod Année de publication : 2003 Importance : 352p Format : 24X17cm ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Français (fre) Mots-clés : la logique Index. décimale : 510 Résumé : Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a 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. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. II pourra également intéresser les candidats au CAPES et à l'agrégation. Introduction a la logique : Théorie de La Démonstation Cours Et Exercices Corrigés [texte imprimé] / David, René, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. . - 2éd . - Paris : Dunod, 2003 . - 352p ; 24X17cm.
ISBN : 978-2-10-006796-1
Langues : Français (fre)
Mots-clés : la logique Index. décimale : 510 Résumé : Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a 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. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. II pourra également intéresser les candidats au CAPES et à l'agrégation. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 05/92939 L/510.682 Livre Bibliothèque Centrale indéterminé Exclu du prêt