Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Decidability of Logical Theories and Their Combination
Dieses Lehrbuch bietet eine in sich geschlossene Einführung in die Entscheidbarkeit von Theorien erster Ordnung und deren Kombination. Das technische Material wird auf systematische und universelle Weise präsentiert und mit vielen Beispielen und einer Reihe von Übungsvorschlägen illustriert.
Nach einem Überblick über grundlegende Konzepte der Logik erster Ordnung diskutieren die Autoren einige modelltheoretische Begriffe wie Einbettungen, Diagramme und elementare Unterstrukturen. Anschließend wird ein Weg aufgezeigt, wie man aus einer gegebenen Theorie logische Konsequenzen ableiten kann, und es werden hinreichende Bedingungen dafür vorgestellt, dass eine Theorie entscheidungsfähig ist. Die folgenden Kapitel befassen sich mit der Quantorenelimination, der Entscheidbarkeit der Kombination von Theorien erster Ordnung und den Grundlagen der Berechenbarkeitstheorie.
Die Aufnahme eines Kapitels über das Gentzen-Kalkül, die Eliminierung von Schnitten und die Craig-Interpolation sowie eines Kapitels über die Kombination von Theorien und die Erhaltung der Entscheidbarkeit heben diesen Band von ähnlichen Büchern auf diesem Gebiet ab.
Decidability of Logical Theories and their Combination ist ideal für Studenten der Mathematik und eignet sich ebenso für Studenten der Informatik, Philosophie und Physik, die an einem tieferen Verständnis des Themas interessiert sind. Das Buch richtet sich auch an Forscher, die sich mit Theorien erster Ordnung und deren Kombination vertraut machen wollen.
| ISBN: | 9783030565534 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2020 |
| Seitenzahl: | 178 |
Derzeit verfügbar, auf Lager.
