Skip to main content
SpringerLink
Log in
Book cover

Vorlesungen über Informatik pp 141–208Cite as

Grundlagen aus der formalen Logik

  • Chapter

  • 56 Accesses

Part of the book series: Springer-Lehrbuch ((SLB))

Zusammenfassung

Die Logik, genauer, die formale Logik, untersucht die Verknüpfung von Aussagen and ihre Schlußfolgerung. Sie abstrahiert dabei vom konkreten Gegenstandsbe-reich and betrachtet nur, was man aus der Struktur der Aussagen schließen kann.

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

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.

Referenzen

  1. Aristoteles, 384–322 V. Chr., griechischer Philosoph. Die megarisch-stoische Schule des Euklid von Megara, ca. 450–380 v. Chr., kennt bereits den Begriffder aussagenlogischen Variablen, der Aristoteles fremd war.

    Google Scholar 

  2. engl. wellformed.

    Google Scholar 

  3. engl. satisfiability problem.

    Google Scholar 

  4. Alfred HoRN, Logiker. In (HoRN i95i) formuliert er spezielle Kriterien fir die Disjunktio-nen, die heute Hornklauseln heißen.

    Google Scholar 

  5. engl. overflow.

    Google Scholar 

  6. Im Englischen heißt pi eine don’t care Variable.

    Google Scholar 

  7. Willard van Orman Quine, amerikanischer Logiker und Philosoph, geb. 1908.

    Google Scholar 

  8. engl. ordered binary decision diagram(OBDD).

    Google Scholar 

  9. engl. sequential (logic) circuit

    Google Scholar 

  10. engl. negation by failure.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Postfach 6980, D-76128, Karlsruhe, Deutschland

    Prof. Dr. Gerhard Goos

Authors
  1. Prof. Dr. Gerhard Goos
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Goos, G. (1995). Grundlagen aus der formalen Logik. In: Vorlesungen über Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10818-5_4

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57281-7

  • Online ISBN: 978-3-662-10818-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation