Cтраница 4
Иногда ошибочно сопоставляют затраты на создание СО и потери от недостаточной точности анализов: в данном случае альтернативами являются контроль правильности с помощью СО и использование других способов обеспечения и доказательства правильности. [46]
Из сказанного вытекает, что данные измерений скоростей падения капель зачастую противоречили гидродинамической теории Рыбчинского - Адамара, но, вместе с тем, вследствие большой разноречивости результатов не могли вполне однозначно служить для доказательства правильности гипотезы Буссинеска. [47]
Составьте программу для ЭВМ, которая допускает в качестве вводимых данных программы, написанные на некотором языке программирования совместно с некоторыми дополнительными утверждениями, и которая в состоянии выработать остальные утверждения, необходимые для доказательства правильности заданной программы. Заметьте, что существование такой программы делает отладку необязательной, если не считать докааательства конечности алгоритма. В тексте показано, как проводится доказательство по индукции утверждений Р ( п), зависящих от единственного целого параметра п, но не разбирается, как доказать по индукции утверждения Р ( т, п), зависящие от двух целочисленных параметров. В этих случаях доказательство часто проводят, используя своего рода двойную индукцию, что нередко бывает неудобно. Этот принцип называется полным упорядочением. [48]
Переходя к практическому применению своей гипотезы, Авогадро в этой работе [20] делал очень ценные выводы об атомных весах различных элементов и об атомном составе многих сложных веществ, критически разбирая выводы других ученых и давая научно обоснованные доказательства правильности своих выводов. [49]
Доказательства правильности этой теории, имеющиеся в настоящее время, следует считать весьма убедительными. Физики уверены в ее справедливости так же, как и в справедливости законов любой другой области физики. Наша ближайшая задача теперь состоит в том, чтобы точно сформулировать основные положения этой теории и усвоить некоторые следствия из нее. [50]
Интересен и вопрос о роли вспомогательных пигментов в фотосинтезе. Имеются значительные доказательства правильности той идеи, что эти пигменты, которые состоят из каротиноидов, фикобилинов и хлорофилла Ь, действуют главным образом как дополнительные светопроводы, которые подводят свет к обычному каналу фотосинтеза с помощью хлорофилла а. Эти пигменты захватывают зеленый свет, который плохо поглощается хлорофиллом, и затем передают энергию по экситонному механизму и с помощью резонансного переноса хлорофиллу а. Однако в последние годы были представлены доказательства того, что вспомогательные пигменты также испытывают фотохимическую реакцию, так что в настоящее время этот вопрос никоим образом не может считаться решенным. [51]
Для доказательства правильности построения опустим из О перпендикуляр на MN. [52]
Хоара, разработаны для фрагментов языков программирования кобол и алгол-68, а также для нек-рых языков с недетерминированными и параллельными конструкциями. Для доказательства правильности рекурсивных программ используется индукция, связанная с определением наименьшей неподвижной точки, а для программ со сложными структурами данных ( напр. [53]
Хотя существуют доказательства правильности этого вывода ( см. гл. Если эта модель правильна при Т-0, то существует некоторая приведенная плотность пизкорасположеиных уровней, по нет энергетической щели. [54]