Iteration Theories: The Equational Logic of Iterative Processes - Stephen L. Bloom, Zoltan Esik - książka wyd. 1993

Opis

The book explores mathematical frameworks for modeling iterative processes in computer science and logic. It develops the concept of iteration theories, which provide a formal, equational approach to understanding repeated computations, recursion, and feedback in systems. Topics include algebraic structures, fixed-point equations, and the logical foundations of loops and iterative algorithms, making the work valuable for researchers in theoretical computer science, formal methods, and programming language semantics.