商品詳細

Dieses Buch bietet eine Einfuehrung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Praedikatenkalkuel und seinen Anwendungen auf die Anfaenge der kuenstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natuerlichen Zahlen definierbaren Teilmengen eingefuehrt, um schliesslich die Goedelschen Unvollstaendigkeitssaetze zu beweisen. Durch seinen klaren Stil und die eingefuegten UEbungsaufgaben ist dieses Buch eine konzise Einfuehrung in diese Grundlagen der gesamten Mathematik.
Fuer die zweite Auflage wurde an einigen Stellen wurde die Darstellung verbessert und eine Reihe von Fehlern,insbesondere in den Aufgaben, korrigiert.