Introduction à la logique :Théorie de la démonstration:cours et exercices corrigés / DAVID,René

Public ISBD Titre : Introduction à la logique :Théorie de la démonstration:cours et exercices corrigés Type de document : texte imprimé Auteurs : DAVID,René ; NOUR,Karim ; RAFFALLI,Christophe Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup Importance : 332 Format : 24 ISBN/ISSN/EAN : 978-2-10-004892-2 Note générale : Index p.329-332,bibliogr. p.327-328 Catégories : Mathématique Mots-clés : Mathématique, Logique, Démonstration:théorie, Logique intuitionniste Index. décimale : 511.3 Logique mathématique Résumé : Cet ouvrage 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 sont proposés en fin de chapitres : certains sont corrigés. d'autres réalisables en ligne sur l'internet, grâce à un logiciel d'apprentissage mis au point par les auteurs. Note de contenu : Sommaire Calcul propositionnel. Logique du premier ordre. La sémantique du calcul propositionnel. La sémantique de la logique du premier ordre. Un peu de théorie des modèles. Théorie algébrique. L'arithmétique de Peano. La théorie des ensembles. La traduction de Gödel. La traduction de Kuroda. Théorème de complétude. Exemples de théories décidables. Modèle de Kripke. Théorème de Yankove. Les systèmes LK et LJ. Conséquence des théorèmes d'élimination des coupures. Algorithmes de semi-décision pour LK et LJ. Solutions des exercices. Introduction à la logique :Théorie de la démonstration:cours et exercices corrigés [texte imprimé] / DAVID,René ; NOUR,Karim ; RAFFALLI,Christophe . - Paris : Dunod, 2001 . - 332 ; 24. - (Sciences sup) . ISBN : 978-2-10-004892-2 Index p.329-332,bibliogr. p.327-328 Catégories : Mathématique Mots-clés : Mathématique, Logique, Démonstration:théorie, Logique intuitionniste Index. décimale : 511.3 Logique mathématique Résumé : Cet ouvrage 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 sont proposés en fin de chapitres : certains sont corrigés. d'autres réalisables en ligne sur l'internet, grâce à un logiciel d'apprentissage mis au point par les auteurs. Note de contenu : Sommaire Calcul propositionnel. Logique du premier ordre. La sémantique du calcul propositionnel. La sémantique de la logique du premier ordre. Un peu de théorie des modèles. Théorie algébrique. L'arithmétique de Peano. La théorie des ensembles. La traduction de Gödel. La traduction de Kuroda. Théorème de complétude. Exemples de théories décidables. Modèle de Kripke. Théorème de Yankove. Les systèmes LK et LJ. Conséquence des théorèmes d'élimination des coupures. Algorithmes de semi-décision pour LK et LJ. Solutions des exercices.

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/0684	Fs/0684-0686	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/0685	Fs/0684-0686	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/0686	Fs/0684-0686	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)