Bewertung:
Das Buch hat gemischte Kritiken: Einige Nutzer loben es als ausgezeichneten Text für das Selbststudium, der eine breite Palette von Themen der mathematischen Logik abdeckt, während andere die Lesbarkeit und die Dichte des Materials kritisieren und erklären, dass es für Anfänger nicht geeignet ist. Es wurden auch verschiedene spezifische Probleme mit der Qualität der Veröffentlichung festgestellt, insbesondere in der letzten Ausgabe.
Vorteile:Gut für das Selbststudium, umfassende Abdeckung der Themen der mathematischen Logik, zugängliches Material im ersten Kapitel, effektiv für diejenigen mit einigen Vorkenntnissen.
Nachteile:Unklare und schwer lesbare tiefgestellte Schriften, dichtes Material, das mehrfaches Lesen erfordert, unzureichende Beispiele zur Problemlösung, unzureichende einführende Erklärungen für wichtige Abschnitte und Unstimmigkeiten in der Veröffentlichung.
(basierend auf 5 Leserbewertungen)
Introduction to Mathematical Logic
Die neue Ausgabe dieses klassischen Lehrbuchs, Introduction to Mathematical Logic, Sixth Edition, behandelt die wichtigsten Themen der mathematischen Logik. Es behandelt Aussagenlogik, Logik erster Ordnung, Zahlentheorie erster Ordnung, axiomatische Mengenlehre und die Theorie der Berechenbarkeit.
Der Text behandelt auch die wichtigsten Ergebnisse von Godel, Church, Kleene, Rosser und Turing. In die sechste Auflage wurden die neuesten Arbeiten zu Godels zweitem Unvollständigkeitssatz eingearbeitet und ein Anhang über Konsistenzbeweise für die Arithmetik erster Ordnung wiederhergestellt. Dieser Anhang erschien zuletzt in der ersten Auflage.
Er wird in der neuen Ausgabe aus historischen Gründen angeboten. Der Text bietet auch historische Perspektiven und viele neue Übungen mit unterschiedlichem Schwierigkeitsgrad, die die Studierenden motivieren und zu einem vertieften, praktischen Verständnis des Materials führen.
| ISBN: | 9781482237726 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2015 |
| Seitenzahl: | 513 |
Derzeit verfügbar, auf Lager.
