Avis des lecteurs
Résumé:Ce livre est un texte complet sur la logique mathématique, offrant une introduction bien organisée à divers sujets tels que la logique propositionnelle, la logique du premier ordre, la théorie des ensembles, la théorie des modèles et la théorie de la récursivité. Si de nombreux critiques font l'éloge de sa clarté, de sa cohérence et de sa profondeur, certains soulignent des omissions notables, en particulier dans la théorie de la preuve, ce qui donne l'impression que le texte est incomplet dans certains domaines.
Avantages:Une couverture complète des sujets de la logique mathématique.
Inconvénients:Bien écrit avec une clarté et une cohérence exceptionnelles.
(basé sur 3 avis de lecteurs)
Titre original :
Fundamentals of Mathematical Logic
Contenu du livre :
Ce texte d'introduction aux études supérieures couvre la logique mathématique moderne, depuis la logique propositionnelle, du premier ordre et infinitaire et les théorèmes d'incomplétude de Godel jusqu'à des introductions approfondies à la théorie des ensembles, à la théorie des modèles et à la théorie de la récursivité (calculabilité).
Basé sur plus de 35 ans d'expérience d'enseignement de l'auteur, le livre développe l'intuition des étudiants en présentant des idées complexes dans le contexte le plus simple pour lequel elles ont un sens. Ce livre peut être utilisé en classe, pour l'auto-apprentissage et comme référence sur l'état de la logique moderne.
Autres informations sur le livre :
| ISBN : | 9781568812625 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2005 |
| Nombre de pages : | 894 |
Achat:
Actuellement disponible, en stock.
