Note :
Le livre a reçu des critiques mitigées, certains utilisateurs le louant comme un excellent texte d'auto-apprentissage qui couvre un large éventail de sujets en logique mathématique, tandis que d'autres critiquent sa lisibilité et son contenu dense, affirmant qu'il n'est pas adapté aux débutants. Plusieurs problèmes spécifiques liés à la qualité de la publication ont également été relevés, en particulier dans la dernière édition.
Avantages:Bon pour l'auto-apprentissage, couverture complète des sujets de logique mathématique, matériel accessible dans le premier chapitre, efficace pour ceux qui ont quelques connaissances préalables.
Inconvénients:Polices d'indices peu claires et difficiles à lire, matériel dense nécessitant plusieurs lectures, exemples insuffisants pour la résolution de problèmes, explications introductives médiocres pour les sections principales, et incohérences dans la publication.
(basé sur 5 avis de lecteurs)
Introduction to Mathematical Logic
La nouvelle édition de ce manuel classique, Introduction à la logique mathématique, sixième édition, explore les principaux sujets de la logique mathématique. Elle couvre la logique propositionnelle, la logique du premier ordre, la théorie des nombres du premier ordre, la théorie axiomatique des ensembles et la théorie de la calculabilité.
Le texte aborde également les principaux résultats de Godel, Church, Kleene, Rosser et Turing. La sixième édition intègre des travaux récents sur le deuxième théorème d'incomplétude de Godel et restaure un appendice sur les preuves de cohérence pour l'arithmétique du premier ordre. Cet appendice figurait pour la dernière fois dans la première édition.
Il est proposé dans la nouvelle édition pour des considérations historiques. Le texte offre également des perspectives historiques et de nombreux nouveaux exercices de difficulté variable, qui motivent les étudiants et les conduisent à une compréhension approfondie et pratique de la matière.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)