No label defined (Q4785535)

This book deals in fact with two instances of digital systems: computer programs and combinational circuits. The author's idea is to construct computer programs with the aid of pseudo-Boolean functions. The concept of pseudo-Boolean function, which was introduced by \textit{P. L. Hammer} and \textit{S. Rudeanu} [Boolean methods in operations research and related areas, Springer-Verlag (1968; Zbl 0155.28001)] is taken here in a slightly more restrictive sense: a function \(f:\{0,1\}^n \longrightarrow\{\sigma_1,\dots,\sigma_m\}\). The variables \(x_1,\dots,x_n\) and the elements \(\sigma_1,\dots,\sigma_m\) are intended to represent tests and the computations occurring in a computer program, respectively. Table of contents. 1. Basic theory. 2. Matrix instructions, simultaneous synthesis. 3. Proof rules. 4. Optimal synthesis. 5. Multivalued logic and discrete functions. 6. Predicate logic and the synthesis of algorithms. 7. Formal grammar and logic programming The author uses a rather sophisticated notation, but the book is self-contained and based on many examples worked out in all the details.