Skip to main content
SpringerLink
Log in

Einführung in die mathematische Logik

  • Textbook
  • © 2018

Overview

Authors:
  1. Heinz-Dieter Ebbinghaus

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

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Jörg Flum

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

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Wolfgang Thomas

    1. Lehrstuhl für Informatik 7, RWTH Aachen, Aachen, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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

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 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  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
    Download chapter PDF
Back to top

Keywords

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.

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-8Published: 15 October 2018

  • eBook ISBN: 978-3-662-58029-5Published: 28 September 2018

  • Edition Number: 6

  • Number of Pages: IX, 367

  • Number of Illustrations: 16 b/w illustrations

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation