Blick ins Buch

Einführung in die Mathematische Logik

Ein Lehrbuch

Wolfgang Rautenberg (Autor)

Buch | Softcover

XXI, 257 Seiten

2008 | 3., überarb. Aufl. 2008
Vieweg & Teubner (Verlag)
978-3-8348-0578-2 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Artikel merken

Logik für Mathematiker und Informatiker

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.

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.

Erscheint lt. Verlag	15.7.2008
Zusatzinfo	XXI, 257 S.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	475 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Aussagenlogik • Logik • Logikprogrammierung • Mathematische Logik • Modelltheorie • Prädikatenlogik • Resolution • Ultraprodukt • Unvollständigkeitssatz • Vollständigkeit
ISBN-10	3-8348-0578-5 / 3834805785
ISBN-13	978-3-8348-0578-2 / 9783834805782
Zustand	Neuware