Cтраница 2
Ставшая стандартной схема доказательства уже приводилась в разд. [16]
Разумеется, схема доказательства изложена весьма конспективно. [17]
На основе схемы доказательства сформулированных утверждений может быть предложен следующий регулярный метод численного определения неизвестных границ областей налегания. [18]
Приведем лишь схему доказательства, нодроб-нов изложение аналогичных рассувдений ом. [19]
Приводим лишь схему доказательства. [20]
Вкратце изложим схему доказательства перечисленных теорем. [21]
О Напомним схему доказательства полноты классического исчисления высказываний, приведенного в разделе 2.2. Пусть формула ( р невыводима. Мы хотим найти значения переменных, при которых формула ( р ложна, то есть формула - up истинна. Само по себе требование истинности - чр не определяет значения переменных однозначно. [22]
В общем случае схема доказательства не меняется. [23]
Указанная только что схема доказательства утверждений вида ( 24) ( индукция по одной переменной при фиксированном значении другой переменной) несколько раз уже использовалась ( точнее: читателю предлагалось ее применить) в книге: ( 16) из § 2 гл. [24]
В [169] приведена схема доказательства структурной устойчивости семейства ( точнее, схема доказательства версальности деформации поля VQ) при выполнении сформулированных условий. [25]
Сначала, применяя схему доказательства 4Е5Г устанавливаем, что р всв 1 - целочисленна. [26]
Схема доказательства аналогична схеме доказательства в стационарном случае. [27]
Доказательство проходит по схеме доказательства предложения 8.3. Поэтому даем лишь его набросок. [28]
Доказательство проводится по схеме доказательства леммы 4, и поэтому мы предоставляем его читателю. [29]
Доказательство приводится по схеме доказательства леммы 4 из § 1 с уточнениями, вызванными многомерностью системы. Эти технические подробности мы здесь опустим. [30]