В работе представлены результаты разработки высокопроизводительной системы автоматического доказательства теорем для метода доказательств по- зитивно-образованных формул на основе построения параллельных схем ал- горитмов поиска логического вывода. Проведено сравнительное тестирование, показывающее повышение эффективности логического вывода при увеличении количества вычислительных элементов

Дистанционное и виртуальное обучение [Текст] : дайджест российской и зарубежной прессы // ISSN1561-2457 - М. : Современная гуманитарная академия. — М. : Современная гуманитарная академия, 2012.

• УДК // Алгоритми. Обчислювальні функції