Cтраница 2
В процессе доказательства утверждения 1 мы можем определить, с какой точностью нужно расщеплять задания. [16]
В процессе доказательства предложения 2.4 мы получили следующий результат, который стоит выделить. [17]
В процессе доказательства леммы fly / in показано, что х - 1 о - р / 2 при т - Зте. [18]
В процессе доказательства указанных теорем используется потенциал Г ( а) и его свойства. [19]
В процессе доказательства основной теоремы ( § 38) быдо обнаружено, что, как бы ни были выбраны вершины шестиугольника SiCSzADB на кривой второго порядка, три точки пересечения пар противоположных сторон Хь Х2 и М лежат на одной прямой. [20]
В процессе доказательства единственности регулярного два-графа на 276 вершинах Геталс и Сейдел обнаружили в его переключательном классе граф, содержащий индуцированный подграф, изоморфный П з ( объединение 11 непересекающихся треугольников), такой, что каждая из оставшихся вершин смежна ровно с одной вершиной в каждом треугольнике. B ( vii), мы заключаем что для графа на оставшихся 243 вершинах собственные значения ( - 1, 1, 0) - матрицы смежности суть 4922, 221, ( - 5) 220, поэтому это и есть требуемый граф. [21]
В процессе доказательства единственности регулярного два-графа на 276 вершинах Геталс и Сейдел обнаружили в его переключательном классе граф, содержащий индуцированный подграф, изоморфный 11 Кз ( объединение 11 непересекающихся треугольников), такой, что каждая из оставшихся вершин смежна ровно с одной вершиной в каждом треугольнике. B ( vii), мы заключаем что для графа на оставшихся 243 вершинах собственные значения ( - 1, 4 - 1, 0) - матрицы смежности суть 4922, 221, ( - 5) 220, поэтому это и есть требуемый граф. [22]
Идея интеграции процессов доказательства и программирования представляет особый интерес, поскольку она способствует точной фиксации программистом своих идей. К сожалению, метод обладает пока еще недостаточной общностью, чтобы можно было легко применять его к распространенным языкам программирования. [23]
Однако в процессе доказательства критериев будут доказаны две теоремы ( теорема Коши и интегральная формула Коши), имеющие фундаментальное значение для всей теории. [24]
В опытных науках процесс доказательства никогда не прекращается, поскольку постоянно расширяются границы, в которых проверяется правильность предположения. [25]
Как было обнаружено в процессе доказательства предложения 1 § V главы 1, стр. [26]
Однако обоснование используемых в процессе доказательства преобразований требует более сложной и громоздкой аргументации. [27]
Для того чтобы применить наш процесс доказательства в этом общем случае, нужно было бы сначала обобщить симметризацию на случай многогранника V с конечным числом вершин, который уже не обязан быть выпуклым ( и даже может сам себя пересекать. [28]
Прежде чем перейти к рассмотрению процесса доказательства, рассмотрим пример. [29]
Для параметризированного программного управления (2.1) в процессе доказательства и формирования алгоритма могут быть использованы процедуры численных методов. [30]