Merkzettel
Der Merkzettel ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Mathematische Logik

E-BookPDFeBook
Verkaufsrang16191inMathematik
EUR17,99

Beschreibung

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.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783319441801
ProduktartE-Book
EinbandeBook
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erschienen am10.10.2016
Auflage2. Aufl. 2017
ReiheMathematik Kompakt
Seiten152 Seiten
SpracheDeutsch
IllustrationenX, 152 S. 5 Abbildungen
Artikel-Nr.34665456
KatalogVC
Datenquelle-Nr.4252613
Weitere Details

Reihe

Autor

Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.