Advertisement

Die Methode der Formalisierang: zwei Beispiele

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

Zusammenfassung

In diesem Kapitel soll demonstriert werden, wie Konzepte der Logik eingesetzt werden können zur Beschreibung von Problemen. Hierzu wird in § 20 ein einfaches Beispiel aus der Grundlagenforschung über Informationssysteme behandelt, danach in § 21 der Versuch, das Formalisieren als Methode zu beschreiben, und im abschlieβenden § 22 ein elementares Beispiel aus der Semantik von Programmiersprachen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Zitate aus Kapitel 6

  1. [Assi]
    G. Asser: Einführung in die mathematische Logik I. Leipzig: Teubner 1964Google Scholar
  2. [Bet 59]
    E. W. Beth: The Foundations of Mathematics. Amsterdam: North-Holland 1959zbMATHGoogle Scholar
  3. [deB71]
    J. W. de Bakker: Axiom systems for simple assignment statements. In: E. Engeler (ed.): Symposion on Semantics of Algorithmic Languages. Berlin, Heidelberg, New York: Springer 1971 (vgl. Kap. 4: [SSAL 71]), 1–22CrossRefGoogle Scholar
  4. [He 71]
    H. Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin, Heidelberg, New York: Springer 1971zbMATHGoogle Scholar
  5. Jae 75]
    M. Jaegermann: Information storage and retrieval systems — mathematical foundations. Part IV: Systems with incomplete information. Computation Centre of the Polish Academy of Sciences, Warszawa 1975, Report No. 215Google Scholar
  6. JMS 75]
    M. Jaegermann, W. Marek and M. Sobolevski: Information storage and retrieval systems — mathematical foundations. Part III: Tree-structured attribute systems. Computation Centre of the Polish Academy of Sciences, Warszawa 1975, Report No. 214Google Scholar
  7. [LD 74]
    K. Laus and M. Dabrowski: A model of information retrieval process for hierarchical set of descriptors. Inform. Stor. Retr. 10, 261–265 (1974)CrossRefGoogle Scholar
  8. [Lip 74 a]
    W. Lipski: Information storage and retrieval system — mathematical foundations. Part II. Computation Centre of the Polish Academy of Sciences, Warszawa 1974, Report No. 153Google Scholar
  9. [Lip 74 a]
    W. Lipski: An efficient method of information retrieval. Computation Centre of the Polish Academy of Sciences, Warszawa 1975, Report No. 194Google Scholar
  10. [LM 75]
    W. Lipski and W. Marek: On information storage and retrieval systems. Computation Centre of the Polish Academy of Sciences, Warszawa 1975, Report No. 200Google Scholar
  11. [MP 74]
    W. Marek and Z. Pawlak: Information storage and retrieval system — mathematical foundations. Part I. Computation Centre of the Polish Academy of Sciences, Warszawa 1974, Report No. 149; siehe auch: Theor. Comp. Science 1, 331–354 (1976)MathSciNetzbMATHCrossRefGoogle Scholar
  12. [Sal 68]
    G. Salton: Automatic Information Organization and Retrieval. New York: McGraw-Hill 1968Google Scholar
  13. [SH 61]
    H. Scholz und G. Hasenjaeger: Grundzüge der mathematischen Logik. Berlin, Heidelberg, New York: Springer 1961zbMATHGoogle Scholar
  14. [Sn 71]
    C. P. Schnorr: Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. Berlin, Heidelberg, New York: Springer 1971zbMATHGoogle Scholar
  15. [Str66]
    C. Strachey: Towards a formal semantics. In: T. B. Steel (ed.): Formal Language Description Languages for Computer Programming. Amsterdam, London: North-Holland 1966 (vgl. Kap. 4: [FLDL 66]), 198–220Google Scholar
  16. [Wan 70]
    H. Wang: Logic, Computers and Sets. New York: Chelsea 1970zbMATHGoogle Scholar
  17. [Wed 74]
    H. Wedekind: Datenbanksysteme I. Mannheim: Bibliogr. Institut 1974zbMATHGoogle 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