Mezel H. Mathematical and Computing Models in Quantum Informatics.

Thesis is devoted to actual scientific and applied tasks – building a mathematical model of quantum computing system (quantum machine), based on which the technology of computer experiment designed to study quantum information processes. This technology models to test a number of properties and effects that are typical for quantum information processes. In this work the three step model of quantum operations and set-tem is that it allows to describe a unified quantum-unitary transformation of oral and irreversible. Based on this mathematical model created a model of quantum automaton as a system of interacting quantum operations. The theoretical results allowed us to develop methods of synthesis and verification of quantum operations in terms of characteristic operator-quantum world cinema channel.