35451

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы

ISBN/ISSN: 

ISBN – 978-5-905675-71-3.

Наименование конференции: 

  • 15-я Международная конференция «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва)

Наименование источника: 

  • Труды 15-й Международной конференции «Системы проектирования, технологической подготовки производства и управления эта-пами жизненного цикла про-мышленного продукта» (CAD/CAM/PDM-2015, Москва)

Город: 

  • Москва

Издательство: 

  • ООО "Аналитик"

Год издания: 

2015

Страницы: 

78-82
Аннотация
Аннотация. Данный доклад является продолжение пленарного доклада П.А. Правильщикова "Проблема алгоритмической разрешимости и полуразрешимости формальных систем и её решение с использованием квантового генератора тестов." на той же конференции. Приводится схема квантового генератора тестов (КГТ), который является вычислительной моделью квантового ускорителя, используемого для решения сложных задач и, в частности, для доказательства теорем. Логические основы КГТ рассмотрены в [1]. Излагается квантовый D-алгоритм (QD-алгоритм), под который «подогнан» КГТ и правила исчисления кубических комплексов. QD-алгоритм иллюстрируется примером решения проблемы доказательства теоремы. В заключении приводится краткий обзор состояния и трендов развития квантовых компьютеров (КК), а также выводы.

Библиографическая ссылка: 

Правильщиков П.А. Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы / Труды 15-й Международной конференции «Системы проектирования, технологической подготовки производства и управления эта-пами жизненного цикла про-мышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: ООО "Аналитик", 2015. С. 78-82.