Rautenberg Einführung in die Mathematische Logik
3. Auflage 2008
ISBN: 978-3-8348-9530-1
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Ein Lehrbuch
E-Book, Deutsch, 270 Seiten
ISBN: 978-3-8348-9530-1
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
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
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.