Квантовые алгоритмы и их формальная верификациякурсовая работа (Специалист)