Einführung in die Mathematische Logik

Ein Lehrbuch
3., überarbeitete Auflage 2008
ISBN: 978-3-8348-0578-2
Verlag: Vieweg+Teubner Verlag

Buch, Deutsch, 257 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 488 g

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.

Zielgruppe

- Studierende der Mathematik und der Informatik ab dem 2. Semester
- Fachstudenten der Mathematischen und der Philosophischen Logik
- Dozenten der genannten Fachgebiete

Autoren/Hrsg.

Rautenberg, Wolfgang

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

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

Über Autor(innen)

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