Overview
- 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 chapters)
-
Prädikatenkalkül
-
Mengenlehre
Keywords
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
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