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

Скорочена інформація про документ
dc.contributor.authorДоценко, В.А.
dc.date.accessioned2010-12-27T13:50:09Z
dc.date.available2010-12-27T13:50:09Z
dc.date.issued2007
dc.description.abstractРозглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.uk_UA
dc.description.abstractA 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.uk_UA
dc.description.abstractРассматривается общая схема обратного метода С.Ю. Маслова для исчисления высказываний. Описан ряд эвристических стратегий и правил вывода по сокращению перебора. Сформулирован конструктивный алгоритм обратного метода для исчисления высказываний.uk_UA
dc.identifier.citationКонструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр.uk_UA
dc.identifier.issn1681–6048
dc.identifier.udc681:519.68
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/14635
dc.language.isoukuk_UA
dc.publisherНавчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН Україниuk_UA
dc.statuspublished earlieruk_UA
dc.subjectПроблемно і функціонально орієнтовані комп’ютерні системи та мережіuk_UA
dc.titleКонструктивний алгоритм зворотного методу для числення висловлюваньuk_UA
dc.title.alternativeConstructive algorithm for inverse method of sentential calculusuk_UA
dc.title.alternativeКонструктивный алгоритм обратного метода для исчисления высказыванийuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
06-Dotsenko.pdf
Розмір:
257.29 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
895 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Системні дослідження та інформаційні технології, 2007, № 2