Конструктивний алгоритм зворотного методу для числення висловлювань
Вантажиться...
Дата
2007
Автори
Доценко, В. А.
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.
Опис
Ключові слова
Бібліографічний опис
Доценко, В. А. Конструктивний алгоритм зворотного методу для числення висловлювань / Доценко В. А. // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2007. – № 2. – С. 59-73. – Бібліогр.: 7 назв.