Свободные переменные

Cтраница 3

Мы отметим, что формула, содержащая свободные переменные, не может получить истинностное значение. В остальной части книги мы будем предполагать, что формула либо не содержит свободных переменных, либо свободные переменные рассматриваются как константы. [31]

Xi 2 Xi 3 0 - как свободные переменные; тем самым, списком определяются значения всех переменных. [32]

В данном случае поступают следующим образом: наиболее критичные свободные переменные переводят в разряд базисных, а базисные - в разряд свободных. Затем вновь полученные значения переменных нужно подставить в целевую функцию. [33]

Не требуется, чтобы формализм F содержал какие-либо свободные переменные. Достаточно, чтобы переменная а включалась в нумерацию. [34]

А - С - предполагается данным, причем свободные переменные остаются фиксированными для А. [35]

Напротив, в случае ( f) все свободные переменные в типе х, не встречающиеся в наборе допущений RA, связаны квантором общности, поскольку являются родовыми; это соответствует немедленному применению правила вывода [ GEN ] столько раз, сколько возможно. [36]

Полученные в результате применения указанного алгоритма инверсии мультиграфа свободные переменные ХТС отмечены пунктирными дугами с двумя стрелками. [37]

Схема многостадийного химического процесса. [38]

В уравнении ( VL34) оптимизируемая функция выражена через свободные переменные. [39]

Оптимальная организация вычислительных процедур-при оптимизации подсистем охлаждения некоторой ХТС. [40]

Выбрав промежуточные температуры tt и t как целесообразные оптимизирующие свободные переменные, далее методом логического прямого поиска находят оптимальные условия. При этом выбирают начальные значения свободных переменных для каждой ступени. [41]

Не обязательно требовать, чтобы в формализме F имелись свободные переменные. Но для этого вовсе не требуется, чтобы переменная а принадлежала формализму F, а нужно лишь, чтобы она была включена в нашу нумерацию. [42]

В h - С - предполагается данным, причем свободные переменные остаются фиксированными для В. [43]

Подобная проблема возникает также при работе с таблицами, содержащими свободные переменные. Но после всего сказанного выше, следует заметить, что если существовал бы некоторый процесс, который всегда приводил бы к завершению таблиц 1-го порядка за конечное число шагов, то существовала бы разрешающая процедура для логики 1-го порядка. Однако знаменитый результат, известный как теорема Черча, свидетельствует об отсутствии подобной процедуры. [44]

Обозначим через х0 значение целевой функции и введем в рассмотрение свободные переменные. [45]

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