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.