Cтраница 2
![]() |
Структура программы с описаниями типа.| Дерево программы с описаниями типа на промежуточном языке. [16] |
Семантика введенных операций состоит в следующем. [17]
С введенными операциями связаны две основные теоремы элементарной В. [18]
С введенными операциями 1 и W или W образует область целостности ( разд. [19]
С введенными операциями связаны две основные теоремы В. [20]
Наконец, введенная операция непрерывна в топологии пространства распределений трех переменных. [21]
Докажите, что относительно введенных операций множество Г ( П ( 0)) является компактной топологической группой. [22]
По отношению к введенным операциям система классов вычетов по заданному модулю р является кольцом. Такое кольцо есть поле тогда и только тогда, когда р простое. [23]
Установим соответствие между введенными операциями и операциями над ЛФВ. [24]
Теперь выясним, как введенные операции можно выразить с помощью операций над матрицами и графами. Поскольку матрицы, которые нам нужны, состоят только из нулей и единиц, нам будет полезно ввести специальную ( так называемую булеву) арифметику на множестве из нуля и единицы. [25]
Нетрудно убедиться, что введенные операции над нечеткими множествами являются более общими, чем аналогичные операции над обычными множествами. Если в выражениях (2.4), (2.6), и (2.7) положить, что ИА ( и) и IB ( и) могут принимать только два значения 0 или 1, то при выполнении данных операций получим следующее. При выполнении операции объединения множеств будет сформировано множество, состоящее как из элементов множества А, так и из элементов множества Б; операция пересечения множеств даст множество; которое состоит из элементов, одновременно принадлежащих двум множествам А и В; операция дополнения образует множество, состоящее из элементов U без элементов множества А. [26]
Примером использования списков и введенных операций может служить решение следующей простой задачи. [27]
Рассмотрим теперь некоторые свойства введенных операций. [28]
Линейное пространство S с введенной операцией предельного перехода является линейным пространством со сходимостью. [29]
Нечеткие подмножества некоторого универсального множества относительно введенных операций объединения, пересечения и дополнения множеств удовлетворяют следующим свойствам. [30]