Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний An a...
Saved in:
| Date: | 2008 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/645 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862637519770746880 |
|---|---|
| author | Крывый, С.Л. Волошин, С.В. Маркова, Н.С. |
| author_facet | Крывый, С.Л. Волошин, С.В. Маркова, Н.С. |
| citation_txt | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус. |
| collection | DSpace DC |
| 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
|
| first_indexed | 2025-11-30T22:57:30Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-645 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-30T22:57:30Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Крывый, С.Л. Волошин, С.В. Маркова, Н.С. 2008-05-30T14:13:37Z 2008-05-30T14:13:37Z 2008 Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/645 51.681.3 Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном 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 ru Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний An algorithm for checking of satisfaction problem for propositional disjunction set Article published earlier |
| spellingShingle | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний Крывый, С.Л. Волошин, С.В. Маркова, Н.С. Теоретичні та методологічні основи програмування |
| title | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний |
| title_alt | An algorithm for checking of satisfaction problem for propositional disjunction set |
| title_full | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний |
| title_fullStr | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний |
| title_full_unstemmed | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний |
| title_short | Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний |
| title_sort | алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/645 |
| work_keys_str_mv | AT kryvyisl algoritmproverkiprotivorečivostimnožestvadizʺûnktovvisčisleniivyskazyvanii AT vološinsv algoritmproverkiprotivorečivostimnožestvadizʺûnktovvisčisleniivyskazyvanii AT markovans algoritmproverkiprotivorečivostimnožestvadizʺûnktovvisčisleniivyskazyvanii AT kryvyisl analgorithmforcheckingofsatisfactionproblemforpropositionaldisjunctionset AT vološinsv analgorithmforcheckingofsatisfactionproblemforpropositionaldisjunctionset AT markovans analgorithmforcheckingofsatisfactionproblemforpropositionaldisjunctionset |