Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний

Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний An a...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2008
Автори: Крывый, С.Л., Волошин, С.В., Маркова, Н.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2008
Теми:
Теоретичні та методологічні основи програмування
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/645
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-645
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
spellingShingle Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
Крывый, С.Л.
Волошин, С.В.
Маркова, Н.С.
Теоретичні та методологічні основи програмування
title_short Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_full Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_fullStr Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_full_unstemmed Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_sort алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
author Крывый, С.Л.
Волошин, С.В.
Маркова, Н.С.
author_facet Крывый, С.Л.
Волошин, С.В.
Маркова, Н.С.
topic Теоретичні та методологічні основи програмування
topic_facet Теоретичні та методологічні основи програмування
publishDate 2008
language Russian
publisher Інститут програмних систем НАН України
format Article
title_alt An algorithm for checking of satisfaction problem for propositional disjunction set
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
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/645
citation_txt Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус.
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
first_indexed 2025-11-30T22:57:30Z
last_indexed 2025-11-30T22:57:30Z
_version_ 1850858665805873152

Схожі ресурси