Introduction à la logique / Pierre-Louis CURIEN

Public ISBD Titre : Introduction à la logique : Théorie de la démonstration Type de document : texte imprimé Auteurs : Pierre-Louis CURIEN, Auteur Mention d'édition : 2 éme Editeur : Dunod Année de publication : 2003 Importance : 352 p Présentation : ill; Format : 17cm x 24cm ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Français (fre) Catégories : Mathematique:07 Logique mathematique Mots-clés : Formules et démonstrations de la Logique du premier ordre  Complétude de la logique du premier ordre  Exemples de théories  Logique intuitionniste et modèle de Kripke . Résumé : 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 du livre 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. Public : Etudiants en 3e année de Licence ou en Master de mathématiques pures ; Candidats au CAPES et à l’agrégation Introduction à la logique : Théorie de la démonstration [texte imprimé] / Pierre-Louis CURIEN, Auteur  . -  2 éme . - Dunod, 2003 . - 352 p : ill; ; 17cm x 24cm. ISBN : 978-2-10-006796-1 Langues : Français (fre) Catégories : Mathematique:07 Logique mathematique Mots-clés : Formules et démonstrations de la Logique du premier ordre  Complétude de la logique du premier ordre  Exemples de théories  Logique intuitionniste et modèle de Kripke . Résumé : 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 du livre 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. Public : Etudiants en 3e année de Licence ou en Master de mathématiques pures ; Candidats au CAPES et à l’agrégation

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
127960	04-07-0039	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200