-
1 дизъюнкт
-
2 дизъюнкт
Русско-английский словарь математических терминов > дизъюнкт
-
3 дизъюнкт
1) Computers: clause2) Mathematics: clause (logic), disjunct (слагаемое в конъюктивной нормальной форме) -
4 дизъюнкт
-
5 дизъюнкт
вчтдиз'ю́нкт -
6 дизъюнкт
вчтдиз'ю́нкт -
7 дизъюнкт
m. clause ( logic) -
8 дизъюнкт
-
9 дизъюнкт Хорна
Computers: Horn clause -
10 дизъюнкт-ответ
Mathematics: answering clause -
11 дизъюнкт-посылка
Mathematics: parent clause -
12 дизъюнкт Хорна
Horn sentence, Horn clause -
13 дизъюнкт Хорна
Horn sentence, Horn clauseРусско-английский словарь по радиоэлектронике > дизъюнкт Хорна
-
14 дизъюнкт-ответ
answering clause мат.Русско-английский научно-технический словарь Масловского > дизъюнкт-ответ
-
15 бинарный хорновский дизъюнкт
Programming: binary Horn clauseУниверсальный русско-английский словарь > бинарный хорновский дизъюнкт
-
16 боковой дизъюнкт
Mathematics: side clause -
17 верхний дизъюнкт
Mathematics: top clause -
18 входной дизъюнкт
Mathematics: input clause -
19 единичный дизъюнкт
Mathematics: unit clauseУниверсальный русско-английский словарь > единичный дизъюнкт
-
20 жизненный дизъюнкт
Mathematics: vital clauseУниверсальный русско-английский словарь > жизненный дизъюнкт
См. также в других словарях:
Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… … Википедия
Дизъюнкт — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где li литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная конъюнкция ДНФ… … Википедия
дизъюнкт — дизъ юнкт, а … Русский орфографический словарь
дизъюнкт — дизъюнкт/ … Морфемно-орфографический словарь
дизъюнктивный — дизъюнкт/ивн/ый … Морфемно-орфографический словарь
дизъюнктивный — дизъюнкт ивный … Русский орфографический словарь
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
КНФ — Конъюнктивная нормальная форма (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов. Например, следующие формулы записаны в КНФ: Конъюнктивная нормальная форма удобна для автоматического… … Википедия
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
Удовлетворение ограничений — Содержание 1 Введение 2 История 3 Примеры задач удовлетворения ограничений … Википедия