Cantitate/Preț
Produs

Selected Papers

Autor Calvin C. Elgot Editat de Stephen L. Bloom Cuvânt înainte de Dana S. Scott Contribuţii de Samuel Eilenberg
en Limba Engleză Paperback – 18 oct 2011
Cal Elgot was a very serious and thoughtful researcher, who with great determi­ nation attempted to find basic explanations for certain mathematical phenomena­ as the selection of papers in this volume well illustrate. His approach was, for the most part, rather finitist and constructivist, and he was inevitably drawn to studies of the process of computation. It seems to me that his early work on decision problems relating automata and logic, starting with his thesis under Roger Lyndon and continuing with joint work with Biichi, Wright, Copi, Rutledge, Mezei, and then later with Rabin, set the stage for his attack on the theory of computation through the abstract treatment of the notion of a machine. This is also apparent in his joint work with A. Robinson reproduced here and in his joint papers with John Shepherdson. Of course in the light of subsequent work on decision problems by Biichi, Rabin, Shelah, and many, many others, the subject has been placed on a completely different plane from what it was when Elgot left the area. But I feel that his papers, results-and style-were very definitely influential at the time and may well have altered the course of the investigation of these problems. As Sammy Eilenberg explains, the next big influence on Elgot's thinking was category theory, which gave him a way of expressing his ideas in a sharply algebraic manner. The joint book with Eilenberg is one illustration of this influence.
Citește tot Restrânge

Preț: 39109 lei

Nou

Puncte Express: 587

Preț estimativ în valută:
7484 7873$ 6196£

Carte tipărită la comandă

Livrare economică 14-28 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781461381792
ISBN-10: 1461381797
Pagini: 488
Ilustrații: 460 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.68 kg
Ediția:Softcover reprint of the original 1st ed. 1982
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

[4] Realization of Events.- [17] Random-Access Stored-Program Machines, an Approach to Programming Languages.- [25] Abstract Algorithms and Diagram Closure.- [32] Algebraic Theories and Program Schemes.- [31] The Common Algebraic Structure of Exit-Automata and Machines.- [34] Monadic Computation and Iterative Algebraic Theories.- [38] On the Algebraic Structure of Rooted Trees.- [43] Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation.- [44] Vector Iteration in Pointed Iterative Theories.- [37] Structured Programming With and Without GO TO Statements.- [42] A Semantically Meaningful Characterization of Reducible Flowchart Schemes.- [50] An Equational Axiomatization of the Algebra of Reducible Flowchart Schemes.- [48] On Coordinated Sequential Processes.