Computer science is the study of the objects that can exist inside computers - their behaviour, and how they can be constructed. Computer science is an extension of neither control theory nor of classical mathematical modelling. The late Russian Academician, Andrei P. Ershov seems to have been the first influential Russian to understand this, already from the mid 1950's, and he brought that message to bear on the USSR Academy of Sciences. This volume, therefore, is a contribution not only to the man, but to his country and to the field of computer science. Featured are the works of many scientists from the USSR - works that would otherwise not be widely accessible: a selection of works by Ershov's many colleagues abroad; papers on the man himself and his work; and papers discussing philosophy and theory aspects of the profession and its consequences. This is a book for all students of science and scientists, especially mathematical and computer scientists.
Computer science is the study of the objects that can exist inside computers - their behaviour, and how they can be constructed. Computer science is an extension of neither control theory nor of classical mathematical modelling. The late Russian Academician, Andrei P. Ershov seems to have been the first influential Russian to understand this, already from the mid 1950's, and he brought that message to bear on the USSR Academy of Sciences. This volume, therefore, is a contribution not only to the man, but to his country and to the field of computer science. Featured are the works of many scientists from the USSR - works that would otherwise not be widely accessible: a selection of works by Ershov's many colleagues abroad; papers on the man himself and his work; and papers discussing philosophy and theory aspects of the profession and its consequences. This is a book for all students of science and scientists, especially mathematical and computer scientists.
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
ISBN-13
978-0-444-89338-3 (9780444893383)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Preface. Ershov and Informatics. Andrej Petrovich Ershov (I.V. Pottosin). Selected biography of Ershov's papers (I.V. Pottosin). Andrei P. Ershov - a friend and a rival (S.S. Lavrov). "From hidden places knowledge I obtained" (K. Levitin). Maturing of informatics (J. Gruska and H. Jurgensen). Quality of education with application of new information technologies (B. Sendov and A. Eskenasi). Computing Science. Theory and practice (D.E. Knuth). Analysis of program optimization possibilities and further development (I.V. Pottosin). Transformational approach to program concretization (V. Kasyanov). From partial evaluation to mixed computation (M.A. Bulyonkov). Essence of generalized partial computation (Y. Futamura, K. Nogi and A. Takano). An algebra of mixed computation (V.E. Itkin). Static semantics, types and binding time analysis (N.D. Jones). Prescribing behaviours (W.M. Turski). Four domains for concurrency (J.W. de Bakker and J.H.A. Warmerdam). An algebra of concurrent non-deterministic processes (L.A. Cherkasova and V.E. Kotov). Connectedness and synchronization (A. Mazurkiewicz, A. Rabinovich and B.A. Trakhtenbrot). Higher order dataflow schemas (E. Tyugu). Rapid constructions of algebraic axioms from samples (J.M. Barzdin and G.J. Barzdin). On conservative extensions of syntax in system development (A. Blikle, A. Tarlecki and M. Thorup). A theory for the derivation of C-mos circuit designs (C.A.R. Hoare). A bridge between constructive logic and computer programming (N.N. Nepejvoda).
