Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Крывый, С.Л. | |
| dc.contributor.author | Волошин, С.В. | |
| dc.contributor.author | Маркова, Н.С. | |
| dc.date.accessioned | 2008-05-30T14:13:37Z | |
| dc.date.available | 2008-05-30T14:13:37Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/645 | |
| dc.description.abstract | Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний | en_US |
| dc.description.abstract | An approach to checking of satisfaction problem of propositional disjunction set by using resolution method is described. This algorithm is used TSS-method for solution of homogeneous systems of linear Diophantine equations. An algorithm for checking of satisfaction problem for propositional disjunction set | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.subject | Теоретичні та методологічні основи програмування | en_US |
| dc.title | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний | en_US |
| dc.title.alternative | An algorithm for checking of satisfaction problem for propositional disjunction set | en_US |
| dc.type | Article | en_US |
| dc.status | published earlier | en_US |
| dc.identifier.udc | 51.681.3 |
Файли у цій статті
Ця стаття з'являється у наступних колекціях
-
Проблеми програмування, 2008, № 2-3 [101]
Матеріали шостої міжнародної науково-практичної конференції з програмування УкрПРОГ'2008, 27-29 травня 2008 р., Україна, Київ