Computational Data, Operations, States
摘要
This Chapter fixes the notation for logical terms and formulae to denote STRUCTURES, i.e. elements of sets with an interpretation of their functions, properties and relations. It is explained how these structures by the underlying concept of abstraction and refinement represent a comprehensive notion of STATE of virtual or mechanical computing systems, at whatever level of detail.