Einführung in die Mathematische Logik

Einführung in die Mathematische Logik

Einband:
Kartonierter Einband
EAN:
9783834805782
Untertitel:
Ein Lehrbuch
Genre:
Mathematik Grundlagen
Autor:
Wolfgang Rautenberg
Herausgeber:
Vieweg+Teubner Verlag
Auflage:
3., überarb. Aufl. 2008
Anzahl Seiten:
257
Erscheinungsdatum:
31.07.2008
ISBN:
978-3-8348-0578-2

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. Die Darstellung ist nun besser auf die Bachelor/Master-Studiengänge in Mathematik und Informatik zugeschnitten. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.




Vorwort
Logik für Mathematiker und Informatiker

Autorentext
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.

Inhalt
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.


billigbuch.ch sucht jetzt für Sie die besten Angebote ...


Die aktuellen Verkaufspreise von 6 Onlineshops werden in Realtime abgefragt.

Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.


Feedback