Опис навчальної дисципліни

The discipline is designed to provide graduate students with the necessary knowledge related to calculations, taking into account the current level of development of science, in particular, quantum physics.

In particular, different approaches to the formalization of the computational process are considered: Boolean algebra, Turing machine and lambda – Church’s calculus. The concept of bit and quantum bit is analyzed. Approaches to describe quantum logic elements and quantum schemes: superdense coding and teleportation are considered. Features of algorithms and languages ​​for quantum programming are discussed.

The purpose of the course is to provide students with knowledge of the latest direction of development – quantum computer science, which was formed in the last 20 years on the basis of classical information theory, computer science and quantum mechanics. Studying the course will contribute to the formation of a modern scientific worldview of graduate students.

Upon completion of this course the student will

Know:

qubits – as the basic concept of quantum computer science;
description of the state and dynamics of the system in quantum mechanics;
quantum mechanical measurements;
formation of the space of many qubits (tensor product);
basic single-qubit and double-qubit quantum logic elements;
quantum networks;
use of confusing and superpositional states to solve computer science problems (superdense coding, teleportation);
basic quantum algorithms;
features of programming languages ​​for quantum computing.

Be able:

describe the state and dynamics of quantum mechanical systems;
determine the state of the system after measurement;
to form the space of many qubits;
apply the action of one- and two-qubit quantum elements;
explain the principles of supercoding and quantum teleportation.