Cтраница 3
В геометрии основными примерами линейных функций в трехмерном метрическом пространстве являются скалярные произведения и векторные произведения двух векторов ( кн. I, гл. [31]
Следующая теорема дает основные примеры жестких UF - oo - ластей. [32]
В [18, 20] приведены основные примеры индукционных канальных печей, выпускаемых отечественной промышленностью для плавки сплавов на основе алюминия, меди, меди и цинка, а также миксеров для подогрева чугуна. [33]
В соответствии с [.] основной пример алгебры Ли, приводящей к уравнениям нулевой кривизны, состоит в следующем. [34]
В дальнейшем мы рассмотрим основные примеры графиков функций, а теперь приведем некоторые общие соображения. В случае уравнения F ( x y) Q в неявной форме дело обстоит сложнее. Может случиться, что уравнению не соответствует ни одной точки. Это имеет место, например, для уравнения х - - у - - 3 0, ибо при любых вещественных х и у левая часть положительна. [35]
Сейчас будут приведены несколько основных примеров, иллюстрирующих роль аксиальных обменных токов в практических приложениях. [36]
Чтобы избежать порождения множеств основных примеров, как требуется в процедуре Эрбрана, мы введем в этой главе метод резолюций, следуя Дж. Этот метод может применяться к любому множеству дизъюнктов ( не обязательно основных) с целью проверки его невыполнимости. [37]
Опишем более детально несколько основных примеров. [38]
Очевидно, что о - искомый невыполнимый основной пример ( почему. [39]
Выбор лингвистической области в качестве основного примера проявлений идеи взаимодействия и рекурсии творческой деятельности обладает рядом достоинств. Во-первых, литературное творчество доступно любому читателю и не требует специальной подготовки, как, например, живопись или музыка. Во-вторых, литература тесно связана с речью, которая является инструментом мыслительной деятельности. Следовательно, познавая язык, мы в некотором аспекте познаем работу разума. Наконец, литературное произведение в целом, отдельные фразы или предложения являются последовательными моделями описания сложных взаимодействующих процессов. [40]
Рациональные и действительные числа являются основными примерами алгебраической структуры под названием поле. Поле F - это множество с двумя бинарными операциями, которые обычно называются сложением и умножением и которые удовлетворяют основным свойствам этих операций для чисел. [41]
Важным я в некотором смысле основным примером разрешимой группы Ли является группа Тп ( К ] невырожденных треугольных матриц п - ro порядка над полем / С. [42]
В 1971 г. Смейл обобщил свой основной пример с подковой и показал, что в каждом классе изотопных диффеоморфизмов имеются Q-устойчивые диффеоморфизмы. Почти сразу же вслед за этим Р. Ф. Уильяме и Шуб дополнили аргументы Смейла и заменили Q-устойчивость структурной устойчивостью, а Шуб [18] доказал, что структурно устойчивые диффеоморфизмы плотны в Diff ( M) в С - топологии. В этих примерах замыкание множества периодических точек является либо нульмерным канторовым множеством, либо конечным множеством. [43]
Это подмножество тех и только тех основных примеров, которые были использованы для объявления некоторой ветви противоречивой. [44]
Предположим, что существует конечное невыполнимое множество S основных примеров дизъюнктов в S. Следовательно, S опровергается в каждой интерпретации / множества S. Поэтому S опровергается в каждой интерпретации множества S; значит, S невыполнимо. [45]