Wolfgang Rautenberg

Einführung in die Mathematische Logik (eBook, PDF)

Ein Lehrbuch

• Format: PDF

Produktbeschreibung

Dieses Lehrbuch über Mathematische Logik 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. Nach der positiven Resonanz auf die 1. Auflage wurde die Gesamtkonzeption des Werkes nicht geändert, der Text aber in den Details gründlich überarbeitet. Bedingt durch große Erfolge in der Forschung in den letzten Jahren wurde das Kapitel über den 2. Gödelschen Unvollständigkeitssatz erweitert.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Vieweg+Teubner Verlag
• Seitenzahl: 256
• Erscheinungstermin: 1. Juli 2013
• Deutsch
• ISBN-13: 9783322915184
• Artikelnr.: 53149389

Autorenporträt

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