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.
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für Beruf und Forschung
- Studierende der Mathematik und der Informatik ab dem 2. Semester
- Fachstudenten der Mathematischen und der Philosophischen Logik
- Dozenten der genannten Fachgebiete
Editions-Typ
Illustrationen
Maße
Höhe: 244 mm
Breite: 170 mm
Dicke: 16 mm
Gewicht
ISBN-13
978-3-8348-0578-2 (9783834805782)
DOI
10.1007/978-3-8348-9530-1
Schweitzer Klassifikation
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.
