Невыполнимость

Cтраница 1

Невыполнимость 3 - 482 Невыразимость 4 - 525; 5 - 428 Негативизм в критике 3 - 92 Негативная свобода 4 - 566 Негели К. В. 3 - 142 Негоро А. [1]

Невыполнимость этого конечного множества действительно можно доказать методом резолюций в рамках логики высказываний. [2]

Невыполнимость закона Лэнгмюра фактически означает и невыполнимость закона действующих поверхностей. Уравнение (IV.20) является основой для построения кинетических уравнений каталитических реакций в идеальном адсорбированном слое. [3]

Невыполнимостью этих двух условий объясняется редкость использования ипотечного кредитования производственных предприятий в России. [4]

Доказательства невыполнимости логических формул очень важны в ИИ ( гл. Способы таких доказательств, основанные на принципе резолюций, выделяются среди прочих тем, что они дают возможность использовать средства автоматического доказательства, применяемые в логическом программировании ( гл. [5]

Показателем невыполнимости закона действующих поверхностей являются и некоторые кинетические уравнения, не содержащие дробных показателей степени. [6]

Разумеется, невыполнимость 6-правила еще не может указывать на отсутствие самого компенсационного эффекта. [7]

В случае невыполнимости условия ( 3 - 17) производят изменение исходных данных и повторяют расчет, пользуясь методом последовательного приближения. [8]

Однако причиной практической невыполнимости этой реакции является наличие йодистого водорода, активно реагирующего с йодистым метилом и сдвигающего предел реакции влево. Следовательно, если создать такие условия, чтобы йодистый водород, по мере своего образования, выходил из сферы действия, равновесие будет непрерывно нарушаться, и реакция пройдет до конца в направлении слева направо, то есть в сторону образования йодистого метила: в таких условиях можно будет получить йодистый метил ( или иодопроизводное какого-либо другого предельного углеводорода) прямым действием иода на углеводород. [9]

Прямоугольный волновод. [10]

Волна ТЕМ вследствие невыполнимости при ее структуре граничных условий ( 3 - 3 - 11) не может распространяться в волноводе ни при каких расстояниях между дополнительными плоскостями. [11]

Причиной этого является невыполнимость условия К22 зз в известных ХЖК. [12]

Позитивный тест для невыполнимости множества А будет состоять в некотором систематическом поиске конечного опровержения множества А, а именно некоторого типа конечного списка предложений. Корректность теста ведет к следующему: если существует конечное опровержение для А, то А невыполнимо. Полнота теста означает, что если А невыполнимо, то существует конечное опровержение множества А. После того как мы определим опровержение множества А ( очень скоро. А конечно или хотя бы обладает более слабым свойством, состоящим в том, что принадлежность этому множеству эффективно распознаваема, то и свойство быть конечным опровержением множества А также оказывается эффективно распознаваемым. Поэтому некий бесхитростный ( хотя и неэффективный) способ систематического поиска опровержения ( эффективно разрешимого) множества А состоял бы в том, чтобы выбрать ( произвольным образом) некоторую эффективную нумерацию всех конечных списков предложений и поочередно проверять, не являются ли они опровержениями для А. Доказательство корректности гарантирует нам, что если мы таким путем найдем некоторое опровержение для множества А, то можно быть уверенным, что А невыполнимо. С другой стороны, доказательство полноты дает гарантию, что если А невыполнимо, то для некоторого конечного п можно доказать, что п-й список в этой нумерации является опровержением для А. [13]

Это свидетельствует о невыполнимости закона Стокса в НЖК, что неудивительно, так как диффузия молекул должна сопровождаться явлениями переориентации соседних молекул жидкого кристалла. [14]

Таким образом, невыполнимость множества S можно проверить, порождая логические следствия из S до тех пор, пока не получим пустой дизъюнкт. [15]

Страницы: 1 2 3 4