Systems and Computer Science : : Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965 / / ed. by John Hart, Satoru Takasu.

• Superior document: Title is part of eBook package: De Gruyter University of Toronto Press eBook-Package Archive 1933-1999
• MitwirkendeR: Amarel, Saul,; Arbib, Michael A.,; Brozowski, J. A.,; Corn, Saul,; Elgot, C.C.,; Hart, John F.,; Hartmanis, J.,; McNaughton, Robert,; Mesarovič, Mihajlo D.,; Robinson, A.,; Robinson, J.A.,; Rutledge, J.D.,; Takasu, Satoru,; Windeknecht, Thomas G.,
• HerausgeberIn: Hart, John,; Takasu, Satoru,
• Place / Publishing House: Toronto : : University of Toronto Press, , [2019]; ©1967
• Year of Publication: 2019
• Language: English
• Series: Heritage
• Physical Description: 1 online resource (264 p.) :; figures, graphs, equations throughout

This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universities. The papers focus attention on some of the concepts of Computer Science as a new field of study and at the same time provide a background for scientists looking at the subject for the first time. The chief developments in computer science have been concerned with the "applied" rather than the "pure" areas of the field: numerical analysis, applied statistics and operations research, and data processing. But there is something more to computers than the physical components and this book represents an attempt to correct the imbalance between "applied" and "pure" by drawing attention to certain theoretical aspects of computer and information science. Among the topics discussed are the theory of finite and infinite automata, aspects of formal language theory, heuristic and non-heuristic approaches to theorem proving and the mathematical formulation of the theory of general systems. There are also references to the problems of machine design, to software systems including higher-level languages, to multiple control computer models and to applied systems. This collection of papers will appeal first to graduate students and professors in Computer Science. It will also be of interest to computer scientists in industry and in government and university research groups and to the scientific public interested in discovering some of the principal ingredients and directions of the computer and information sciences.

Table of Contents

Frontmatter -- Preface -- Acknowledgment -- Contents -- On the Structure of Finite Automata -- Synthesis of Sequential Machines -- Techniques for Manipulating Regular Expressions -- Some Comments on Self-Reproducing Automata -- Multiple Control Computer Models -- Explicit Definitions and Linguistic Dominoes -- Heuristic and Complete Processes in The Mechanization of Theorem Proving -- An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus -- New Directions in General Theory of Systems -- Concerning an Algebraic Theory of Systems -- REFERENCES