Authors:
- Besonderer Wert wird darauf gelegt darzustellen, inwieweit die Mathematik insgesamt aus der Logik heraus entwickelt werden kann Bezüge zu der Grundlagen der Künstlichen Intelligenz werden dargestellt Betonung der auch für Informatiker relevanten Anwendungen der Berechenbarkeit und des Prädikatenkalküls Zusammenhänge der einzelnen Aspekte werden durch die kompakte Darstellung betont Ü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.
Authors and Affiliations
-
Mathematisches Institut, Universität Freiburg, Freiburg, Deutschland
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-0346-0652-3
Publisher: Birkhäuser Basel
eBook Packages: Life Science and Basic Disciplines (German Language)
Copyright Information: Birkhäuser Basel 2010
eBook ISBN: 978-3-0346-0652-3Published: 23 March 2011
Series ISSN: 2504-3846
Series E-ISSN: 2504-3854
Edition Number: 1
Number of Pages: VIII, 116