search for books and compare prices
Stephen L. Bloom has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: 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...read more
Paperback:
9781461381792 | Springer-Verlag New York Inc, October 18, 2011, cover price $99.00 | About this edition: 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.
Written both for graduate students and research scientists in theoretical computer science and mathematics, this book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantic models, the equational properties of the fixed point operation are captured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and infinitary regular languages, trees, synchronization trees, 2-categories, and others. The book begins with a gentle introduction to the study of universal algebra in the framework of algebraic theories. A remarkably useful calculus is developed for manipulating algebraic theory terms. The reader is then guided through a vast terrain of theorems and applications by means of detailed proofs, examples, and exercises, with the emphasis on equational proofs. The last chapter shows that the familiar topic of correctness logic is a special case of the equational logic of iteration theories. Several significant open problems are scattered throughout the text.
Hardcover:
9780387563787 | Springer Verlag, July 1, 1993, cover price $128.00 | About this edition: Written both for graduate students and research scientists in theoretical computer science and mathematics, this book provides a detailed investigation of the properties of the fixed point or iteration operation.
Paperback:
9783642780363 | Reprint edition (Springer-Verlag New York Inc, December 16, 2011), cover price $149.00
Product Description: 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...read more
Hardcover:
9780387906980 | Springer Verlag, July 1, 1982, cover price $99.00 | also contains Best Bike Rides Las Vegas: The Greatest Recreational Rides in the Metro Area | About this edition: 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.
displaying 1 to 3 |
at end