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