Mathematische Logik / Mathematik Kompakt (PDF)
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...
sofort als Download lieferbar
eBook (pdf)
15.41 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Mathematische Logik / Mathematik Kompakt (PDF)“
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 die logischen Grundlagen der Mathematik.
Autoren-Porträt von Martin Ziegler
Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.
Bibliographische Angaben
- Autor: Martin Ziegler
- 2011, 2010, 116 Seiten, Deutsch
- Verlag: Springer Basel AG
- ISBN-10: 3034606524
- ISBN-13: 9783034606523
- Erscheinungsdatum: 23.03.2011
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 1.77 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Mathematische Logik / Mathematik Kompakt"
Schreiben Sie einen Kommentar zu "Mathematische Logik / Mathematik Kompakt".
Kommentar verfassen