Конструктивний алгоритм зворотного методу для числення висловлювань

Вантажиться...
Ескіз

Дата

2007

Автори

Доценко, В. А.

Науковий керівник

Назва журналу

Номер ISSN

Назва тому

Видавець

КПІ ім. Ігоря Сікорського

Анотація

Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.

Опис

Ключові слова

Бібліографічний опис

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

DOI