Формальное доказательство

Cтраница 3

Дайте формальное доказательство леммы 5.6 а) о том, что результат последовательности декомпозиций, обладающих свойством соединения без потерь, сам обладает этим свойством. Докажите также лемму 5.6 б): добавление схем ( без новых атрибутов) к декомпозиции, обладающей свойством соединения без потерь, сохраняет это свойство декомпозиции. [31]

План формального доказательства таков: вначале покажем, как надо использовать единственное число а для кодирования текущей ситуации в процессе вычисления, а затем покажем, что существует вычислимая функция, выражающая зависимость а от ( а) номера программы е, ( Ь) входа х и ( с) числа шагов вычисления, которое надо выполнить. Мы увидим, что этого достаточно для доказательства теоремы. [32]

Для формального доказательства этого предложения достаточно вычислить соответствующие коммутаторы. [33]

Верная граница. [34]

За формальным доказательством корректности этого алгоритма мы отсылаем читателя к оригинальной работе самого Хоара. [35]

Нетрудно провести формальное доказательство и для либрационного движения, но еще проще воспользоваться непосредственными геометрическими соображениями. [36]

Дадим другое более формальное доказательство. [37]

Каждая строка формального доказательства содержит порядковый номер, саму формулу и обоснование ее вывода. [38]

Переходя к формальному доказательству, предположим сначала, что ЗР оо. [39]

В этом совершенно формальном доказательстве важно, что оно охватывает многие частные случаи одной и той же конструкции. [40]

Нетрудно получить и формальное доказательство. [41]

Мы ссылаемся на формальное доказательство теоремы 5 - 1.2, как оно дано в гл. [42]

Нас не интересует здесь формальное доказательство этого утверждения. Так, если г зп описывает пространственное распределение нейтронов в некоторой конкретной системе, то vn можно интерпретировать как средний выход нейтронов на одно деление, необходимый для сохранения этого распределения в течение неограниченного промежутка времени. Можно себе представить, что эти области заполнены некими частицами, присутствие которых равноценно уничтожению равного количества реальных нейтронов. [43]

Мы не приводим формального доказательства того, что каноническая таблица, составленная согласно пунктам 1 - 3, действительно задает оператор, продолжающий заданное конечное дерево. Дополнительно отметим следующий просто проверяемый факт: всякий ограниченно-7. V веса К, может быть получен указанным путем. [44]

Практический вывод из формального доказательства, приведенного выше, состоит в следующем. [45]

Страницы: 1 2 3 4