Authors:
- Einzigartige kompakte Einführung in die Mathematische Logik
- Besonderer Wert wird darauf gelegt darzustellen, inwieweit die Mathematik insgesamt aus der Logik heraus entwickelt werden kann
- Betonung der auch für Informatiker relevanten Anwendungen der Berechenbarkeit und des Prädikatenkalküls
- Übungsaufgaben ergänzen und erleichtern die Nacharbeit des Stoffes
- Includes supplementary material: sn.pub/extras
Part of the book series: Mathematik Kompakt (MAKO)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 chapters)
-
Front Matter
-
Mengenlehre
-
Front Matter
-
About this book
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.
Authors and Affiliations
-
Universität Freiburg Mathematisches Institut, Freiburg, Germany
Martin Ziegler
About the author
Bibliographic Information
Book Title: Mathematische Logik
Authors: Martin Ziegler
Series Title: Mathematik Kompakt
DOI: https://doi.org/10.1007/978-3-319-44180-1
Publisher: Birkhäuser Cham
eBook Packages: Life Science and Basic Disciplines (German Language)
Copyright Information: Springer International Publishing Switzerland 2017
Softcover ISBN: 978-3-319-44179-5Published: 18 October 2016
eBook ISBN: 978-3-319-44180-1Published: 10 October 2016
Series ISSN: 2504-3846
Series E-ISSN: 2504-3854
Edition Number: 2
Number of Pages: X, 152
Number of Illustrations: 5 b/w illustrations