Skip to main content
  • Textbook
  • © 2018

Einführung in die mathematische Logik

  • DIE fundierte deutschsprachige Einführung in die mathematische Logik

  • Gut verständlich und mit vielen Aufgaben inkl. Lösungshinweisen

  • In der Neuauflage didaktisch überarbeitet und inhaltlich erweitert

  • Includes supplementary material: sn.pub/extras

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-58029-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 39.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (14 chapters)

  1. Front Matter

    Pages i-ix
  2. Einleitung

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 1-8
  3. Syntax der Sprachen erster Stufe

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 9-25
  4. Semantik der Sprachen erster Stufe

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 27-60
  5. Ein Sequenzenkalkül

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 61-77
  6. Der Vollständigkeitssatz

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 79-90
  7. Der Satz von Löwenheim und Skolem und der Endlichkeitssatz

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 91-103
  8. Zur Tragweite der ersten Stufe

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 105-122
  9. Syntaktische Interpretationen und Normalformen

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 123-143
  10. Erweiterungen der Logik erster Stufe

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 145-158
  11. Berechenbarkeit und ihre Grenzen

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 159-224
  12. Freie Modelle und Logik-Programmierung

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 225-280
  13. Eine algebraische Charakterisierung der elementaren Äquivalenz

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 281-298
  14. Die Sätze von Lindström

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 299-316
  15. Lösungshinweise zu den Aufgaben

    • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
    Pages 317-350
  16. Back Matter

    Pages 351-367

About this book

Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? 

Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe. 

Die Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus. 

Für die vorliegende 6. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert.

Die Autoren

Prof. Dr. Heinz-Dieter Ebbinghaus und Prof. Dr. Jörg Flum forschen am Mathematischen Institut der Universität Freiburg, Prof. Dr. Wolfgang Thomas am Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) der RWTH Aachen.


Keywords

  • Prädikatenlogik
  • Gödelsche Unvollständigkeitssätze
  • logische Programmierung
  • Sätze von Lindström
  • Modelltheorie

Authors and Affiliations

  • Abt. Mathematische Logik, Universität Freiburg Mathematisches Institut, Freiburg, Germany

    Heinz-Dieter Ebbinghaus, Jörg Flum

  • Lehrstuhl für Informatik 7, RWTH Aachen, Aachen, Germany

    Wolfgang Thomas

About the authors

Prof. Dr. Heinz-Dieter Ebbinghaus und Prof. Dr. Jörg Flum forschen am Mathematischen Institut der Universität Freiburg, Prof. Dr. Wolfgang Thomas am Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) der RWTH Aachen.


Bibliographic Information

  • Book Title: Einführung in die mathematische Logik

  • Authors: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

  • DOI: https://doi.org/10.1007/978-3-662-58029-5

  • Publisher: Springer Spektrum Berlin, Heidelberg

  • eBook Packages: Life Science and Basic Disciplines (German Language)

  • Copyright Information: Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2018

  • Softcover ISBN: 978-3-662-58028-8

  • eBook ISBN: 978-3-662-58029-5

  • Edition Number: 6

  • Number of Pages: IX, 367

  • Number of Illustrations: 16 b/w illustrations

  • Topics: Mathematics

Buying options

eBook USD 29.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-58029-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 39.99
Price excludes VAT (USA)