img Leseprobe Leseprobe

Einführung in die Mathematische Logik

Ein Lehrbuch

Wolfgang Rautenberg

PDF
22,99
Amazon 24,99 € iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Vieweg & Teubner img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Grundlagen

Beschreibung

Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.

Kundenbewertungen

Schlagwörter

Vollständigkeit, Prädikatenlogik, Ultraprodukt, Logik, Mathematische Logik, Resolution, Aussagenlogik, Modelltheorie