Avis des lecteurs
Résumé:Le livre « First Order Logic » de Raymond Smullyan reçoit des critiques mitigées, beaucoup louant sa profondeur et son approche unique de la logique, tandis que certains critiquent sa brièveté et sa complexité pour les débutants. Il est considéré comme une excellente référence pour ceux qui sont déjà familiarisés avec la logique formelle, mais ne convient pas aux vrais novices.
Avantages:⬤ Offre une couverture approfondie des sujets importants de la logique du premier ordre
⬤ présente efficacement les méthodes de tableaux
⬤ très apprécié pour son originalité et son style concis
⬤ constitue une excellente référence pour les lecteurs expérimentés
⬤ aperçu des théories logiques avancées.
⬤ Ne convient pas aux débutants ou à ceux qui ne sont pas familiarisés avec la logique formelle
⬤ trop concis et suppose des connaissances préalables, laissant certains concepts non expliqués
⬤ certains lecteurs l'ont trouvé dense et difficile à comprendre
⬤ peut être perçu comme trop axé sur la logique booléenne.
(basé sur 23 avis de lecteurs)
Titre original :
First-Order Logic
Contenu du livre :
Cette étude entièrement autonome, largement considérée comme le meilleur livre dans ce domaine, est destinée à servir à la fois d'introduction à la théorie de la quantification et d'exposition de nouveaux résultats et techniques dans les méthodes analytiques ou sans coupure. Impressionné par la simplicité et l'élégance mathématique du point de vue du tableau, l'auteur se concentre ici sur ce dernier.
Après des éléments préliminaires sur les arbres (nécessaires pour la méthode des tableaux), la première partie traite de la logique propositionnelle du point de vue des tableaux analytiques, couvrant des sujets tels que les formules ou la logique propositionnelle, les évaluations booléennes et les ensembles de vérité, la méthode des tableaux et la compacité.
La deuxième partie traite de la logique du premier ordre, offrant un traitement détaillé de sujets tels que les tableaux analytiques du premier ordre, la cohérence analytique, la théorie de la quantification, les ensembles magiques et les propriétés de cohérence analytiques et synthétiques.
La partie III poursuit la couverture de la logique du premier ordre. Parmi les sujets abordés figurent les systèmes de Gentzen, les théorèmes d'élimination, les tableaux de prenex, les théorèmes de complétude symétrique et les systèmes de raisonnement linéaire.
Raymond M. Smullyan est un logicien bien connu et un inventeur d'énigmes mathématiques et logiques. Dans ce livre, il a écrit un exposé stimulant et exigeant de la logique du premier ordre qui sera bien accueilli par les logiciens, les mathématiciens et tous ceux qui s'intéressent à ce domaine.
Autres informations sur le livre :
| ISBN : | 9780486683706 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 1995 |
| Nombre de pages : | 176 |
Achat:
Actuellement disponible, en stock.
