Introduction à la logique

Théorie de la démonstration

René David, Karim Nour, Christophe Raffalli - Collection Sciences sup

352 pages, parution le 05/01/2004 (2^eme édition)

Ajouter à une liste

Indisponible

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

L'auteur - René David

René David est spécialiste de la théorie de la démonstration, il est enseignant chercheur et membres du laboratoire de mathématiques de l'université Savoie Mont Blanc.

Autres livres de René David

Les démonstrations mathématiques - cours complet avec 127 exercices résolus

Les grands systèmes de droit contemporains. 12e éd.

Droit compare (le)

Avatars d'un comparatiste (les)

Découvrir tous les livres de René David

L'auteur - Karim Nour

Karim Nour est spécialiste de la théorie de la démonstration, il est enseignant chercheur et membres du laboratoire de mathématiques de l'université Savoie Mont Blanc.

Autres livres de Karim Nour

Les démonstrations mathématiques - cours complet avec 127 exercices résolus

Découvrir tous les livres de Karim Nour

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èle de Kripke
Calcul des séquents
Logiques d’ordre supérieur
Démonstration automatique
Le logiciel PhoX
Solutions des exercices
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Dunod
Auteur(s)	René David, Karim Nour, Christophe Raffalli
Collection	Sciences sup
Parution	05/01/2004
Édition	2^eme édition
Nb. de pages	352
Format	17 x 24
Couverture	Broché
Poids	610g
Intérieur	Noir et Blanc
EAN13	9782100067961
ISBN13	978-2-10-006796-1