Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2

Постійне посилання зібрання

https://ela.kpi.ua/handle/123456789/66094

Переглянути

Перегляд Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2 за Ключові слова "681:519.68"

Зараз показуємо 1 - 1 з 1
  • Ескіз
    ДокументВідкритий доступ
    Конструктивний алгоритм зворотного методу для числення висловлювань
    (КПІ ім. Ігоря Сікорського, 2007) Доценко, В. А.
    Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.