1. Отвлеченное существительное по значение прилагательное : выполнимый.
-и, женский (род)
Свойство по значение прилагательное выполнимый; осуществимость.
Выполнимость намеченного плана.
... описывает приемлемый . вариант логического вывода Последним понятием , которое нам потребуется , является выполнимость Некоторое высказывание выполнимо тогда и только тогда , когда оно истинно . в некоторой модели ... ... тогда , когда оно истинно . в некоторой модели Например , приведенная выше база знаний , ( ^ ^ ^ ^.), выполнима , поскольку существует даже не одна , а три модели , в.которых она истинна Если ... (Логика)
... более затруднительным На рисунке показана вероятность того, что случайно сформированное высказывание в. форме является выполнимым , как функция от отношения "выражение /символ ",.m/n, при постоянном значении n, равном Как и следовало ожидать ... ... m/.n= Высказывания в форме CNF , приближающиеся к этой критической точке , можно . назвать "почти выполнимыми , или "почти невыполнимыми Можно ли считать , что именно здесь находятся трудные задачи Анализ ... (Логика)
... должны рассматривать квалиа как «невыразимую »;, поскольку на этом втором уровне . ее описание в принципе «не выполнимо »; - на самом деле , не .исключено , что какой-нибудь нейрофизиолог будущего сможет описать детально ... (Философия)
... передвижения ", в котором один из символов .выбирается случайным образом Алгоритм WalkSAT для проверки выполнимости путем инвертирования значений переменных случайным . образом Существует много версий этого ... ... производительную работу . Очевидно , что если он возвращает некоторую модель , то входное высказывание . в самом деле выполнимо А что если он возвращает индикатор неудачи failure К сожалению , в этом случае невозможно определить , верно ли, что. высказывание является невыполнимым ... (Логика)
... »;, так и значение «ложно .»; при различных наборах истинностных значений входящих в нее переменных , следовательно ,.она является выполнимой (нейтральной ), а рассуждение , формализацией которого она выступает , логически . корректно , но небезупречно : при ином содержании ... ... и не хвойный Следовательно , этот лес смешанный Что представляют собой тождественно-истинные тождественно-ложные и выполнимые формулы Что можно сказать о рассуждении , если результатом его формализации является. тождественно-истинная формула Каким ... (Логика)
... , несмотря на свой . почтенный возраст , становится одним из самых быстрых алгоритмов проверки выполнимости ,.которые когда-либо были разработаны В частности , реализация Chaff этого алгоритма используется ... ... задач . проверки качества аппаратного обеспечения с миллионом переменных Алгоритм DPLL для проверки выполнимости высказывания в пропозициональной логике Принципы работы функций Find-Pure-Symbol и Find-Unit-Clause описаны в тексте ... (Логика)
Комментарии