Overview

"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. """

Full Product Details

9783764399733

Table of Contents

Reviews

Author Information

"Martin Ziegler ist Professor fur Mathematische Logik an der Albert-Ludwigs-Universitat Freiburg."""

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available