Die Wurzel (Zur Übersicht)



www.wurzel.org



Zeitschrift   Werkstatt   Service   Verein   Hilfe  

Zeitschrift für Mathematik

Übersicht Inhalt Kontakt 


Einführung in die Mathematische Logik
Wolfgang Rautenberg

Das Lehrbuch Einführung in die Mathematische Logik enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren) sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Vorstellung der Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel. Unabhängig von Vorlesungskonzepten ist das Lehrbuch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Einige Stichwörter aus dem Inhalt: Aussagenlogik, Prädikatenlogik, der Gödelsche Vollständigkeitssatz, Grundlagen der Logikprogrammierung, Elemente der Modelltheorie, Unvollständigkeit und Unentscheidbarkeit, Theorie der Selbstreferenz.

André Große

Kurzinfo

Walter Rautenberg
Einführung in die Mathematische Logik

Vieweg Verlag · Wiesbaden 2002.
2. Auflage, 256 Seiten, Broschur.
ISBN 3-528-16754-8; € 26,90.

Jetzt bestellen

> Die Wurzel > Zeitschrift > Bücher

Anfang

Übersicht  Zeitschrift  Werkstatt  Service  Verein  Hilfe
eMail  Kontakt zur Wurzel   Feedback zur Website Datenschutz


© 1996-2020 Wurzel e.V. Alle Rechte vorbehalten.