Introduction à la logique

Introduction à la logique

Théorie de la démonstration

  • Nombre de pages : 352 pages
  • Date de parution : 27/01/2004  (2e édition)
  • EAN13 : 9782100067961

Livre Papier

34.50 €

 Expédié sous 7 jours

Librairie Eyrolles
Paris 5eme

Disponible

Actualisé le 18/11/2017

Avantages Eyrolles.com

Livraison à partir de 0.01 € en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

LIVRAISON dans le monde entier

Retour sous 15 jours

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

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

Caractéristiques

 PAPIER
Editeur(s)Dunod
Auteur(s)René David - Karim Nour - Christophe Raffalli
Collection Sciences sup
Parution 27/01/2004
Edition  2ème édition
Nb de pages 352
Format 17 x 24
CouvertureBroché
Poids 610
IntérieurNoir et Blanc
EAN13 9782100067961
ISBN13 978-2-10-006796-1

Avis (0)

Soyez le premier à donner votre avis. Donnez votre avis
Salon Créations et savoir-faire 2017