The Leading eBooks Store Online 4,385,058 members ⚫ 1,459,539 ebooks

New to eBooks.com?

Learn more

Einführung in die Mathematische Logik

Ein Lehrbuch

Einführung in die Mathematische Logik by Wolfgang Rautenberg
Buy this eBook
US$ 54.99
(If any tax is payable it will be calculated and shown at checkout.)
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
269 pages; ISBN 9783322915184
Read online, or download in secure PDF format
Title: Einführung in die Mathematische Logik
Author: Wolfgang Rautenberg
 
  • News
  • Contents
No entry found
Subject categories
ISBNs
9783322915184
9783528167547