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.
Martin Ziegler
Mathematische Logik [EPUB ebook]
Mathematische Logik [EPUB ebook]
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Alemão ● Formato EPUB ● ISBN 9783319441801 ● Editora Springer International Publishing ● Publicado 2016 ● Carregável 3 vezes ● Moeda EUR ● ID 6303958 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM