Полное описание
> Мельцов, В. Ю. Интеллектуальная обработка данных ускоренным методом в логике высказываний / В. Ю. Мельцов, А. А. Гущина, А. А. Чудинов. - Текст : непосредственный // Научно-технический вестник Поволжья : журнал. - 2021. - N 4. - С. 111-114. - Библиогр. в конце ст. - ISSN 2079-5920.
ГРНТИ | УДК | |
28.23 | 004.8 |
Рубрики:
Интеллектуальные системы -- Применение
Кл.слова (ненормированные): метод логического вывода -- логика -- исчисление высказываний -- параллельные вычисления -- программная реализация
Аннотация: В работе рассмотрен ускоренный метод логического вывода в логике высказываний. Особенности метода продемонстрированы на примере. На основе разработанного авторами программного приложения проведён сравнительный анализ ускоренного метода с известными методами последовательной и параллельной резолюции.
Доп. точки доступа:
Гущина, А.А.
Чудинов, А. А.
>
Имеются экземпляры в отделах: всего 2 : ЧЗХР (1), ХРЦ (1)
Свободны: ЧЗХР (1), ХРЦ (1)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -230956-340985)>
Шифр в сводном ЭК: 230d46d8c89761848c9cea35638f8c66
Заказ фрагмента документа ₽