Mathematische Logik
2. Aufl. 2017
Springer International Publishing
ISBN 978-3-319-44180-1
Standardpreis
Bibliografische Daten
eBook. PDF
2. Aufl. 2017. 2016
X, 152 S. 5 Abbildungen.
Umfang: 152 S.
Verlag: Springer International Publishing
ISBN: 978-3-319-44180-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Mathematik Kompakt
Produktbeschreibung
Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik. Nach dem Praedikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz stellt der Autor die Mengenlehre axiomatisch dar. Im dritten und vierten Teil führt er die Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der Teilmengen ein, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Dieser Band zeichnet sich durch einen klaren Schreibstil aus und enthält zahlreiche Übungsaufgaben.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

