Cтраница 1
Вынуждение - своеобразное отношение: поскольку 0 не содержит никакого предложения Gn, ни для какого п пустое множество 0 не вынуждает Gn, и, следовательно, 0 не вынуждает ЗхСх. Но 0 вынуждает - - 3xGx В самом деле, предположим, что некоторое р вынуждает - 3х Gx. Тогда никакое усиление р не вынуждает Зх Gx. Такое натуральное число существует, так как р - конечное множество. [1]
Стратегия продвижения. [2] |
Стратегия вынуждения - продвижение адресуется конечным потребителям товара в расчете на то, что спрос конечных потребителей окажется достаточно интенсивным, чтобы вынудить торговые организации произвести закупки продвигаемого товара. [3]
При сильном вынуждении полоса волновых чисел оказывается более широкой и ее границы могут достигать порогов экхаузовской неустойчивости. [4]
Укажем, как отношение вынуждения связано с буле-возначными моделями. [5]
Здесь ясно видно, что вынуждение очень похоже на обычное определение истинности в классической модели, хотя имеет и важные отличия в случае импликации, отрицания и всеобщности. [6]
Лишь в кванторных пунктах определения вынуждения проявляется специфика языка. [7]
Cohen) с помощью разработанного им вынуждения метода показал, что если ZF - непротиворечива, то она остается таковой и после присоединения любой комбинации из аксиомы выбора, континуум-гипотезы или их отрицаний. [8]
Согласно 4.9.1, 2) определения вынуждения и - ф V ту означает, что на любом пути, выходящем из и, мы обязательно встретим момент, когда будет истинно ф или ту. Таким образом, можно гарантировать истинность ф или ту, хотя в момент и, может быть, и нельзя узнать, что именно истинно: ф или ту, так как на одном пути развития исследования это может быть, а на другом ту. [9]
Cohen) с помощью разработанного им метода вынуждения показал, что если ZF - непротиворечива, то она остается таковой и после присоединения любой комбинации из аксиомы выбора, континуум-гипотезы или их отрицаний. [10]
Читатель, возможно, уже ощутил большую естественность определения вынуждения в моделях Бета-Крипке. [11]
Влияние боковых стенок оказывается еще более сильным, если имеется пограничное вынуждение. Поэтому динамика структур, включающая значительные эффекты среднего дрейфа, видимо, может сильно отличаться от динамики конвекции в крупномасштабных объектах типа атмосферы или океана. Чтобы получить при численном или лабораторном моделировании динамику конвекции, сходную с динамикой, характерной для естественных систем - аналогов бесконечного слоя, необходимо сколь возможно исключить влияние боковых стенок. [12]
Нам надлежит рассмотреть пять случаев, соответствующих пяти пунктам определения вынуждения. [13]
Ху, Эке и Алерс [157] обстоятельно изучили в эксперименте влияние пристеночного вынуждения на структуру течения. Рабочий объем был ограничен сверху сапфировой пластиной и имел внешнюю цилиндрическую стенку из плотной бумаги. Численные расчеты показали, что стенка, имеющая ребро, гораздо меньше возмущает температурное поле в пристеночной области, чем гладкая стенка. [14]
Вновь положим и - ( р & и G у и сформулируем основные свойства отношения вынуждения в ВК-моделях. [15]