Cтраница 1
Формальное доказательство этого результата не совсем тривиально, если иметь в виду описанный выше способ построения главной функции. [1]
Стандартная схема со счетчиком, эквивалентная рекурсивной схеме Fx. если Рх то fx иначе FFfx. [2] |
Формальное доказательство этого факта требует формального определения понятия схемы - мы же в данной работе хотим уклониться от абстракций. Читатель может удовлетвориться доказательствами для стандартных и рекурсивных схем. [3]
Формальное доказательство, основанное на описанной конструкции, оставляем читателю. [4]
Формальное доказательство методом индукции того, что в решении задачи о ханойских башнях каждое второе перемещение затрагивает маленький диск ( все начинается и завершается такими перемещениями), весьма поучительно: Для п 1 существует только одно перемещение, затрагивающее маленький диск, следовательно, утверждение подтверждается. Это можно подтвердить, прибегнув к следующей рекурсивной конструкции: первое решение для п - 1 начинается с перемещения маленького диска, а второе решение для п - 1 завершается перемещением маленького диска, следовательно, решение для п начинается и завершается перемещением маленького диска. Мы поместили перемещение, не затрагивающее маленький диск, между двумя перемещениями, которые его затрагивают ( перемещением, завершающим первое решение для л - 1, и перемещением, начинающим второе решение для п - 1), следовательно, утверждение, что каждое второе перемещение затрагивает маленький диск, подтверждается. [5]
Формальное доказательство должно быть конечным. Если же множество бесконечно, обозначение Е - А означает, что в Е существует такое конечное подмножество Е, что Е - А. [6]
Формальное доказательство можно получить, заметив, что оператор д ( 0) д ( - х) нв является калибровочно-инвариантным. [7]
Формальное доказательство этого положения просто. [8]
Формальное доказательство этих свойств мы опускаем. [9]
Формальное доказательство для более широкого класса функционалов Q [ г ] дано на стр. [10]
Формальное доказательство легко получается индукцией по числу ходов. [11]
Формальное доказательство предоставляем читателю в качестве упражнения. [12]
Формальное доказательство всего этого провести не сложно, но при формальном подходе низкого уровня оно недостаточно интуитивно. Вводить же математические средства высокого уровня ( где площадь, помноженная при необходимости на р, выступает как симплектическая структура) у нас нет места, и читателю следует самому заглянуть в учебники по механике сплошных сред. [13]
Формальное доказательство этой теоремы приводится методом индукции так же, как в теореме 6.1. Заметим, что поскольку 5 FIFO или 5 LIFO, то порядок ветвления одинаков для ВВ1 и ВВа, так как он не зависит от функции нижней оценки. [14]
Формальное доказательство предоставляем читателю в качестве упражнения. [15]