Ziegler | Mathematische Logik | E-Book | www.sack.de
E-Book

E-Book, Deutsch, 152 Seiten, eBook

Reihe: Mathematik Kompakt

Ziegler Mathematische Logik


2. Auflage 2017
ISBN: 978-3-319-44180-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Deutsch, 152 Seiten, eBook

Reihe: Mathematik Kompakt

ISBN: 978-3-319-44180-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen eingeführt, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Durch seinen klaren Stil und die eingefügten Übungsaufgaben ist dieses Buch eine konzise Einführung in diese Grundlagen der gesamten Mathematik. Für die zweite Auflage wurde an einigen Stellen wurde die Darstellung verbessert und eine Reihe von Fehlern,insbesondere in den Aufgaben, korrigiert.
Ziegler Mathematische Logik jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Ziegler, Martin

Weitere Infos & Material

Prädikatenkalkül.- Strukturen und Formeln.- Semantik.- Allgemeingültige Formeln.- Der Gödelsche Vollständigkeitssatz.- Der Sequenzenkalkül.- Der Herbrandsche Satz.- Die Resolutionsmethode.- Mengenlehre.- Die Axiome.- Die natürlichen Zahlen.- Ordinalzahlen und Kardinalzahlen.- Metamathematik von ZFC.- Rekursionstheorie.- Registermaschinen.- Primitiv rekursive Funktionen und Gödelisierung.- Rekursiv aufzählbare Mengen.- Gödelnummern von Formeln.- Ein anderer Aufbau der rekursiven Funktionen.- Arithmetik.- Definierbare Relationen.- Das System Q.- Peanoarithmetik.- Der Zweite Gödelsche Unvollständigkeitssatz.

Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.