Cтраница 1
Опровергающие примеры можно привести для случая, когда не учитывается требование строгой квазивыпуклостй функции. [1]
Поэтому достаточно одного опровергающего примера, чтобы установить ложность этого закона. Такой пример здесь и приведен. [2]
Можно привести много опровергающих примеров, но, быть может, одним из наиболее ярких является Тамм. [3]
Неверна; достаточно указать в качестве опровергающего примера два смежных угла, для которых всегда выполняется условие теоремы, но не выполняется ее заключение. [4]
Собственно говоря, проведенное построение уже дает необходимый опровергающий пример. Для того чтобы окончательно привести его в соответствие с конфигурацией рис. 2, а, достаточно представить всю конструкцию вложенной в матрицу из материала бесконечно малой проницаемости. Более того, варьируя длины и сечение однородных участков / - F, можно изготовить всю конструкцию рис. 2, а из одного и того же нелинейно проводящего материала, с законом фильтрации, подобным показанному на рис. 6, используя для получения нужных характеристик различные участки закона фильтрации. [5]
Так как для доказательства неверности любого утверждения достаточно привести хотя бы один опровергающий пример, доказано, что закон коммутативности не имеет места и для умножения квадратных матриц. [6]
Возникает вопрос, какое заключение нужно сделать в случае, когда несоответствие предъявленного опровергающего примера понятию можно отнести за счет отсутствия более чем одного отношения. Разумеется, необходима теория того, как отсортировывать наблюдаемые различия с таким расчетом, чтобы фиксировались и вносились только те отличия, которые на самом деле существенны. [7]
Суть второго исходного положения заключается в том, что практически для любой простой формулы количественной зависимости можно подыскать опровергающие примеры, ставящие под сомнение приемлемость ее как критерия качества программного обеспечения. [8]
Программе сравнения описаний очень легко выделить пропущенное отношение, которое является единственным отличием между исходным описанием правильного примера и новым описанием для опровергающего примера. На этом основании машина может, как и мы сами, сделать лишь то заключение, что утрата этого отношения является той причиной, по которой опровергающий пример не является примером подставки. В таком случае необходимое действие очевидно. Машина отмечает, что отношение Поддерживается... Еще раз отметим, что этот акт происходит в результате предъявления одного-единственного рисунка, а не является статистическим выводом из множества единообразных примеров. Заметим также, что полученная информация относится к весьма высокому уровню. Информация будет выделена, если только сами описывающие программы имеют достаточную мощность для анализа этой сцены. Поэтому у нас не возникает необходимости в обучении на низших уровнях. [9]
Справедливость этого критерия весьма вероятна, так как в каждом приближении опыты вносят для каждой ячейки существенные коррективы в аппроксимирующее соотношение, соответствующие истинным термомеханическим свойствам материала. Неясно, можно ли построить опровергающий пример. [10]
О, значит, найден еще один треугольник с такой же гипотенузой и тогда необходима проверка на различие катетов. Если катеты различны, то опровергающий пример найден. [11]
Однажды студенту Колмогорову удалось показать, что некоторое утверждение, которое Н.Н.Лузин на лекции решил использовать для доказательства интегральной теоремы Коши, ошибочно. Было решено, что Колмогоров доложит опровергающий пример на студенческом математическом кружке. [12]
Леви [4] в совершенно другом контексте. К сожалению, однако, это обобщение не верно, что было обнаружено Розенблатом [5], построившим замысловатый опровергающий пример. [13]
Существенно, что на эту процедуру мало влияют ограничения типа: число единиц в строке должно равняться q, или не превышать q, или быть простым. Вычислительный подход важен еще и потому, что в теории блок-схем много нерешенных задач, для которых надо либо найти точное решение, либо построить опровергающий пример. Именно в таких случаях - как и вообще в комбинаторной математике - разумное использование ЭВМ в качестве инструмента поиска почтц неизбежно. [14]
Программе сравнения описаний очень легко выделить пропущенное отношение, которое является единственным отличием между исходным описанием правильного примера и новым описанием для опровергающего примера. На этом основании машина может, как и мы сами, сделать лишь то заключение, что утрата этого отношения является той причиной, по которой опровергающий пример не является примером подставки. В таком случае необходимое действие очевидно. Машина отмечает, что отношение Поддерживается... Еще раз отметим, что этот акт происходит в результате предъявления одного-единственного рисунка, а не является статистическим выводом из множества единообразных примеров. Заметим также, что полученная информация относится к весьма высокому уровню. Информация будет выделена, если только сами описывающие программы имеют достаточную мощность для анализа этой сцены. Поэтому у нас не возникает необходимости в обучении на низших уровнях. [15]