Einführung in die mathematische Logik

Bewertung:   (4,0 von 5)

Einführung in die mathematische Logik (Elliott Mendelson)

Leserbewertungen

Zusammenfassung:

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)

Originaltitel:

Introduction to Mathematical Logic

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781482237726
Autor:
Verlag:
Sprache:Englisch
Einband:Hardcover
Erscheinungsjahr:2015
Seitenzahl:513

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Schaum's Easy Outline of Calculus, Zweite Auflage - Schaum's Easy Outline of Calculus, Second...
Wenn Sie nur das Wesentliche der...
Schaum's Easy Outline of Calculus, Zweite Auflage - Schaum's Easy Outline of Calculus, Second Edition
Schaum's Outline of 3000 Solved Problems in Calculus
(Schwierige Prüfungsfragen, verpasste Vorlesungen, zu wenig Zeit?)Zum Glück für Sie gibt es...
Schaum's Outline of 3000 Solved Problems in Calculus
Schaum's Outline of Beginning Calculus
(Schwierige Prüfungsfragen? Verpasste Vorlesungen? Nicht genug Zeit?)Zum Glück für Sie gibt es Schaum's Outlines. Mehr als 40...
Schaum's Outline of Beginning Calculus
Schaum's Outline of Boolean Algebra and Switching Circuits
(Verwirrende Lehrbücher? Verpasste Vorlesungen? Nicht genug Zeit?)Zum Glück für Sie gibt es...
Schaum's Outline of Boolean Algebra and Switching Circuits
Zahlensysteme und die Grundlagen der Analysis - Number Systems and the Foundations of...
In dieser Studie über grundlegende Zahlensysteme werden...
Zahlensysteme und die Grundlagen der Analysis - Number Systems and the Foundations of Analysis
Schaum's Outline of Calculus, Siebte Ausgabe - Schaum's Outline of Calculus, Seventh...
Study smarter and stay on top of your calculus...
Schaum's Outline of Calculus, Siebte Ausgabe - Schaum's Outline of Calculus, Seventh Edition
Einführung in die mathematische Logik - Introduction to Mathematical Logic
Die neue Ausgabe dieses klassischen Lehrbuchs, Introduction to Mathematical Logic,...
Einführung in die mathematische Logik - Introduction to Mathematical Logic

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)