États-Unis

€
Introduction à la logique - André Delessert - EPFL Press

Introduction à la logique

de André Delessert (auteur)
Collection : Enseignement des mathématiques
mai 1988

Medias

Présentation

Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés.

Sommaire

  • Avertissement
  • Préambule
  • Les langages du premier ordre
  • L'idée de modèle ensembliste
  • La logique (ou calcul) des propositions
  • Les fonctions de vérité
  • Les axiomes de l'égalité ou formules de Leibniz
  • La logique des quantificateurs
  • La méthode de Henkin: la réduction à la logique des propositions
  • L'idée de preuve. Le théorème de complétude de la logique du premier ordre
  • Extension de la logique élémentaire du premier ordre
  • Quelques remarques sur la logique du premier ordre
  • Aperçus sur d'autres logiques formelles
  • Epilogue
  • Exercices
  • Index terminologique
  • Index des notations
  • Petite bibliographie.

Avis

Pour évaluer et laisser un commentaire sur le produit, merci de vous connecter à votre compte.

Informations

Éditeur : EPFL Press

Auteur(s) : André Delessert

Collection : Enseignement des mathématiques

Publication : 25 mai 1988

Édition : 1re édition

Support(s) : Livre papier

Nombre de pages Livre papier : 200

Format (en mm) Livre papier : 160 x 240

Poids (en grammes) : 422

Langue(s) : Français

EAN13 Livre papier : 9782880741532

Dans la même collection
Sur des thèmes similaires
--:-- / --:--