Numerical tasks of quantum computer circuits modeling

This paper is devoted to tasks of modeling quantum computer circuits. We give a brief introduction to the mathematical formalism of quantum gates (an analog of logic gates of classical computers). Further, we consider important tasks of quantum computer circuits' modeling and provide some examples of numerical solutions of such problems. Computational features of such tasks and the reasons behind the need to use high-performance computational systems are also considered. Finally, the results of supercomputer modeling of many-qubit quantum Fourier transform and Grovers's algorithm are provided.