Cтраница 1
Множества последовательности ( 2) суть ограниченные континуумы, вложенные друг в друга. Пересечением о этих континуумов является, как известно, либо отличный от точки континуум, либо единственная точка. [1]
Множество последовательностей, подчиненных ограничению (2.2.2), по которому ищется минимум (2.2.31), является открытым. [2]
Множество S последовательностей символов в S определяется индуктивно следующим образом. [3]
Поэтому множество последовательностей с данным синдромом является смежным классом по подгруппе, образуемой кодовыми словами. [4]
Так как множество правильно декодируемых шумовых последовательностей не зависит от сообщения, то точно так же Ре m ехр [ - NET ( R) для всех сообщений, закодированных этим кодом. Это доказывает следующее следствие. [5]
Указание: рассмотреть множество последовательностей, расположенных на расстоянии, не большем е от каждого кодового слова и показать, что эти множества не должны пересекаться. [6]
![]() |
Установочное дерево для автомата Т7 и допустимого множества 1, 2, 3, 4, 5, 6. [7] |
Очевидно, что множество последовательностей, соответствующих установочным путям в установочном дереве, построенном для автомата Т и допустимого множества А ( Т), есть множество всех минимальных установочных последовательностей. [8]
Обозначим через Р множество последовательностей, которые являются доказательствами. Некоторые последовательности в Е в качестве конечного выражения содержат подлежащее доказательству выражение, которое мы обозначим через X. Это множество последовательностей обозначим через Т х - Тогда нахождение доказательства данной теоремы означает выбор элемента из Е, который принадлежит пересечению множеств Р и Тх. [9]
Заметим еще, что множество последовательностей S ( f ( x)) замкнуто относительно сдвига, сложения и умножения на скаляры. [10]
Полезно рассмотреть еще два множества последовательностей. [11]
Оказывается, что на множестве последовательностей все-таки можно задать вероятностную меру. Однако эта теорема лежит за пределами данной книги. Логически она не необходима: мы предполагаем, что все наши случайные величины заданы на одном пространстве элементарных событий, и нас мучает не логика, а только совесть: не рассматриваем ли мы нечто такое, чего вообще не может быть. Для успокоения совести достаточно знать о существовании теоремы Колмогорова, не умея ее точно формулировать и доказывать. Такое же положение повторяется при введении аксиоматики, основанной на теории меры: достаточно знать о существовании теории Лебега, из которой следует, что введенный аксиоматикой класс объектов в самом деле не пуст. [12]
Каждый конкретный текстовый тип определяет множество последовательностей символов ( текстов, строк), не превышающих определенную длину, которая может колебаться от 1 до 250 символов. Для удобства работы с текстами на русском языке в системе ИНЕС существует тип русский текст, значения которого изображаются так же, как и значения текстового типа, но составляют подмножество последнего. Разница между этими типами заключается в том, что данные текстового типа при необходимости упорядочиваются в соответствии с латинским алфавитом ( точнее, в соответствии с кодом EBCDIC), а данные, которые объявлены русским текстом - в соответствии с русским алфавитом. [13]
Каждый конкретный логический тип определяет множество последовательностей двоичных знаков 0 и 1, не превышающих определенную длину в пределах от 1 до 250 знаков. Логические типы системы ИНЕС подразумевают неявное существование типов: двоичный с двумя значениями 0 и 1 и шестнадцатиричный с шестнадцатью значениями, соответствующими шестнадцатиричным цифрам. [14]
Каждый конкретный тип последовательности определяет множество последовательностей ограниченной длины значений некоторого компонентного типа данных и потому характеризуется типом компонентов и допустимой длиной. [15]