Cтраница 3
Как мы увидим, дальнейшее развитие исследования приносило все увеличивающиеся доказательства правильности именно этой точки зрения. Поэтому при оценке работ М. Б. Неймана нужно с осторожностью отнестись к той большой роли, которую он при изучении холодно-пламенного окисления отводит самой холоднопламенной вспышке. [31]
Детерминант, очевидно, должен быть положительным, и для доказательства правильности проведенного решения достаточно представить его в виде квадрата некоторого полинома. [32]
Определите, какие действия следует предпринять аудитору, чтобы получить доказательства правильности сумм дебиторской задолженности. [33]
Алгебра структурированных программ является мощным средством для чтения, написания и доказательства правильности структурированных программ. Она позволяет программисту путем логического преобразования справляться со сложной логикой обработки данных. Точно так же школьник методически выполняет преобразование сложных для него арифметических выражений. Алгебра дает возможность программисту представить функционирование программы в целом, а не только ход ее выполнения для конкретных данных. [34]
В качестве примера того, как формулируются указанные утверждения и как строятся доказательства правильности выполнения, рассмотрим схему программы, приведенную на рис. 7.5. Программные сегменты, не содержащие циклов, изображены в виде прямоугольников: инициализация, тело цикла, завершение. Цикл содержит условие окончания цикла, которое представляет собой простой предикат. Его истинность является условием окончания цикла. [35]
Наши ученые не могут пройти мимо утверждения академика Тулайкова о том, что Вильяме для доказательства правильности своих суждений о роли мелкокомковатой структуры почвы не имел каких-либо экспериментальных материалов. [36]
В ряде работ Гастингса и Вуда при помощи изотопов углерода детально изучены пути синтеза гликогена и получены новые доказательства правильности схемы трикарбонового цикла. Первые опыты производились при помощи короткоживущего С11, что ограничивало их время и не позволяло детально изучить распределение меченого углерода в продуктах, так как такое исследование требует сложных операций последовательного расщепления молекул на составные части. [37]
Ваше правило два также защищает от добавления к проигрышам и удерживает начальную позицию меньшей, пока не появятся доказательства правильности. [38]
Приведенные примеры построения систем показывают, что необходимы еще большие усилия по формализации процесса программирования и автоматизации синтеза, необходимы доказательства правильности их логического построения и оптимальности с точки зрения использования ресурсов ЭВМ и пользователя. [39]
Примерами подобных искусственных смесей могут служить смеси газов, приготовляемые в статическом или динамическом режимах, служащие для контроля и доказательства правильности результатов, получаемых с помощью газоаналитической аппаратуры. Подобные функции могут выполнять и смеси твердых веществ, например чистых оксидов элементов или металлов высокой и особой чистоты. Примерами растворов могут служить растворы, получаемые из жидких веществ надлежащей чистоты для доказательства правильности результатов многих видов неорганического и, особенно широко, органического анализа. Подобные растворы могут быть и твердыми, если осуществляют сплавление известных количеств компонентов без потерь. Достаточно высокая точность значений, которые приписывают содержаниям компонентов в таких смесях или растворах, обусловлена тем, что для их составления используют лишь хорошо отработанные ( в метрологическом понимании) методы измерения массы, вместимости, давления, а определение состава аналитическими методами ( что сопряжено с большей вероятностью появления существенных погрешностей) исключается. [40]
Такой анализ необходим для выявления регулярных сезонных колебаний в ряду, для проверки стационарности случайного процесса, а также для доказательства правильности выбора уравнений тренда. [41]
Фосфорильные частоты первичных и вторичных амидов понижены, вероятно, вследствие образования водородной связи группы с амидными атомами водорода, и доказательства правильности этого положения следуют из изучения значений частот колебаний NH. Этот фактор, по-видимому, способствует часто встречающемуся расширению интервалов частот колебаний отдельных групп соединений. [42]
Правильность полученных с ее помощью результатов следует проверить, измерив другие полосы поглощения того же спектра; объединенные результаты используют далее для доказательства правильности выбора базисной линии. [43]
Поскольку стабильность сама по себе не гарантирует правильность ( можно устойчиво получать и неверные результаты), возникает необходимость в использовании специальных способов для доказательства правильности. [44]
Поскольку стабильность сама по себе не гарантирует правильность ( можно устойчиво получать и неверные результаты), возникает необходимость в использовании специальных способов для доказательства правильности. [45]