Cтраница 2
Формальное доказательство того факта, что учет взаимодей-ствия между электронами приводит к повышению энергетических уровней системы, легко получить следующим образом. [16]
Формальное доказательство теоремы 7.4.4 может быть проведено в ZF и приводит к следующему результату. [17]
Прямое формальное доказательство не показывает механизма работы этого метода, так что мы дадим несколько более длинное доказательство, которое к тому же даст еще и дополнительный результат. [18]
Схема соотношения уровня риска н значимости. [19] |
Формальное доказательство соответствия существует, когда внутренний контроль выпускает письменный отчет, представляющий доказательства проведения контроля. [20]
Формальное доказательство теоремы 1 будет основано на следующей лемме. [21]
Прямое формальное доказательство не показывает механизма работы этого метода, так что мы дадим несколько более длинное доказательство, которое к тому же даст еще и дополнительный результат. [22]
Формальное доказательство теоремы 1 будет основано на следующей лемме. [23]
Формальное доказательство теоремы оставим в качестве упражнения. [24]
Формальное доказательство теоремы аналогично доказательству предыдущей теоремы. Заметим, что если F-1 ( ny) Q, то из определения рг, соотношения ла о п 5s 0 и определения отношения доминирования D следует, что пу не может быть использована для доминирования любого другого частичного решения. Если л порождена в ВВ2 и Fz ( лу) 1, то пу не имеет допустимого продолжения и не может вытеснить другие частичные решения. Fl ( ny) Q, исключен в BBj без изменения других параметров. [25]
Формальное доказательство корректности этого алгоритма будет дано в § 11.9. Пока что мы приведем неформальное обсуждение. [26]
Формальное доказательство теоремы существования для уравнения (12.41) во многих случаях является сложной задачей. [27]
Дайте формальное доказательство второй части теорем 6.13. Другими словами, докажите, что если предикат / ( дг) - у частично разрешим, то функция / вычислима. [28]
Дадим формальное доказательство того факта, что если функция y f ( x) имеет производную в точке, являющейся точкой локального экстремума, то производная от f в этой точке равна нулю. [29]
Дать формальное доказательство того факта, что любые две различные вершины цикла соединяются двумя и только двумя цепями, причем эти цепи внутренне непересекающиеся. [30]