Ziegler | Mathematische Logik | Buch | 978-3-319-44179-5 | www.sack.de

Buch, Deutsch, 152 Seiten, Format (B × H): 168 mm x 240 mm, Gewicht: 287 g

Reihe: Mathematik Kompakt

Ziegler

Mathematische Logik


2. Auflage 2017
ISBN: 978-3-319-44179-5
Verlag: Springer International Publishing

Buch, Deutsch, 152 Seiten, Format (B × H): 168 mm x 240 mm, Gewicht: 287 g

Reihe: Mathematik Kompakt

ISBN: 978-3-319-44179-5
Verlag: Springer International Publishing

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik. Nach dem Praedikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz stellt der Autor die Mengenlehre axiomatisch dar. Im dritten und vierten Teil führt er die Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der Teilmengen ein, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Dieser Band zeichnet sich durch einen klaren Schreibstil aus und enthält zahlreiche Übungsaufgaben.

Ziegler Mathematische Logik jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Ziegler, Martin

Fachgebiete

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.