Cтраница 3
Доказанное утверждение допускает матричную формулировку. [31]
Доказанные утверждения указывают на различие между диагностической и установочной проблемами, состоящее в том, что если диагностическая проблема не решается ( посредством простого эксперимента, то для приведения автомата в известное состояние достаточно единственной копии. [32]
Иначе доказанное утверждение формулируется следующим образом. Следовательно, можно говорить, что при данных условиях функции ty и г ]) можно варьировать независимо. [33]
Доказанному утверждению можно придать другую форму, в которой оно чаще применяется. [34]
Переформулируем доказанное утверждение подробно. [35]
Применяя доказанное утверждение к интегрируемой функции f ( x), получаем сходимость мажорирующего ряда и, следовательно, абсолютную сходимость рассматриваемого ряда. [36]
Все доказанные утверждения сохраняют силу и для энтропии в смысле Хартли, которая равна просто логарифму числа элементов разбиения. Действительно, энтропия Шеннона равномерного разбиения превращается в энтропию Хартли. [37]
Собирая вместе доказанные утверждения, мы получаем следующее предложение, описывающее взаимоотношения между изоморфизмами и координатными системами. [38]
Из доказанного утверждения и теоремы 3 вытекает следующая теорема. [39]
Из доказанного утверждения следует, что всякий положительный оператор эрмитов. [40]
Из доказанного утверждения следует, что j в любую правильную пирамиду можно вписать сферу. [41]
Из доказанных утверждений вытекает представимость каждого регулярного множества. [42]
Из доказанного утверждения вытекает полезное Следствие. Диагональ куба перпендикулярна плоскости, проведенной через концы трех ребер куба, выходящих из той же вершины, что и диагональ. [43]
Из доказанного утверждения следует, что в любую правильную пирамиду можно вписать сферу. [44]
Следствием доказанного утверждения является требование, чтобы покрытие системы синтезируемых модулей включало лишь элементарные типовые структуры или их совокупности. [45]