Cтраница 2
При проведении геометрических доказательств поступающие часто подменяют прямое утверждение обратным к нему. [16]
В этом же месте работы [127] содержится прямое утверждение о том, что расчету и экспериментальному обследованию подлежала гидромашйна, предназначенная для работы с давлением р0 3000 фунт / дюйм2 при п 3600 об / мин. [17]
При проведении геометрических доказательств посту пающие часто подменяют прямое утверждение обратным к нему. [18]
Обратное утверждение легко доказывается, поэтому будем доказывать только прямое утверждение. [19]
Заметьте себе, что идеализм заключается не в прямом утверждении или отрицании материи, но в том, в какой форме это дается. А дается это в форме примата духа над материей. Так вот в этой формуле у вас тоже реальное становится вторичным от фикции. [20]
![]() |
Модель, описывающая одновременно упругие, пластические и высокоэластические деформации с привлечением спектра времен запаздывания.| Модель До. [21] |
И все же следует иметь в виду, что прямое утверждение о возможности описания механического поведения с помощью спектра времен релаксации или запаздывания не дает оснований для утверждения того, что эти спектры необходимы и что именно они отражают физическую сущность процессов, происходящих при механическом воздействии. [22]
VE) с точностью воспроизведения WfE - Эта формулировка прямого утверждения теоремы кодирования является одной из наиболее общих. Информационная устойчивость последовательности сообщений и каналов всегда имеет место в большом числе практически интересных частных случаев. [23]
Обратите внимание, что правило представлено как формулировка соответствующего вывода, а не как прямое утверждение о том, что нефть порождает разводы. [24]
Обратное утверждение может быть доказано тем же самым методом, но, быть может, более поучительно вывести его из уже доказанного прямого утверждения. [25]
Если, например, х и х2 - мнимые, то, предположив, что D O, мы, согласно прямым утверждениям случаев 2 и 3, не можем иметь мнимых корней. Аналогично рассуждаем в остальных случаях. [26]
Например, если 100-строковая программа разбивается на 10 программных частей и создается дополнительная программа из 15 строк, то каждую из 10 программных частей ( содержащих по 10 строк) можно верифицировать прямым утверждением; оставшуюся 15-стро-ковую программу легче, чем 100-строковую, можно верифицировать более формально. Следует заметить, что примеры в данной книге выбраны, как правило, небольшие, но трудные. В практике программирования программные части такого размера обычно бывают проще. [27]
В силу дуальности неравенство ( 2) имеет место в нижне полумодулярной структуре. Этим доказано прямое утверждение теоремы. [28]
A, 2j, это означает, что автомат ( А, Г) разложим. Тем самым прямое утверждение теоремы доказано. [29]
Сколько существует простых чисел. Обрывается ли где-нибудь ряд простых чисел. Один из наиболее часто применяемых в математике способов доказательства состоит в том, что вместо прямого утверждения пытаются доказать противоположное ему утверждение. [30]