
- •Министерство образования и науки Российской Федерации
- •Волгодонский инженерно-технический институт – филиал нияу мифи курс лекций
- •230201 «Информационные системы и технологии»
- •220301 «Автоматизация технологических процессов и производств»
- •Волгодонск
- •1. Алгебра множеств
- •1.1. Понятие множества. Обозначение принадлежности
- •1.2. Способы задания множеств
- •1.3. Множество подмножеств. Включение
- •1.5. Свойства операций над множествами
- •Основные свойства операций над множествами
- •1.6. Декартово произведение множеств
- •2. Отношения
- •Бинарные отношения
- •Способы задания бинарных отношений
- •Области определения и значений
- •Сечения
- •Симметризация отношения
- •2.6 Композиция отношений
- •2.7. Свойства бинарных отношений
- •3. Функциональные отношения
- •3.2. Мощность множества
- •3.3. Образы и прообразы
- •3.4. Подстановки как отображения
- •4. Отношение эквивалентности
- •4.1. Эквивалентность. Классы эквивалентности
- •4.2. Система представителей.
- •4.3. Классы вычетов по модулю т.
- •4.4. Матрица и граф отношения эквивалентности
- •5. Отношение порядка
- •5.1. Упорядоченность
- •5.2. Отношение строгого порядка
- •5.3. Весовые функции
- •5.4. Квазипорядок
- •5.5. Комплексный показатель качества
- •5.6. Структура упорядоченных множеств
- •5.7. Матрицы отношений порядка
- •5.8. Графы отношений порядка
- •6. Законы композиции
- •6.1. Композиция объектов. Таблица Кэли.
- •6.2. Законы композиции на множестве.
- •6.3. Свойства внутреннего закона композиции.
- •6.4. Регулярный, нейтральный и симметричный элементы.
- •6.5. Аддитивные и мультипликативные обозначения.
- •6.6. Алгебраические системы.
- •6.7. Подсистемы.
- •6.8. Делители нуля.
- •Примеры алгебраических систем
- •Группы подстановок
- •7.2. Кольцо многочленов
- •7.3. Кольцо множеств
- •7.4. Множество классов вычетов по модулю т
- •7.5. Поле комплексных чисел
- •7.6. Тело кватернионов
- •8. Пространства
- •Метрические пространства
- •8.2. Топологические пространства
- •8.3. Линейные пространства
- •8.4. Нормированные пространства
- •9. Логические функции
- •9.1. Основные определения
- •9.2. Табличное задание функции
- •9.3. Булевы функции
- •9.4. Зависимость между булевыми функциями
- •10. Алгебра логики
- •10.1.Булева алгебра
- •10.2. Двойственность формул булевой алгебры
- •10.3. Нормальные формы
- •10.4. Совершенные нормальные формы
- •10.5. Проблема разрешимости
- •10.6. Конституенты и представление функций
- •10.7. Алгебра Жегалкина
- •10.8. Канонические многочлены
- •10.9. Типы булевых функций
- •10.10. Функциональная полнота
- •11. Контактные схемы
- •12. Логические схемы
- •13. Минимизация булевых функций
- •14. Конечные автоматы
- •14.1 Основные определения
- •14.2 Состояния
- •14.3 Типы конечных автоматов
- •14.4 Представления конечных автоматов
- •14.5 Анализ конечных автоматов
- •14.6 Минимизация автоматов
- •14.7. Эквивалентное разбиение
- •15. Машины тьюринга
- •15.1 Алфавит, буквы, слова. Операции над словами. Запись слов на бесконечной ленте
- •15.2. Машина Тьюринга. Описание. Примеры машин
- •15.3. Сочетания машин Тьюринга: композиция и объединение. Машины с полулентами, разветвление и итерация машин
- •15.4. Алгоритмически разрешимые и неразрешимые проблемы
- •15.5. Универсальная машина Тьюринга
5.4. Квазипорядок
Если отображение
не инъективно, т.е. два различных объекта
х
и у
из М
могут иметь равные веса
,
то отношение между ними не является
антисимметричным и, следовательно, не
удовлетворяет определению порядка. В
то же время, как показано ранее, с
отображением можно связать разбиение
множества М
на классы эквивалентности.
Каждый из них объединяет различные
элементы из М
с равными весами, причем этот вес служит
представителем соответствующего
класса.
Теперь можно говорить об упорядочении совокупности классов эквивалентности некоторого множества М по их представителям. Так как система представителей не содержит одинаковых элементов (в противном случае соответствующие им классы объединились бы в общий класс эквивалентности), то на этой системе как на множестве можно определить строгий порядок. Такое упорядочение отождествляет элементы множества М, принадлежащие к одному и тому же классу эквивалентности, и определяет на этом множестве квазипорядок (псевдпорядок). Говорят также, что строгий порядок на множестве классов эквивалентности множества М индуцируется квазипорядком.
Квазипорядок
удовлетворяет условиям рефлексивности
и транзитивности, Он является
обобщением эквивалентности (в определение
не входит свойство симметричности) и
нестрогого порядка (не обязательно
свойство антисимметричности). Отношение,
являющееся одновременно эквивалентностью
и нестрогим порядком, есть тождественное
равенство.
Можно также показать, что если А
- квазипорядок,
то
- эквивалентность. Совершенный
квазипорядок индуцирует и совершенно
строгий порядок на множестве классов
эквивалентности. Классы эквивалентности
множества М
с квазипорядком, представляющие собой
такие множества, где весовая функция
принимает фиксированные значения,
обычно называются областями
уровня.
5.5. Комплексный показатель качества
Сравнение различных
объектов по некоторой числовой
характеристике сводится, как об этом
говорилось в (4), к упорядочению множества
соответствующих
им весов, которые можно рассматривать
как некоторый показатель качества.
Сложный объект характеризуется
несколькими показателями качества
(стоимость, надежность и т.п.). Для оценки
таких объектов используется комплексный
показатель качества,
который выражается некоторым числом
.
Простейший
способ определения этого числа основан
на соотношении
,
где i
- коэффициент весомости
показателя
.
Обычно под
понимают относительные
показатели
по сравнению с соответствующими
показателями некоторого объекта,
принятого в качестве базисного.
Коэффициенты весомости являются
численными выражениями значимости
показателей, и их определение находится
в компетенции специалистов конкретной
отрасли.
Определив комплексные показатели качества некоторой совокупности объектов и упорядочив множество этих показателей, можно сравнивать эти объекты между собой. Объекты с одинаковыми показателями качества являются в этом отношении эквивалентными. Следует, однако, отметить, что порядок или квазипорядок на множестве объектов зависит от того, как определены коэффициенты весомости.