Einführung In Die Mathematische Logik: Ein Lehrbuch (german Edition)

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. 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. Front Matter....Pages i-xxi Aussagenlogik....Pages 1-32 Prädikatenlogik....Pages 33-70 Der Gödelsche Vollständigkeitssatz....Pages 71-104 Grundlagen der Logikprogrammierung....Pages 105-130 Elemente der Modelltheorie....Pages 131-166 Unvollständigkeit und Unentscheidbarkeit....Pages 167-208 Zur Theorie der Selbstreferenz....Pages 209-230 Back Matter....Pages 231-256 Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der Goedelschen Unvollstandigkeitssatze auch fur Fachstudenten der Philosophischen Logik.