Доказательство - правильность
Cтраница 1
Доказательство правильности этого алгоритма такое же, как и в случае матрицы распознавания, только логические операции заменяются арифметическими. [1]
Доказательство правильности этого алгоритма можно легко построить, основываясь на индукции по размеру рассматриваемых деревьев ( см. упр. [2]
Доказательство правильности этого выбора приводится ниже при рассмотрении экспериментальных данных. Изменение стандартной свободной энергии при 25 для реакции ( 41) F - 27 92 ккал / моль. [3]
Доказательство правильности основано на двух леммах, которые следуют из лемм, использованных Коддом в его статье. [4]
Доказательство правильности алгоритма Е можно построить, основываясь на индукции по количеству узлов, которые подлежат маркировке. Одновременно доказывается, что в конце алгоритма Р РО; подробности см. в упр. Та форма, в которой был представлен алгоритм, выбрана ради простоты; его модификации, о которых только что говорилось, встретятся в ответе к упр. [5]
Доказательство правильности алгоритма тем самым закончено. [6]
Доказательство правильности избранного решения, подтверждение его, если возможно, на практике. [7]
Доказательство правильности рассматриваемой программы проводится ниже. Так как предполагаемая функция оказывается условным правилом вида ( / 1 / 2), состоящим из двух частей, трассировочная таблица для последовательностей условных правил удобна в части доказательства, где while - тест принимает значение истина. [8]
Доказательство правильности избранного решения, подтверждение его, если возможно, на практике. [9]
Доказательство правильности работы алгоритма можно легко провести индукцией по числу вершин графа, подлежащего маркировке. Если потребовать, чтобы при вызовах встречались только простые переменные, то для запоминания родительской вершины необходимо ввести дополнительную локальную переменную. [10]
Доказательство правильности выбора синусоиды можно дать на основании детального исследования состояния неустойчивого равновесия, в котором будет находиться стержень после того, как он будет выведен из положения равновесия в положение с малой стрелой прогиба / и в этом положении затвердеет. Тогда мы убедимся, что действительно фигурой равновесия будет синусоида. Но, поступая таким образом, мы близко подойдем к уже другому способу, который применяется при выводе формулы для продольного изгиба чаще и который мы теперь рассмотрим подробнее. [11]
Доказательство правильности предлагаемого механизма ионного обмена обычно ищут в изменении ионообменных свойств сорбентов после термической обработки. [12]
Доказательством правильности этого вывода, сделанного на основании химических данных и общих соображений, является изучение колебательных спектров и установление изменения характеристических частот в зависимости от природы заместителей [14] ( см., например, влияние заместителей на константу диссоциации фенолов и влияние тех же заместителей на частоту ОН-группы фенолов в инфракрасном спектре, стр. [13]
 |
Адсорбция Ми на бумаге в зависимости от рН из свежеприготовленных ( а и выдержанных 24 часа ( 6 растворов. [14] |
Доказательством правильности такого рассуждения является подавляющее действие на адсорбцию постороннего электролита ( рис. 61) и полная обратимость адсорбции. При более высоких рН добавление электролита почти не изменяет или даже повышает процент адсорбции, что обычно считается доказательством коллоидной молекулярной адсорбции. [15]
Страницы: 1 2 3 4