Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Introduction à la logique

Librairie Eyrolles - Paris 5e
Indisponible

Introduction à la logique

Introduction à la logique

Théorie de la démonstration

- Collection Sciences sup

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

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

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

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 du livre "Introduction à la logique"

  PAPIER
Éditeur(s) Dunod
Auteur(s) René David, Karim Nour, Christophe Raffalli
Collection Sciences sup
Parution 27/01/2004
Édition  2eme é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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925