Cтраница 2
Полнота системы переходов в автомате означает, очевидно, что в каждом столбце таблицы переходов автомата должны встречаться символы всех его состояний. С учетом этого обстоятельства мы получаем следующие возможные типы запоминающих элементов. [16]
Полнота системы корневых подпространств не обеспечивает С, с. [17]
Полнота системы функций НЕ-ИЛИ доказана. В качестве альтернативного доказательства можно заметить, что полнота системы функций НЕ-И была нами доказана ранее. [18]
Строго установленная полнота системы аксиом геометрии Лобачевского и изоморфизм всех ее реализаций позволяют просто и без особого труда изложить основные факты геометрии Лобачевского, в том числе и теорию параллельных, используя наибо лее подходящие для этого интерпретации. [19]
Полноту системы логических преобразований следует понимать так: если две схемы равносильны ( в вышеуказанном смысле), то одну из них ( любую) можно с помощью конечного числа этих преобразований свести к другой. Не следует думать, что нельзя ввести другое понятие равносильности схем, при котором рассмотренная система логических преобразований перестанет быть полной и, следовательно, будет требовать дополнительных формул и правил. [20]
Для полноты системы тестов может существовать специальная подпрограмма, учитывающая все элементы, которые при проверке схемы не переключались. Кроме того, изучается прохождение каждой из неисправностей внутри схемы на выход, так как могут возникать ситуации, при которых внутренняя неисправность будет скрыта за счет состояния других входов элементов. [21]
Этим полнота системы полиномов Лежандра в Q [ - /, I ] доказана. [22]
Для полноты системы собственных функций дифференциального оператора в бесконечномерном гильбертовом пространстве самосопряженности недостаточно. Необходимо еще, чтобы собственные значения были ограничены сверху иАп - - ос, п - оо. [23]
Доказательство полноты системы ( С) вполне аналогично доказательствам полноты систем уравнений ( А) и ( В), изложенным в § 22 и 49, и мы предоставляем провести его читателю. [24]
Доказательство полноты системы ( С) вполне аналогично доказательствам полноты систем уравнений ( А) и ( В), изложенным в § § 22 и 49, и мы предоставляем провести его читателю. [25]
Доказательство полноты системы ( С) вполне аналогично доказательствам полноты систем уравнений ( А) и ( В), изложенным в § 22 и 49, и мы предоставляем провести его читателю. [26]
Условие полноты системы элементов в двойных линиях получается, исходя из следующего утверждения. [27]
Требование полноты системы функций связано с приближением решения к точному. [28]
Доказательство полноты системы функций представляет собой трудоемкую задачу, поэтому мы ограничимся лишь кратким доказательством ортонормированности собственных функций эрмитова оператора. [29]
Условие полноты системы функций на отрезке [ а, 6) заключается в том, что не существует других функций, кроме тождественно равных нулю, которые были бы ортогональны ко всем функциям системы. [30]