- дизъюнкт
- дизъ'юнкт, -а
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… … Википедия
Дизъюнкт — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где li литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная конъюнкция ДНФ… … Википедия
дизъюнкт — дизъюнкт/ … Морфемно-орфографический словарь
дизъюнктивный — дизъюнкт/ивн/ый … Морфемно-орфографический словарь
дизъюнктивный — дизъюнкт ивный … Русский орфографический словарь
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
КНФ — Конъюнктивная нормальная форма (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов. Например, следующие формулы записаны в КНФ: Конъюнктивная нормальная форма удобна для автоматического… … Википедия
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
Удовлетворение ограничений — Содержание 1 Введение 2 История 3 Примеры задач удовлетворения ограничений … Википедия