![Mathematische Logik, EPUB eBook Mathematische Logik, EPUB eBook](http://speedyhen.dmmserver.com/media/640/97833194/9783319441801.jpg)
EPUB
- Information
Description
Dieses Buch bietet eine Einfuhrung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Pradikatenkalkul und seinen Anwendungen auf die Anfange der kunstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den naturlichen Zahlen definierbaren Teilmengen eingefuhrt, um schlielich die Godelschen Unvollstandigkeitssatze zu beweisen. Durch seinen klaren Stil und die eingefugten Ubungsaufgaben ist dieses Buch eine konzise Einfuhrung in diese Grundlagen der gesamten Mathematik.
Fur die zweite Auflage wurde an einigen Stellen wurde die Darstellung verbessert und eine Reihe von Fehlern,insbesondere in den Aufgaben, korrigiert.
Information
-
Download Now
- Format:EPUB
- Publisher:Springer International Publishing
- Publication Date:10/10/2016
- Category:
- ISBN:9783319441801
Other Formats
- PDF from £9.34
Information
-
Download Now
- Format:EPUB
- Publisher:Springer International Publishing
- Publication Date:10/10/2016
- Category:
- ISBN:9783319441801