Avis des lecteurs
Résumé:Le livre de Joel William Robbin est un texte de logique mathématique qui s'efforce d'offrir une introduction claire à la théorie des modèles et à la logique du premier ordre. Les critiques soulignent à la fois les aspects positifs et négatifs du livre, certains louant sa présentation concise et claire, tandis que d'autres critiquent sa notation et ses explications.
Avantages:⬤ Introduction claire et concise à la théorie des modèles et à la logique du premier ordre.
⬤ Les règles de formation et l'axiomatique complètes sont fournies, ce qui permet l'auto-apprentissage.
⬤ Bien structuré, avec des aperçus utiles et une bonne sélection d'exercices.
⬤ La métathéorie est présentée clairement, sans démonstration excessive de théorèmes.
⬤ Abordable et de bonne qualité.
⬤ Notation non standard qui peut être déroutante pour certains lecteurs.
⬤ Manque d'explications détaillées des concepts, entraînant une courbe d'apprentissage abrupte pour certains.
⬤ La notation est considérée comme démodée par certains évaluateurs.
(basé sur 7 avis de lecteurs)
Titre original :
Mathematical Logic: A First Course
Contenu du livre :
Adapté aux étudiants de premier cycle et aux étudiants de deuxième cycle, ce texte autonome intéressera les lecteurs de divers domaines et de divers horizons, notamment les mathématiques, la philosophie, la linguistique, l'informatique et l'ingénierie.
Il comporte de nombreux exercices de différents niveaux de difficulté, dont beaucoup sont accompagnés de solutions. Une étude du calcul propositionnel est suivie de chapitres sur la logique du premier ordre et l'arithmétique récursive du premier ordre.
Un examen de l'arithmétisation de la syntaxe suit, ainsi qu'un examen des théorèmes d'incomplétude et d'autres applications du paradoxe du menteur. Le texte se termine par une étude de la logique du second ordre et par un appendice sur la théorie des ensembles qui s'avérera précieux pour les étudiants ayant peu ou pas de connaissances en mathématiques.
Autres informations sur le livre :
| ISBN : | 9780486450186 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2006 |
| Nombre de pages : | 224 |
Achat:
Actuellement disponible, en stock.
