The algebraic approach to the theory of computing systems

  • Jerzy Tiuryn
Computing Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)


Representation Theorem Digital Computer Partial Function Natural Topology Fixed Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ARBIB, M.A. Theories of Abstract Automata, Englewood Cliffs, N.J., Prentice-Hall, 1969.Google Scholar
  2. [2]
    ENGELKING, R. Outline of General Topology, North-Holland Publ. Comp., Amsterdam, 1968.Google Scholar
  3. [3]
    MAC-LANE, S. Categories for the Working Mathematician, Springer-Verlag 1971.Google Scholar
  4. [4]
    PAWLAK, Z. A Mathematical Model of Digital Computers, in Proc. Conf. on Theory of Autom. and Form. Lang., Bonn, 1973, Springer-Verlag, 16–22.Google Scholar
  5. [5]
    PAWLAK, Z. On the Notion of a Computer, Logic, Methodology and Philosophy of Science III, Amsterdam, 1967, 255–267.Google Scholar
  6. [6]
    RASIOWA, H.; SIKORSKI, R. The Mathematics of Methamathematics, P.A.N. Monogr. Matematyczne, P.W.N. Warszawa, 1963.Google Scholar
  7. [7]
    SPANIER, E.H. Algebraic Topology, Mc Graw-Hill, New York, 1966.Google Scholar
  8. [8]
    TIURYN, J. Groupoids with given Automorphism Group, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys., to appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Jerzy Tiuryn
    • 1
  1. 1.Institute of MathematicsUniversity of WarsawWarsawPoland

Personalised recommendations