Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
|
|
| Creator |
Крывый, С.Л.
Волошин, С.В. Маркова, Н.С. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
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 |
|
| Date |
2008-05-30T14:13:37Z
2008-05-30T14:13:37Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/645 51.681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|