Einführung in die Mathematische Logik (PDF)
Ein Lehrbuch
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...
sofort als Download lieferbar
eBook (pdf)
38.03 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Einführung in die Mathematische Logik (PDF)“
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.
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.
Autoren-Porträt von Wolfgang Rautenberg
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.
Bibliographische Angaben
- Autor: Wolfgang Rautenberg
- 2013, 2., verb. und erweiterte Aufl. 2002, 256 Seiten, Deutsch
- Verlag: Vieweg+Teubner Verlag
- ISBN-10: 3322915182
- ISBN-13: 9783322915184
- Erscheinungsdatum: 01.07.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 26 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Einführung in die Mathematische Logik"
Schreiben Sie einen Kommentar zu "Einführung in die Mathematische Logik".
Kommentar verfassen