Skip to main content
SpringerLink
Log in
Book cover

Mathematische Logik mit Informatik-Anwendungen pp 4–25Cite as

Einführung und Motivation

  • Chapter

Part of the book series: Heidelberger Taschenbücher ((HTB,volume 187))

Zusammenfassung

Wir können an dieser Stelle natürlich nicht motivieren, warum sich ein Informatiker (oder Mathematiker) mit Logik beschäftigen sollte, sondern wollen anhand eines Beispiels aus dem Gebiet der Programmiersprachen dem Neuling ein wenig die Scheu vor dem noch neuen, unbekannten Gebiet nehmen, indem deutlich werden wird, daβ Begriffe und Vorgehensweise der Logik in einem konsequenten Betrachten des Auswertens von arithmetischen und booleschen Ausdrücken schon enthalten sind.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.95
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

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Zitate aus Kapitel 2

  1. J. W. Backus u. a. (Hrsg.): Revised Report on the Algorithmic Language ALGOL 60. Numerische Mathematik 4, 420–453 (1963)

    Article  MathSciNet  Google Scholar 

  2. R. Baumann: ALGOL-Manual der ALCOR-Gruppe. München, Wien: Olden- bourg 1969

    Google Scholar 

  3. J. M. Bocheński: Formale Logik. Freiburg, München: K. Alber, 2. Aufl. 1962

    Google Scholar 

  4. R. Carnap: Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen. Wien: Springer 1954

    MATH  Google Scholar 

  5. A. Church: Introduction to Mathematical Logic. Princeton (N.J.): Princeton Univ. Press 1956

    MATH  Google Scholar 

  6. G. Klaus: Moderne Logik. Berlin (DDR): Deutscher Verlag der Wissenschaften 1970

    Google Scholar 

  7. G. Klaus und A. Buhr (Hrsg.): Philosophisches Wörterbuch. 2 Bde. Berlin: Verlag das europäische buch 1971

    Google Scholar 

  8. H. Scholz: Abriβ der Geschichte der Logik. Freiburg, München: K. Alber 1959

    Google Scholar 

  9. H. Scholz und G. Hasenjaeger: Grundzüge der mathematischen Logik. Berlin, Heidelberg, New York: Springer 1961

    Google Scholar 

  10. A. Tarski: Einführung in die mathematische Logik. Göttingen: Vanden- hoeck amp Ruprecht 1966

    MATH  Google Scholar 

  11. A. S. Troelstra: Principles of Intuitionism. Berlin, Heidelberg, New York: Springer 1969

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte Informationssysteme, Technische Universität Berlin, Germany

    Eberhard Bergmann & Helga Noll

Authors
  1. Eberhard Bergmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Helga Noll
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bergmann, E., Noll, H. (1977). Einführung und Motivation. In: Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, vol 187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66635-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-66635-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08202-6

  • Online ISBN: 978-3-642-66635-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation