Полное описание

Мельцов, В. Ю. Интеллектуальная обработка данных ускоренным методом в логике высказываний / В. Ю. Мельцов, А. А. Гущина, А. А. Чудинов. - Текст : непосредственный // Научно-технический вестник Поволжья : журнал. - 2021. - N 4. - С. 111-114. - Библиогр. в конце ст. - ISSN 2079-5920.
(Шифр в БД У5006/2021/4)

ГРНТИ	УДК
28.23	004.8

Рубрики:
Интеллектуальные системы -- Применение

Кл.слова (ненормированные): метод логического вывода -- логика -- исчисление высказываний -- параллельные вычисления -- программная реализация
Аннотация: В работе рассмотрен ускоренный метод логического вывода в логике высказываний. Особенности метода продемонстрированы на примере. На основе разработанного авторами программного приложения проведен сравнительный анализ ускоренного метода с известными методами последовательной и параллельной резолюции.
Доп. точки доступа:
Гущина, А.А.
Чудинов, А. А.


Имеются экземпляры в отделах: всего 2 : ЧЗХР (1), ХРЦ (1)
Свободны: ЧЗХР (1), ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽