Конструктивний алгоритм зворотного методу для числення висловлювань
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Конструктивний алгоритм зворотного методу для числення висловлювань
|
|
| Creator |
Доценко, В.А.
|
|
| Subject |
Проблемно і функціонально орієнтовані комп’ютерні системи та мережі
|
|
| Description |
Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.
A general scheme of the inverse method by S. Maslov for the sentential calculus is considered. A line of heuristic strategies and rules of conclusion on reduction of search and a constructive algorithm for the inverse method for the sentential calculus are described. Рассматривается общая схема обратного метода С.Ю. Маслова для исчисления высказываний. Описан ряд эвристических стратегий и правил вывода по сокращению перебора. Сформулирован конструктивный алгоритм обратного метода для исчисления высказываний. |
|
| Date |
2010-12-27T13:50:09Z
2010-12-27T13:50:09Z 2007 |
|
| Type |
Article
|
|
| Identifier |
Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр.
1681–6048 http://dspace.nbuv.gov.ua/handle/123456789/14635 681:519.68 |
|
| Language |
uk
|
|
| Publisher |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
|
|