Chargement...
Chargement...

Introduction à la logique : théorie de la démonstration, cours et exercices corrigés : licence 3e année, master, Capes, agrégation

Auteur : René David

Auteur : Karim Nour

Auteur : Christophe Raffalli

Paru le : 12/01/2004
Éditeur(s) : Dunod
Série(s) : Non précisé.
Collection(s) : Sciences sup. Cours
Contributeur(s) : Préfacier : Pierre-Louis Curien

34,50 €
Expédié en 24/48h
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

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 traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. Une annexe présente un assistant de démonstration, le logiciel PhoX. ©Electre 2018

Quatrième de couverture

Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de la 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. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. Il pourra également intéresser les candidats au CAPES et à l'agrégation. Mathématiques Physique Chimie Sciences de l'ingénieur Informatique Sciences de la vie Sciences de la terre

Fiche Technique

Paru le : 12/01/2004

Thématique : Mathématiques 1er Cycle

Auteur(s) : Auteur : René David Auteur : Karim Nour Auteur : Christophe Raffalli

Éditeur(s) : Dunod

Collection(s) : Sciences sup. Cours

Série(s) : Non précisé.

ISBN : 2-10-006796-6

EAN13 : 9782100067961

Format : Non précisé.

Reliure : Broché

Pages : Non précisé.

Hauteur : 25 cm / Largeur : 18 cm

Épaisseur : 2,1 cm

Poids : 610 g