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