Avis des lecteurs
Résumé:Le livre est loué pour sa présentation claire et son aptitude à l'auto-apprentissage, ce qui en fait une introduction précieuse à la logique mathématique. Cependant, il souffre d'erreurs grammaticales et de fautes de frappe significatives, qui nuisent à l'expérience de lecture.
Avantages:Excellente présentation du sujet, adaptée à l'auto-apprentissage, et précieuse introduction à la logique mathématique.
Inconvénients:Rempli d'erreurs grammaticales et de fautes de frappe, il est difficile pour certains lecteurs de s'intéresser au contenu.
(basé sur 4 avis de lecteurs)
Titre original :
Introduction to Mathematical Logic (Extended Edition)
Contenu du livre :
Il s'agit d'une introduction systématique et bien rythmée à la logique mathématique. Excellent comme texte de cours, le livre ne présuppose qu'un bagage élémentaire et peut également être utilisé pour l'auto-apprentissage par des étudiants plus ambitieux.
En commençant par les bases de la théorie des ensembles, de l'induction et de la calculabilité, il couvre la logique propositionnelle et la logique du premier ordre - leur syntaxe, leurs systèmes de raisonnement et leur sémantique. Des résultats de solidité et de complétude pour les systèmes de Hilbert et de Gentzen sont présentés, ainsi que des arguments simples de décidabilité. L'applicabilité générale de divers concepts et techniques est démontrée en mettant en évidence leur réutilisation constante dans différents contextes.
Contrairement à la plupart des textes comparables, la présentation des systèmes de raisonnement syntaxique précède les explications sémantiques. La simplicité des constructions et des règles syntaxiques - d'une grande valeur pédagogique, bien que souvent négligée - aide les étudiants à aborder des questions sémantiques plus complexes. Cet ordre de présentation met également en évidence l'indépendance relative de la syntaxe par rapport à la sémantique, ce qui permet d'apprécier l'importance des systèmes purement symboliques, comme ceux qui sous-tendent les ordinateurs.
Un aperçu de l'histoire de la logique précède le texte principal, tandis que des analogies informelles précèdent l'introduction de la plupart des concepts centraux. Ces aspects informels sont clairement séparés des aspects techniques. Ensemble, ils forment un texte unique qui peut être apprécié aussi bien par les enseignants et les étudiants intéressés par la précision mathématique que par ceux qui s'intéressent aux relations des formalismes logiques avec les problèmes de calculabilité et la philosophie de la logique.
Cette édition révisée contient également, outre de nombreux nouveaux exercices, un nouveau chapitre sur les paradoxes sémantiques. Une équivalence entre les représentations logiques et graphiques nous permet de voir la circularité vicieuse comme les cycles impairs dans la représentation graphique et peut être utilisée comme un outil simple pour diagnostiquer les paradoxes dans le discours naturel.
Autres informations sur le livre :
| ISBN : | 9789814719957 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2016 |
| Nombre de pages : | 304 |
Achat:
Actuellement disponible, en stock.
