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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2008
Автори: Крывый, С.Л., Волошин, С.В., Маркова, Н.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2008
Теми:
Теоретичні та методологічні основи програмування
Онлайн доступ:http://dspace.nbuv.gov.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 irk-123456789-645
record_format dspace
spelling irk-123456789-6452008-06-02T12:00:10Z Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний Крывый, С.Л. Волошин, С.В. Маркова, Н.С. Теоретичні та методологічні основи програмування Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном 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 2008 Article Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/645 51.681.3 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
spellingShingle Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
Крывый, С.Л.
Волошин, С.В.
Маркова, Н.С.
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
description Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
format Article
author Крывый, С.Л.
Волошин, С.В.
Маркова, Н.С.
author_facet Крывый, С.Л.
Волошин, С.В.
Маркова, Н.С.
author_sort Крывый, С.Л.
title Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_short Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_full Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_fullStr Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_full_unstemmed Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
title_sort алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
publisher Інститут програмних систем НАН України
publishDate 2008
topic_facet Теоретичні та методологічні основи програмування
url http://dspace.nbuv.gov.ua/handle/123456789/645
citation_txt Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 2008. — N 2-3. — С. 25-30. — Бібліогр.: 4 назв. — рус.
work_keys_str_mv AT kryvyjsl algoritmproverkiprotivorečivostimnožestvadizʺûnktovvisčisleniivyskazyvanij
AT vološinsv algoritmproverkiprotivorečivostimnožestvadizʺûnktovvisčisleniivyskazyvanij
AT markovans algoritmproverkiprotivorečivostimnožestvadizʺûnktovvisčisleniivyskazyvanij
first_indexed 2023-03-24T08:19:31Z
last_indexed 2023-03-24T08:19:31Z
_version_ 1796138820089937920

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