Cтраница 4
С ( 5), на которые это доказательство опирается, а также об использовании в процессе доказательства возможно более элементарных средств анализа. [46]
Формулировки теорем ( или их названия, когда это не вызывает путаницы) часто приводятся также в процессе доказательства. Кроме того, в помощь обладателям книги Пизо и Заманского указывается место этой теоремы в курсе, чтобы дать возможность, рассматривая ее в общей теории, восстановить доказательство для этого случая. [47]
Систематизировать знания и умения по основному методу доказательства в математике: раскрыть его содержание применительно к школьному уровню строгости доказательств и процесс доказательства; проследить этапы и конкретные приемы формирования данного метода в школе. [48]
Джеймс придерживается скорее другого мнения - для него важнее, чтобы правильными были исходные предпосылки и результат, он склонен допускать небольшие погрешности в процессе доказательств - физическая достоверность результатов для него важнее математической строгости. Эта черта сохранится в нем и позже - уже в Трактате, труде всей жизни Максвелла, он никогда не встанет в тупик перед лишним членом в уравнении, если он препятствует получить изящное выражение с ясным физическим смыслом, и просто не замечает его. [49]
Один из способов доказательства завершения - работы программы состоит во введении в программу дополнительных счетчиков для каждого цикла и в доказательстве их ограниченности в процессе доказательства частичной правильности. Флойда заключается в построения конечной аксиоматич. X о а р а), состоящей из схем аксиом и правил вывода, в к-рой в качестве теорем выводимы утверждения о частичной правильности программ на языке. Такая система используется и для задания аксиоматич. [50]
Здесь А - константа, фигурирующая в лемме 8.3. Основной момент в теореме - доказательство существования фундаментального решения, а не оценки ( 1), которая просто возникает в процессе доказательства. [51]