Einführung in die Mathematische Logik

Ein Lehrbuch

by

Subject categories
ISBNs
  • 9783528167547
  • 9783322915184
Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Einführung in die Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel. Unabhängig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Außer einer gewissen Schulung im mathematischen Schließen sind spezielle Vorkenntnisse nicht erforderlich; lediglich für Teile der Modelltheorie wären algebraische Grundkenntnisse wünschenswert. Die Verzeichnisse (Stichwörter, Symbole, Literatur) sind ausführlich und kommen der selbständigen Erarbeitung des Stoffes sehr entgegen. Das Buch ist inhaltsreich und flüssig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details präsentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollständigkeitssatz) und die Solovayschen Vollständigkeitssätze über Selbstreferenz. Die Gödelschen Unvollständigkeitssätze und ihr Umfeld werden besonders ausführlich behandelt. Nur gelegentlich werden weiterführende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschließen.
  • Vieweg+Teubner Verlag; July 2013
  • ISBN 9783322915184
  • Read online, or download in secure PDF format
  • Title: Einführung in die Mathematische Logik
  • Author: Wolfgang Rautenberg
  • Imprint: Vieweg+Teubner Verlag
Subject categories
ISBNs
  • 9783528167547
  • 9783322915184

In The Press

"Durchweg hervorzuheben sind die klare Sprache und die übersichtliche Anordnung." ekz Bibliotheksservice, ID 42/02

About The Author

Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.

Subject categories
ISBNs
  • 9783528167547
  • 9783322915184