Mathematische Logik

Nonfiction, Science & Nature, Mathematics, Logic, History
Cover of the book Mathematische Logik by Martin Ziegler, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Martin Ziegler ISBN: 9783319441801
Publisher: Springer International Publishing Publication: October 10, 2016
Imprint: Birkhäuser Language: German
Author: Martin Ziegler
ISBN: 9783319441801
Publisher: Springer International Publishing
Publication: October 10, 2016
Imprint: Birkhäuser
Language: German

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book User-Centric Networking by Martin Ziegler
Cover of the book Damage Tolerance of Metallic Aircraft Structures by Martin Ziegler
Cover of the book Energy Management—Collective and Computational Intelligence with Theory and Applications by Martin Ziegler
Cover of the book Engineering in Dependability of Computer Systems and Networks by Martin Ziegler
Cover of the book Harmonics in Offshore Wind Power Plants by Martin Ziegler
Cover of the book Web and Big Data by Martin Ziegler
Cover of the book Modifications of Einstein's Theory of Gravity at Large Distances by Martin Ziegler
Cover of the book Art Wealth Management by Martin Ziegler
Cover of the book Declarative Programming and Knowledge Management by Martin Ziegler
Cover of the book Numerical Modeling of Sea Waves by Martin Ziegler
Cover of the book Product-Focused Software Process Improvement by Martin Ziegler
Cover of the book Nanocomposites, Nanophotonics, Nanobiotechnology, and Applications by Martin Ziegler
Cover of the book Emerging Contaminants in River Ecosystems by Martin Ziegler
Cover of the book Dynamical and Geometric Aspects of Hamilton-Jacobi and Linearized Monge-Ampère Equations by Martin Ziegler
Cover of the book Prehistoric River Saraswati, Western India by Martin Ziegler
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy