|
|
|
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
Kontakt zur Wurzel
Feedback zur Website
Datenschutz