Cтраница 1
Результаты предыдущей главы ( см. также [31,35]) свидетельствуют о следующем. [1]
Результаты предыдущей главы позволяют нам сейчас дать полное перечисление всех вполне однородных алгебр. [2]
Результаты предыдущих глав группируются вокруг одной из двух задач, поставленных нами в связи с введением е-символа, а именно - вокруг задачи, касающейся возможности исключения связанных переменных из выводов, осуществляемых средствами исчисления предикатов ( возможно, с применением е-формулы), при условии, что используемые в этих выводах аксиомы, а также результирующие формулы выводов не содержат связанных переменных. [3]
Результаты предыдущей главы ( см. также [137, 246]) свидетельствуют о следующем. [4]
Результаты предыдущей главы показывают, что древовидность оптимальных информационных графов помимо удобств практической реализации позволяет получать нижние оценки сложности, отличные от мощностной нижней оценки. Поэтому представляется интересным поиск таких типов задач поиска, которые имели бы древовидные оптимальные информационные графы. [5]
Результаты предыдущих глав свидетельствуют о практической важности нормального распределения. [6]
Результаты предыдущей главы показывают, что древовидность оптимальных информационных графов помимо удобств практической реализации позволяет получать нижние оценки сложности, отличные от мощностной нижней оценки. Поэтому представляется интересным поиск таких типов задач поиска, которые имели бы древовидные оптимальные информационные графы. [7]
Все результаты предыдущей главы сохраняют свою силу при условии их интерпретации с учетом этого обстоятельства. Единственный новый момент, вносимый введением нового способа отсчета времени, состоит в том, что теперь пустое слово оказывается всегда представленным в автоматах Мура выходным сигналом у ( 0), в то время как ранее оно не могло быть представлено никаким выходным сигналом. Эта особенность новой интерпретации, однако, несущественна в силу принятого в предыдущей главе условия, согласно которому пустое слово не принимается во внимание при представлении событий. [8]
Некоторые результаты предыдущей главы могут служить для определений колебаний, возникающих в мостах под действием подвижной нагрузки. При расчете мостов обыкновенно предполагается, что подвижная нагрузка из одного положения в другое переходит с бесконечно малой скоростью, и потому давление каждого из подвижных грузов в любой момент равно весу этого груза. При конечных скоростях это предположение не вполне точно, благодаря прогибу моста катящиеся по нему грузы совершают некоторые перемещения по вертикальному направлению. Силы инерции, соответствующие этому перемещению, очевидно, должны быть присоединены к весу грузов при вычислении давлений, оказываемых грузами на мост. Кроме того, должно принять во внимание силы инерции элементов самого моста, совершающих перемещения при проходе подвижной нагрузки. Во всей полноте задача о динамическом прогибе мостов является до сих пор нерешенной, исследованы лишь предельные случаи. [9]
Поэтому результаты предыдущей главы не могут быть использованы непосредственно. [10]
Большинство результатов предыдущей главы, как в основном тексте так и в примерах, относится к превращению определенных измеримых пространств в пространства с мерой. [11]
С учетом результатов предыдущих глав можно дать полную классификацию таких алгебр и охарактеризовать те из них, которые имеют конечный тип. [12]
На основании результатов предыдущей главы мы можем теперь проанализировать один известный кажущийся парадокс, к которому приводит теория относительности. [13]
В этой главе результаты предыдущей главы обобщаются на случай сложного контура Саава состоит из трех параграфов. Первые два носят вспомогательный характер, а в третьем доказывается основная теорема. [14]
В пятой главе результаты предыдущей главы применяются к уравнениям в частных производных. [15]