Fundamentals of Mathematical Logic
Das Teilgebiet der Mathematik, das sich mit den Anwendungen der formalen Logik auf die Mathematik befasst, wird als mathematische Logik bezeichnet. Sie wird auch als symbolische Logik oder formale Logik bezeichnet.
Sie befasst sich mit der Untersuchung der Ausdrucks- und Schlussfolgerungsfähigkeit von formalen Systemen. Zu den formalen logischen Systemen gehören die Logik erster Ordnung, die nichtklassische und modale Logik, die algebraische Logik und andere klassische Logiken. Die Disziplin gliedert sich in vier Bereiche.
Es handelt sich um Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie. Das Gebiet ist eng mit der theoretischen Informatik und den Grundlagen der Mathematik verbunden.
Das Gebiet findet seine Anwendungen in anderen Disziplinen wie Physik, Biologie, Wirtschaft, Metaphysik, Recht und Moral sowie Psychologie. In diesem Buch werden alle wichtigen Aspekte dieser Disziplin in der heutigen Zeit beleuchtet.
Es werden verschiedene Ansätze, Bewertungen, Methoden und Studien zur mathematischen Logik vorgestellt. Da sich dieses Gebiet in einem rasanten Tempo entwickelt, wird der Inhalt dieses Buches den Lesern helfen, die modernen Konzepte und Anwendungen des Faches zu verstehen.
| ISBN: | 9781639892280 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
