Cтраница 2
Из этого описания & немедленно следует, что семейство замкнуто относительно операции дополнения. [16]
Действительно, понятие выигрывания было основано на понятии проигрывания как раз посредством операции дополнения. [17]
Таким образом, алгебра есть класс множеств, замкнутый относительно конечного числа операций дополнения, объединения и пересечения; а-алгебра есть класс множеств, замкнутый относительно счетного числа этих операций. [18]
У, откуда Х Х э У У, - в решетке od операция дополнения антиизотонна. Ввиду следствия-1 из теоремы 16 orf является булевой алгеброй. [19]
Класс языков типа 2 замкнут относительно операций объединения, но не замкнут относительно операции дополнения по отношению к словарю, содержащему не менее двух символов, а также по отношению к операции пересечения. [20]
Маленький кружок в конце каждой линии, входящей в элемент И, означает операцию логического дополнения сигнала. [21]
Покажем, что CJ ( L) является решеткой с единственными дополнениями, в которой операция дополнения анти-изотонна. [22]
Q называется класс Л подмножеств множества И, содержащий 0, Q и замкнутый относительно операций дополнения, счетносо объединения и счетного пересечения. Пара ( Q, Л ], состоящая из множества Q и ( булевой ] о-алгебры А подмножеств П, называется и з м ери м ы м пространств ом. [23]
При соединении графов отдельных аппаратов в граф МВУ производится операция связывания аппарата и исключения промежуточных переменных, аналогичная в определенной мере операции дополнения системы уравнений МВУ уравнениями связей элементов. [24]
Заде сформулировал основные понятия теории нечетких множеств ( их можно найти, например, в статье Л. А. Заде, 1966), определив, в частности, отношения равенства и включения двух нечетких множеств, а также операции дополнения нечеткого множества, объединения и пересечения двух нечетких множеств. [25]
Определение 1.4.1. Б у л е в о и з-а л г е б р о и ( пли бор еле ее ким полем) подмножеств множества называется класс Л подмножеств множества и, содержащий 0, ( - 1 и замкнутый относительно операций дополнения, счетносо объединения и счетного пересечения. [26]
Дополнению ( по выбору) могут подвергаться объекты из общих блоков, групп EQUIVALENCE, параметры подпрограмм, а при необходимости - все объекты. Операция дополнения находит применение для программ, в которых точность вычислений не должна быть увеличена, но которые вызывают или на которые ссылаются программы, выполняющие вычисления с более высокой точностью. Дополнение позволяет сохранить соответствие между объектами разных программных единиц и гарантирует их правильную передачу. [27]
Поскольку теперь у нас есть операция дополнения, достаточно рассматривать задачу пустоты, а именно: пусто ли множество, представленное данным регулярным выражением. Мы увидим, что, располагая операцией дополнения, можно представлять регулярные множества еще более короткими выражениями и задача пустоты для расширенных регулярных выражений значительно труднее задачи пустоты дополнения для полу расширенных регулярных выражений. [28]
Первая позиция определяет операцию продвижения и описывает типы данных, для которых выполняется эта операция. Позиции 2 - 5 определяют операцию дополнения: вторая позиция описывает виды совместно используемой памяти, к которым применяется эта операция, а позиции 3 - 5 описывают соответственно объекты логического, целого, вещественного и комплексного типов, для которых выполняется операция дополнения в объеме возможностей, определенных второй позицией. [29]
Из доказанной теоремы следует, что принятое определение истинности в К-системе действительно обеспечило выход за пределы финитных формальных систем. Поскольку класс рекурсивно перечислимых множеств не замкнут относительно операции дополнения, финитные формальные системы образуют лишь сравнительно узкий собственный подкласс класса полных К-систем. В частности, любой алгоритм является К-функцией, но обратное неверно - К-функция в общем случае непредставима в виде алгоритма. [30]