Mathematik Kompakt

Mathematische Logik

Authors: Ziegler, Martin

  • 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
see more benefits

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-319-44180-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
  • ISBN 978-3-319-44179-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

About the authors

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

Table of contents (20 chapters)

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-319-44180-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
  • ISBN 978-3-319-44179-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematische Logik
Authors
Series Title
Mathematik Kompakt
Copyright
2017
Publisher
Birkhäuser Basel
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-44180-1
DOI
10.1007/978-3-319-44180-1
Softcover ISBN
978-3-319-44179-5
Edition Number
2
Number of Pages
X, 152
Number of Illustrations and Tables
5 b/w illustrations
Topics