2007

Постійне посилання на фонд

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

Переглянути

Перегляд 2007 за Ключові слова "681:519.68"

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