Wolfgang Rautenberg

Einführung in die Mathematische Logik (eBook, PDF)

Ein Lehrbuch

• Format: PDF

Produktbeschreibung

Dieses recht 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 der Philosophischen Logik. Der Text der ersten Auflage wurde in allen Details gründlich revidiert. Insbesondere wurden die Kapitel 6 und 7 über Unentscheidbarkeit und Unvollständigkeit neu organisiert und erheblich erweitert. Kapitel 7 geht jetzt über den zweiten Unvollständigkeitssatz hinaus und berücksichtigt die neuere Entwicklung. Die Darstellung in den ersten drei Kapiteln ist ziemlich breit gehalten, so dass der Student noch vor einer Vorlesung auch im Selbststudium den Stoff mühelos bewältigen kann. Klarheit in der Sprache und ein ordentliches Schriftbild sollten dabei helfen. Es gibt in diesem Buche keine Formeltrennungen im Zeilenumbruch. Kapitel 4 befasst sich mit den Grundlagen der Logikprogrammierung. Die berechenbaren Funktionen lassen sich sehr natürlich durch PROLOG-Programme definieren. Damit wird die Unentscheidbarkeit des Existenzproblems erfolgreicher Resolutionen bewiesen. Dies erklärt die Schwierigkeiten, die mit der Problemlösung durch Anfragen an Logikprogramme zusammenhängen.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Vieweg+Teubner Verlag
• Seitenzahl: 256
• Erscheinungstermin: 1. Juli 2013
• Deutsch
• ISBN-13: 9783322915184
• Artikelnr.: 53149389

Autorenporträt

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