Einführung in die Mathematische Logik - Ein Lehrbuch

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.

Inhaltsverzeichnis

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

Über den Autor / die Autorin

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

Zusammenfassung

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.

Vorwort

Logik für Mathematiker und Informatiker

Produktdetails

• Autoren: Wolfgang Rautenberg
• Verlag: Vieweg+Teubner
• Sprache: Deutsch
• Produktform: Taschenbuch
• Erschienen: 01.01.2008
• EAN: 9783834805782
• ISBN: 978-3-8348-0578-2
• Seiten: 257
• Abmessung: 171 mm x 244 mm x 20 mm
• Gewicht: 489 g
• Illustration: XXI, 257 S.
• Serien: Vieweg Studium; Studium; Studium
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen; Mathematik : Lehrwerke, Logik (mathematisch), Logic, Angewandte Mathematik, Theoretische Informatik, Theory of Computation, Logics and Meanings of Programs, Mathematics and Statistics, Philosophie: Logik, Applications of Mathematics, Engineering mathematics, Applied mathematics, Computer programming / software engineering, Mathematical logic, Philosophy: logic, Computer architecture & logic design, Computer logic