Introduction à la logique : théorie de la démonstration : cours et exercices corrigés / René David,... Karim Nour,... Christophe Raffalli,... ; préf. par Pierre-Louis Curien,... [ Livre]

Auteur principal: David, René, 1948....Co-auteur: Raffalli, Christophe;Nour, KarimLangue: Français.Mention d'édition: 2e éd.Publication : Paris : Dunod, 2003Description : XIII-352 p. ; 24 cmISBN: 2100067966.Collection: Sciences supClassification: F 4 1 Logique mathématiqueRésumé: La couv. porte en plus : "Licence 3e année, Master, CAPES, Agrégation". Cet ouvrage 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. Sommaire 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èles de Kripke Calcul des séquents Logiques d'ordre supérieur Démonstration automatique Le logiciel Phox.Sujet - Nom commun: Théorèmes -- Démonstration automatique | Raisonnement | Logique symbolique et mathématique | Logique intuitionniste
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 DAV (Browse shelf) Exclu du prêt F 4 1 Logique mathématique 00010521

La couv. porte en plus : "licence 3e année, master, CAPES, agrégation"

Bibliogr. p. 347-348. Index

Bibliogr. Index

La couv. porte en plus : "Licence 3e année, Master, CAPES, Agrégation".
Cet ouvrage 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.

Sommaire
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èles de Kripke
Calcul des séquents
Logiques d'ordre supérieur
Démonstration automatique
Le logiciel Phox

Powered by Koha