Страница публикации

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

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Ларионов А.А., Черкашин Е.А.

Журнал: Дистанционное и виртуальное обучение

Язык публикации: russian

Номера страниц: 93 -100

Количество страниц: 8

Номер: 2

Год публикации: 2012

Отчетный год: 2012

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

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет