Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Decidability of Logical Theories and Their Combination
Contenu du livre :
Ce manuel fournit une introduction indépendante à la décidabilité des théories du premier ordre et à leur combinaison. Le matériel technique est présenté de manière systématique et universelle et illustré par de nombreux exemples et une série d'exercices proposés.
Après un aperçu des concepts de base de la logique du premier ordre, les auteurs discutent de quelques notions de théorie des modèles comme les enchâssements, les diagrammes et les sous-structures élémentaires. Le texte explore ensuite une manière applicable de déduire des conséquences logiques à partir d'une théorie donnée et présente des conditions suffisantes pour qu'une théorie soit décidable. Les chapitres suivants se concentrent sur l'élimination des quantificateurs, la décidabilité de la combinaison des théories du premier ordre et les bases de la théorie de la calculabilité.
L'inclusion d'un chapitre sur le calcul de Gentzen, l'élimination des coupes et l'interpolation de Craig, ainsi qu'un chapitre sur la combinaison de théories et la préservation de la décidabilité, contribuent à distinguer ce volume des ouvrages similaires dans le domaine.
Decidability of Logical Theories and their Combination est idéal pour les étudiants de troisième cycle en mathématiques et convient également aux étudiants en informatique, en philosophie et en physique qui souhaitent acquérir une compréhension plus approfondie du sujet. Le livre s'adresse également aux chercheurs qui souhaitent se familiariser avec les théories du premier ordre et leur combinaison.
Autres informations sur le livre :
| ISBN : | 9783030565534 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2020 |
| Nombre de pages : | 178 |
Achat:
Actuellement disponible, en stock.
