Skip to main content
SpringerLink
Log in
Book cover

Einführung in die Mathematische Logik

Ein Lehrbuch

  • Textbook
  • © 2002

Overview

Authors:
  1. Wolfgang Rautenberg

    1. II. Mathematisches Institut, Freie Universität Berlin, Berlin, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Lehrbuch mit gutem Aufbau, didaktisch hervorragend und aktuell

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Aussagenlogik

    • Wolfgang Rautenberg
    Pages 1-32

  3. Prädikatenlogik

    • Wolfgang Rautenberg
    Pages 33-70

  4. Der Gödelsche Vollständigkeitssatz

    • Wolfgang Rautenberg
    Pages 71-104

  5. Grundlagen der Logikprogrammierung

    • Wolfgang Rautenberg
    Pages 105-130

  6. Elemente der Modelltheorie

    • Wolfgang Rautenberg
    Pages 131-166

  7. Unvollständigkeit und Unentscheidbarkeit

    • Wolfgang Rautenberg
    Pages 167-208

  8. Zur Theorie der Selbstreferenz

    • Wolfgang Rautenberg
    Pages 209-230

  9. Back Matter

    Pages 231-256
    Download chapter PDF
Back to top

Keywords

About this book

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.

Reviews

"Durchweg hervorzuheben sind die klare Sprache und die übersichtliche Anordnung." ekz Bibliotheksservice, ID 42/02

Authors and Affiliations

  • II. Mathematisches Institut, Freie Universität Berlin, Berlin, Deutschland

    Wolfgang Rautenberg

About the author

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

Bibliographic Information

  • Book Title: Einführung in die Mathematische Logik

  • Book Subtitle: Ein Lehrbuch

  • Authors: Wolfgang Rautenberg

  • DOI: https://doi.org/10.1007/978-3-322-91518-4

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2002

  • eBook ISBN: 978-3-322-91518-4Published: 01 July 2013

  • Edition Number: 2

  • Number of Pages: XVI, 256

  • Topics: Mathematical Logic and Foundations, Applications of Mathematics

Publish with us

Policies and ethics

Back to top

Search

Navigation