Introduction à la logique mathématique

Note :   (4,0 sur 5)

Introduction à la logique mathématique (Elliott Mendelson)

Avis des lecteurs

Résumé:

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)

Titre original :

Introduction to Mathematical Logic

Contenu du livre :

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.

Autres informations sur le livre :

ISBN :9781482237726
Auteur :
Éditeur :
Langue :anglais
Reliure :Relié
Année de publication :2015
Nombre de pages :513

Achat:

Actuellement disponible, en stock.

Je l'achète!

Autres livres de l'auteur :

Schaum's Easy Outline of Calculus, deuxième édition - Schaum's Easy Outline of Calculus, Second...
Lorsque vous avez besoin de l'essentiel du calcul,...
Schaum's Easy Outline of Calculus, deuxième édition - Schaum's Easy Outline of Calculus, Second Edition
Schaum's Outline of 3000 Solved Problems in Calculus (en anglais) - Schaum's Outline of 3000 Solved...
Face à des questions d'examen difficiles, des...
Schaum's Outline of 3000 Solved Problems in Calculus (en anglais) - Schaum's Outline of 3000 Solved Problems in Calculus
Schaum's Outline of Beginning Calculus (en anglais) - Schaum's Outline of Beginning...
Questions d'examen difficiles, cours manqués, manque...
Schaum's Outline of Beginning Calculus (en anglais) - Schaum's Outline of Beginning Calculus
Schaum's Outline of Boolean Algebra and Switching Circuits (en anglais) - Schaum's Outline of...
Manuels confus ? Cours manqués ? Pas...
Schaum's Outline of Boolean Algebra and Switching Circuits (en anglais) - Schaum's Outline of Boolean Algebra and Switching Circuits
Les systèmes de nombres et les fondements de l'analyse - Number Systems and the Foundations of...
Cette étude des systèmes de numération de base...
Les systèmes de nombres et les fondements de l'analyse - Number Systems and the Foundations of Analysis
Schaum's Outline of Calculus, septième édition - Schaum's Outline of Calculus, Seventh...
Étudiez plus intelligemment et restez au top de...
Schaum's Outline of Calculus, septième édition - Schaum's Outline of Calculus, Seventh Edition
Introduction à la logique mathématique - Introduction to Mathematical Logic
La nouvelle édition de ce manuel classique, Introduction à la logique...
Introduction à la logique mathématique - Introduction to Mathematical Logic

Les œuvres de l'auteur ont été publiées par les éditeurs suivants :

© 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)