Fundamentals of Mathematical Logic
Le sous-domaine des mathématiques qui se concentre sur l'identification des applications de la logique formelle aux mathématiques est connu sous le nom de logique mathématique. Elle est également connue sous le nom de logique symbolique ou logique formelle.
Elle s'intéresse à l'étude du pouvoir expressif et déductif des systèmes formels. Parmi les systèmes logiques formels, on peut citer la logique du premier ordre, la logique non classique et modale, la logique algébrique et d'autres logiques classiques. La discipline est divisée en quatre domaines.
Il s'agit de la théorie des modèles, de la théorie de la preuve, de la théorie des ensembles et de la théorie de la récursivité. Le domaine est étroitement lié à l'informatique théorique et aux fondements des mathématiques.
Le domaine trouve ses applications dans d'autres disciplines telles que la physique, la biologie, l'économie, la métaphysique, le droit et la morale, et la psychologie. Ce livre explore tous les aspects importants de cette discipline dans le contexte actuel.
Différentes approches, évaluations, méthodologies et études sur la logique mathématique y sont incluses. Comme ce domaine émerge à un rythme rapide, le contenu de ce livre aidera les lecteurs à comprendre les concepts et les applications modernes du sujet.
| ISBN : | 9781639892280 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Actuellement disponible, en stock.
