Models of a number of eliminations in conditions have been presented. In particular, the models of a number of eliminations in the form of a block diagram of the algorithm, the instructions if() and switch() of algorithmic programming languages, systems of algorithmic algebras and its modifications, as well as two models of algebraic algorithms have been constructed.
Operations of modified system of algorithm algebras [10, 11] and algebra of algorithms [12-15] are presented in the paper. The paper shows operations of mathematical logic on the three-meaning alphabet. It considers converting of logical to operator values that are performed in the system of algorithmic algebras and its modifications. It presents constants, variables and operators, which are components of models of algorithms and systems, as predicates. It gives a comparative assessment of mono- and polycarrier algebras of algorithms.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.