Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
| 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.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.identifier.citation | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 51.681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/645 | |
| dc.language.iso | ru | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | 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 |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- #1_D15-c25.pdf
- Розмір:
- 153.62 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.79 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: