- 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.
Information
-
Download Now
- Format:PDF
- Publisher:Birkhauser Basel
- Publication Date:23/03/2011
- Category:
- ISBN:9783034606523
Other Formats
- EPUB from £12.74
Information
-
Download Now
- Format:PDF
- Publisher:Birkhauser Basel
- Publication Date:23/03/2011
- Category:
- ISBN:9783034606523