This book focuses on numerous examples of tasks represented by c-e structure. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify behavior of data structures.
This book focuses on numerous examples of tasks represented by c-e structure. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify behavior of data structures.
This book presents the adaptation of cause-effect structures to the formal description of phenomena such as the behaviour of living objects, the mutual communication of living cells, but also such as the growth of crystals and other natural processes.