Bewertung:
Das Buch von Joel William Robbin ist ein Text zur mathematischen Logik, der eine klare Einführung in die Modelltheorie und die Logik erster Ordnung bieten will. In den Rezensionen werden sowohl positive als auch negative Aspekte des Buches hervorgehoben, wobei einige die knappe und klare Darstellung loben, während andere die Notation und die Erklärungen kritisieren.
Vorteile:⬤ Klare und prägnante Einführung in die Modelltheorie und die Logik erster Ordnung.
⬤ Vollständige Formationsregeln und Axiomatik werden zur Verfügung gestellt, so dass es zum Selbststudium geeignet ist.
⬤ Gut strukturiert mit hilfreichen Einsichten und einer guten Auswahl an Übungen.
⬤ Die Metatheorie wird klar und ohne übermäßige Theorembeweise dargestellt.
⬤ Erschwinglich und von guter Qualität.
⬤ Nicht standardisierte Notation, die für manche Leser verwirrend sein kann.
⬤ Fehlende detaillierte Erklärungen zu Konzepten, was für manche Leser zu einer steilen Lernkurve führt.
⬤ Die Notation wird von einigen Rezensenten als altmodisch angesehen.
(basierend auf 7 Leserbewertungen)
Mathematical Logic: A First Course
Dieser in sich geschlossene Text eignet sich für fortgeschrittene Studenten und Doktoranden und wird Leser aus verschiedenen Bereichen und mit unterschiedlichem Hintergrund ansprechen - einschließlich Mathematik, Philosophie, Linguistik, Informatik und Ingenieurwesen.
Es enthält zahlreiche Übungen unterschiedlichen Schwierigkeitsgrades, viele davon mit Lösungen. Nach einem Überblick über die Aussagenlogik folgen Kapitel über Logik erster Ordnung und rekursive Arithmetik erster Ordnung.
Es folgt eine Untersuchung der Arithmetisierung der Syntax sowie eine Übersicht über die Unvollständigkeitssätze und andere Anwendungen des Liar Paradox. Der Text schließt mit einer Studie zur Logik zweiter Ordnung und einem Anhang zur Mengenlehre, der sich für Studierende mit wenig oder gar keinem mathematischen Hintergrund als wertvoll erweisen wird.
| ISBN: | 9780486450186 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2006 |
| Seitenzahl: | 224 |
Derzeit verfügbar, auf Lager.
