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 schliesslich 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.
"
- ISBN10 3764399732
- ISBN13 9783764399733
- Publish Date 12 March 2010
- Publish Status Active
- Out of Print 8 June 2021
- Publish Country CH
- Imprint Birkhauser Verlag AG
- Edition 2010 ed.
- Format Paperback (US Trade)
- Pages 116
- Language German