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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Системні дослідження та інформаційні технології
→
Системні дослідження та інформаційні технології, 2007
→
Системні дослідження та інформаційні технології, 2007, № 2
→
Переглянути статтю

dc.contributor.author	Доценко, В.А.
dc.date.accessioned	2010-12-27T13:50:09Z
dc.date.available	2010-12-27T13:50:09Z
dc.date.issued	2007
dc.identifier.citation	Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр.	uk_UA
dc.identifier.issn	1681–6048
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/14635
dc.description.abstract	Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.	uk_UA
dc.description.abstract	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.	uk_UA
dc.description.abstract	Рассматривается общая схема обратного метода С.Ю. Маслова для исчисления высказываний. Описан ряд эвристических стратегий и правил вывода по сокращению перебора. Сформулирован конструктивный алгоритм обратного метода для исчисления высказываний.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України	uk_UA
dc.subject	Проблемно і функціонально орієнтовані комп’ютерні системи та мережі	uk_UA
dc.title	Конструктивний алгоритм зворотного методу для числення висловлювань	uk_UA
dc.title.alternative	Constructive algorithm for inverse method of sentential calculus	uk_UA
dc.title.alternative	Конструктивный алгоритм обратного метода для исчисления высказываний	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681:519.68