Advertisement

Eigenschaften der Prädikatenlogik

  • Eberhard Bergmann
  • Helga Noll
Part of the Heidelberger Taschenbücher book series (HTB, volume 187)

Zusammenfassung

Die ersten beiden Paragraphen dieses Kapitels dienen dazu, einen Überblick über die wichtigsten prädikatenlogischen Gesetze zu geben, ehe im § 10 eine der zentralen Fragestellungen der mathematischen Logik, die Zurückführung des inhaltlichen Folgerns auf „Rechenregeln“ in Angriff genommen wird. § 11 behandelt den Vollständigkeitssatz der Prädikatenlogik. Als Abschluß des Kapitels dann im § 12 Entscheidbarkeitsfragen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Zitate aus Kapitel 4

  1. [Ack 54]
    W. Ackermann: Solvable Cases of the Decision Problem. Amsterdam: North-Holland 1954zbMATHGoogle Scholar
  2. [Bi 67]
    G. Birkhoff: Lattice Theory. Providence (Rh. I.): Americ. Math. Soc. 1967Google Scholar
  3. [BL74]
    W. D. Brainerd and L. H. Landweber: Theory of Computation. New York: John Wiley 1974Google Scholar
  4. [Bo 62]
    J. M. Bocheński: Formale Logik. Freiburg, München: K. Alber, 2. Aufl. 1962Google Scholar
  5. [Can III]
    M. Cantor: Vorlesungen über Geschichte der Mathematik (4 Bde). Band 3: 1907 ( Nachdruck New York: Johnson Reprint Corp. 1965 )Google Scholar
  6. [Ch 56]
    A. Church: Introduction to Mathematical Logic. Princeton (N.J.): Princeton Univ. Press 1956Google Scholar
  7. [Eng 74]
    J. Engelfriet: Simple Program Schemes and Formal Languages. Berlin, Heidelberg, New York: Springer 1974 [FLDL66] T. B. Steel (ed.): Formal Language Description Languages for Computer Programming. Amsterdam, London: North-Holland 1966Google Scholar
  8. [Frie 63 a]
    J. Friedman: A semi-decision procedure for the functional calculus. J.ACM 10,1–24(1963)Google Scholar
  9. [Frie 63 b]
    J. Friedman: A computer program for a solvable case of the decision problem. J.ACM 10, 348–356 (1963)zbMATHCrossRefGoogle Scholar
  10. [Gr 75]
    S. Greibach: Theory of Program Structures: Schemes, Semantics, Verification. Berlin, Heidelberg, New York: Springer 1975zbMATHCrossRefGoogle Scholar
  11. [HB I]
    D. Hilbert und P. Bernays: Grundlagen der Mathematik I. Berlin: Springer 1934zbMATHGoogle Scholar
  12. [He 70]
    H. Hermes: Entscheidungsproblem und Dominospiele. In: K. Jacobs (Hrsg.): Selecta Mathematica II. Berlin, Heidelberg, New York: Springer 1970, 114–140Google Scholar
  13. [He 71]
    H. Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin, Heidelberg, New York: Springer 1971zbMATHGoogle Scholar
  14. [He 72]
    H. Hermes: Einführung in die mathematische Logik. Stuttgart: Teubner 1972zbMATHGoogle Scholar
  15. [HW 73]
    C. A. R. Hoare and N. Wirth: An axiomatic definition of the programming language PASCAL. Acta Informatica 2, 335–355 (1973)CrossRefGoogle Scholar
  16. [Jø 31]
    J. Jørgensen: A Treatise of Formal Logic (3 Bde). Bd 1: 1931 ( Nachdruck New York: Russell amp Russell 1962 )Google Scholar
  17. [Klr 70]
    R. Klar: Digitale Rechenautomaten. Berlin: de Gruyter 1970Google Scholar
  18. [LPP 67]
    D. Luckham, D. Park and M. Paterson: On formalised computer programs. Programming Research Group, Oxford University, August 1967Google Scholar
  19. [LLS 70]
    P. Lucas, P. Lauer and H. Stigleitner: Method and notation for the formal definition of programming languages. IBM Laboratory Vienna TR 25.087, Wien 1968, revidiert 1970Google Scholar
  20. [LT 71]
    K. Berka und L. Kreiser (Hrsg.): Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. Berlin (DDR): Akademie-Verlag 1971Google Scholar
  21. [Ly66]
    R. Lyndon: Notes on Logic. New York: Van Nostrand 1966zbMATHGoogle Scholar
  22. [Man 69]
    Z. Manna: Properties of programs. J.ACM 16, 244–255 (1969)zbMATHCrossRefGoogle Scholar
  23. [Man 74]
    Z. Manna: Mathematical Theory of Computation. New York: McGraw-Hill 1974zbMATHGoogle Scholar
  24. [Ru67]
    H. Rutishauser: Description of ALGOL 60. Berlin, Heidelberg, New York: Springer 1967Google Scholar
  25. [Sa 70]
    H. Sachs: Einführung in die Theorie der endlichen Graphen. Leipzig: Teubner 1970zbMATHGoogle Scholar
  26. [Sh 67]
    J. Shoenfield: Mathematical Logic. Reading (Mass.): Addison-Wesley 1967Google Scholar
  27. [Smu 68]
    R. Smullyan: First Order Logic. Berlin, Heidelberg, New York: Springer 1968zbMATHGoogle Scholar
  28. [SSAL 71]
    E. Engeler (ed.): Symposion on Semantics of Algorithmic Languages. Berlin, Heidelberg, New York: Springer 1971Google Scholar
  29. [Sur 59]
    J. Surányi: Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe. Budapest: Ungar. Akad. d. Wiss. 1959zbMATHGoogle Scholar
  30. [Ta 36 b]
    A. Tarski: Über den Begriff der logischen Folgerung. Nachgedruckt in [LT 71]Google Scholar
  31. [Ten 76]
    R. D. Tennant: The denotational semantics of programming languages. C.ACM 19, 437–453 (1976)CrossRefGoogle Scholar
  32. [TMR 71]
    A. Tarski, A. Mostowski and R. M. Robinson: Undecidable Theories. Amsterdam: North-Holland 1971Google Scholar
  33. [Weg 72]
    P. Wegner: The Vienna definition language. Computing Surveys 4, 5–63 (1972)MathSciNetzbMATHCrossRefGoogle Scholar
  34. [Wh 58]
    A. N. Whitehead: Eine Einführung in die Mathematik. Bern, München: Francke 1958Google Scholar
  35. [Yas 71]
    A. Yasuhara: Recursive Function Theory and Logic. New York: Chelsea 1971zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Eberhard Bergmann
    • 1
  • Helga Noll
    • 1
  1. 1.Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte InformationssystemeTechnische Universität BerlinGermany

Personalised recommendations