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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2008
Hauptverfasser: Крывый, С.Л., Волошин, С.В., Маркова, Н.С.
Format: Artikel
Sprache:Russisch
Veröffentlicht: Інститут програмних систем НАН України 2008
Schlagworte:
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/645
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С.Л. Крывый, С.В. Волошин, Н.С. Маркова // Пробл. програмув. — 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