Einführung in Die Mathematische Logik: Ein Lehrbuch

ISBN-13: 9783834805782 / Niemiecki / Miękka / 2008 / 257 str.

Wolfgang Rautenberg

Opis

Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der Godelschen Unvollstandigkeitssatze auch fur Fachstudenten der Philosophischen Logik.
Fur diese Neuauflage wurde der Text sachlich und stilistisch vollstandig uberarbeitet, er enthalt verbesserte Beweise und Ubungen mit Losungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhangig von Vorlesungen aber auch zum Selbststudium genutzt werden.

"

Spis treści

Aussagenlogik - Prädikatenlogik - Syntax und Semantik - Der Gödelsche Vollständigkeitssatz - Nichtstandardmodelle - Logikprogammierung - Resolution und Unifikation - Elemente der Modelltheorie - Ehrenfeucht-Spiele und Ultraprodukte - Entscheidbarkeit, Unentscheidbarkeit und Unvollständigkeit - Lösungshinweise zu den Übungen

O autorze

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

Blurb

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.
Der Text der 3. Auflage wurde sachlich und stilistisch vollständig überarbeitet, Index und Literaturverzeichnis wurden revidiert. Darüber hinaus wurde eine historisch orientierte Einleitung hinzugefügt.