АННОТАЦИЯ к статье Правильщикова П.А. «КВАНТОВЫЙ ГЕНЕРАТОР ТЕСТОВ КАК ОСНОВА ДОКАЗАТЕЛЬСТВА ТЕОРЕМ С ИСПОЛЬЗОВАНИЕМ КВАНТОВЫХ D-АЛГОРИТМОВ» В статье приводится схема квантового генератора тестов (КГТ), который является вычислительной моделью квантового ускорителя, используемого для решения сложных задач и, в частности, для доказа-тельства теорем. Логические основы КГТ рассмотрены в [1]. Излагается квантовый D-алгоритм (QD-алгоритм), под который «подогнан» КГТ и правила исчисления кубических комплексов. QD-алгоритм ил-люстрируется примером решения проблемы доказательства теоремы. В заключении приводится краткий обзор состояния и трендов развития квантовых компьютеров (КК), а также выводы.