ADO в Delphi AJAX Android C++ CakePHP CMS COM CSS Delphi Flash Flex HTML Internet Java JavaScript MySQL PHP RIA SCORM Silverlight SQL UML XML Бази даних Веб-розробка Генетичні алгоритми ГІС Гітара Дизайн Економіка Інтелектуальні СДН Колір Масаж Математика Медицина Музика Нечітка логіка ООП Патерни Подання знань Розкрутка сайту, SEO САПР Сесії в PHP Системне програмування Системний аналіз Тестологія Тестування ПЗ Фреймворки Штучний інтелект
|
ДИЗЪЮНКТ
ДИЗЪЮНКТ — Выражение вида B1 Љ B2 Љ ... Љ Bn A1 & A2 &...& Am, где (&,Љ, ) соответственно символы конъюнкции, дизъюнкции и импликации. Д. читается так: "Если A1, и A2, и, Am, то B1, или B2, или ,..., Bn". Правая или левая часть импликации может быть пустой. В этом случае Д. интерпретируется иначе. Для Д. вида B1 Љ B2 Љ ... Љ Bn интерпретация заключается в утверждении существования факта B1 Љ B2 Љ ... Љ Bn ; а для Д. вида A1 & A2 &...& Am интерпретация состоит в утверждении, что (A1 & A2 &...& Am). Если в Д. пусты левая и правая часть импликации, то он называется пустым. Д. используется в методе логического вывода, основанном на использовании резолюций, а также в языке программирования Пролог.. ДИЗЪЮНКТ — клауза. Похідні поняття[Приховати / показати]ДИЗЪЮНКТ БОКОВОЙ — Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому. ДИЗЪЮНКТ ПУСТОЙ — Пустое множество, возникающее при исчерпании исходного множества, дизъюнктов в случае успешного завершения процесса вывода, опирающегося на принцип резолюции. ДИЗЪЮНКТ ХОРНА — Дизъюнкт, содержащий не более одной положительной литеры. Зв'язані поняття[Приховати / показати]
→ Мапа поняття — Більше інформації про зв'язки цього поняття з іншими поняттями Близькі поняття: [Приховати / показати]Контент, у якому йде мова про ДИЗЪЮНКТЯкщо вас цікавить...загрузка...
|
|
Copyright © 2008—2024 Портал Знань.
При використанні матеріалів посилання, для інтернет-ресурсів — гіперпосилання, на Znannya.org обов'язкове.
Зв'язок
|
НТУУ "КПІ" Інженерія програмного забезпечення КПІ Лабораторія СЕТ |
|