Cтраница 2
При кажущейся конструктивности необходимых и достаточных условий применить их сложно. [16]
При кажущейся конструктивности существующих необходимых и достаточных условий [9] применить их сложно. [17]
Общность и конструктивность этого принципа заключается в том, что его последовательное применение позволяет увязать ( соотнести) уровень и форму требуемых гарантий с различными формами задания неопределенности, включая случайные события, величины, процессы, области возможных значений неизвестных констант, детерминированных функций, а также параметров распределения случайных объектов. [18]
Обтекаемость и конструктивность форм электродвигателя, а следовательно, и электронасоса в целом достигается комплектностью изготовления моноблочного насоса с электродвигателем. [19]
Регламентация степени конструктивности может быть осуществлена и по одному из доминирующих критериев. [20]
Из аксиомы конструктивности следует справедливость гипотезы об п-разрыве для всех п со. [21]
Мы можем исследовать конструктивность как самостоятельный предмет, отдельный от вопроса математического существования. Если мы последуем путем интуиционизма, то будем вынуждены отказаться от использования очень мощных приемов доказательства в математике, заметно ограничивая и лишая силы сам предмет. [22]
Степень декларативности ( конструктивности) компонентов культуры говорит о соотношении в ней ценностей и норм, которые только провозглашаются, но не реализуются на практике. Декларативность ( якобы выполнение функций) свидетельствует о том, развивается ли экономическая культура естественно-историческим образом или находится в режиме внешней регуляции, управления извне. [23]
В силу своей конструктивности идеи объектно-ориентированного программирования используются во многих универсальных процедурных языках. [24]
ПРЕДЛОЖЕНИЕ 7.4.2. Аксиома конструктивности справедлива тогда и только тогда, когда каждое множество конструктивно. [25]
Обычная формулировка аксиомы конструктивности - это утверждение, что каждое множество конструктивно, а только что приведенное предложение устанавливает, что эта обычная формулировка эквивалентна приведенной в разд. [26]
Теперь добавим условия конструктивности. [27]
Причем, используя сильную конструктивность ( S3, v), можно считать, что существуют нумерации va: N - S3a и va: N - S3a, такие, что ( S3a, va) и ( S3a, va) - сильно конструктивные булевы алгебры и ( S3, v) есть прямое произведение ( S3a, va) и ( S3a, va) как нумерованных алгебр. Заметим также, что если S3i - арифметическое расширение S0, то S3t X S32 - арифметическое расширение § 30 X S32 ( Это справедливо для любых моделей, а не только для булевых алгебр. Заметим еще, что в нашем случае S3a - безатомная булева алгебра. [28]
С другой стороны, конструктивность / означает также возможность вычислять ответ на каждый базисный запрос. При этом если еще алгебра 2) конструктивна, одновременно получаем возможность вычислять ответ и на любой открытый запрос - запрос, построенный из базисных без привлечения кванторов. Умение отвечать на любой запрос означает, что каждое состояние f F не только конструктивно, но в действительности и сильно конструктивно. Это, в частности, означает, что элементарная теория соответствующей модели является разрешимой теорией. [29]
При этом не предполагается конструктивность автомата Atm 3), и это уже говорит о том, что в действительности идет речь о частичной конструктивизации. [30]