Introduction à la logique
Medias
About
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.
Content
- 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.
Details
Publisher: EPFL Press
Collection: Enseignement des mathématiques
Published: 25 may 1988
Edition: 1st edition
Media: Book
Pages count Book: 200
Format (in mm) Book: 160 x 240
Weight (in grammes): 422
Language(s): French
EAN13 Book: 9782880741532
In the same collection
From 0,00 € (free)
Thierry Lucas, Isabelle Berlanger, Vincent Degauquier
49,00 €
Jacques Douchet, Bruno Zwahlen
66,50 €
35,00 €
Carole Engelberger, Martin Gunn-Sechehaye, Ignace Morand, Henri Volken
0,00 € (free)
