Grundlagen der mathematischen Logik

Bewertung: ⭐⭐⭐⭐⭐  (4,6 von 5)

Leserbewertungen

Zusammenfassung:

Das Buch ist ein umfassender Text über mathematische Logik und bietet eine gut organisierte Einführung in verschiedene Themen wie Aussagenlogik, Logik erster Ordnung, Mengenlehre, Modelltheorie und Rekursionstheorie. Während viele Rezensenten die Klarheit, Kohärenz und Tiefe des Buches loben, weisen einige auf bemerkenswerte Auslassungen hin, insbesondere im Bereich der Beweistheorie, wodurch sich das Buch in bestimmten Bereichen unvollständig anfühlt.

Vorteile:

Umfassende Abdeckung von Themen der mathematischen Logik.

Nachteile:

Gut geschrieben mit außergewöhnlicher Klarheit und Kohärenz.

(basierend auf 3 Leserbewertungen)

Originaltitel:

Fundamentals of Mathematical Logic

Inhalt des Buches:

Dieser einführende Text für Hochschulabsolventen deckt die moderne mathematische Logik ab, von der Aussagenlogik, der Logik erster Ordnung und der infinitären Logik über Godels Unvollständigkeitssätze bis hin zu ausführlichen Einführungen in die Mengenlehre, Modelltheorie und Rekursionstheorie (Berechenbarkeit).

Basierend auf der mehr als 35-jährigen Lehrerfahrung des Autors entwickelt das Buch die Intuition der Studenten, indem es komplexe Ideen in einem möglichst einfachen Kontext präsentiert, für den sie sinnvoll sind. Das Buch eignet sich für den Einsatz im Unterricht, zum Selbststudium und als Nachschlagewerk über den Stand der modernen Logik.

Weitere Daten des Buches:

• ISBN: 9781568812625
• Autor: G. Hinman Peter
• Verlag: A K Peters Ltd
• Sprache: Englisch
• Einband: Hardcover
• Erscheinungsjahr: 2005
• Seitenzahl: 894