
- •Общие сведения
- •Сведения об ЭУМК
- •Методические рекомендации по изучению дисциплины
- •Рабочая учебная программа
- •Теоретический раздел
- •Лекции
- •Раздел 1. Теория множеств
- •Глава 1. Множества и подмножества
- •1.1 Элементы и множества
- •1.2 Способы задания множеств
- •Глава 2. Операции над множествами
- •2.1 Сравнение множеств
- •2.2 Операции над множествами
- •2.3 Свойства операций над множествами
- •2.4 Примеры доказательств тождеств с множествами
- •2.5 Булеан
- •Глава 3. Упорядоченные множества
- •3.1 Кортеж
- •3.2 Операция проекции
- •3.3 Декартово произведение множеств
- •3.4 Графики
- •Глава 4. Отношения на множествах
- •4.1 Понятие отношения
- •4.2 Свойства отношений
- •4.3 Операции над отношениями
- •4.4 Отношение эквивалентности
- •4.5 Отношение порядка
- •Глава 5. Соответствия и функции
- •5.1 Основные понятия соответствия
- •5.2 Операции над соответствиями
- •5.3 Свойства соответствий
- •5.4 Отображения множеств
- •5.5 Функция
- •Глава 6. Мультимножества
- •6.1 Понятие мультимножества
- •6.2 Операции над мультимножествами
- •Раздел 2. Теория графов
- •Глава 1. Основные понятия
- •1.1 Определения и примеры
- •1.2 Способы задания графов
- •Глава 2. Графы
- •2.1 Типы графов
- •2.2 Подграфы
- •2.3 Сильно связные графы и компоненты графа
- •2.4 Маршруты, цепи, пути и циклы
- •2.5 Связность и компоненты графа
- •2.6 Операции над графами
- •2.7 Матрица смежности и инцидентности
- •Глава 3. Орграфы
- •3.1 Определения и примеры
- •3.2 Орграфы и матрицы
- •3.3 Ориентированные эйлеровы графы
- •Глава 4. Ориентированные ациклические графы и деревья
- •4.1 Ориентированные ациклические графы
- •4.2 Деревья
- •Глава 5. Планарность и двойственность
- •5.1 Планарные графы
- •5.2 Точки сочленения, мосты и блоки
- •5.3 Двойственные графы
- •Глава 6. Поиск на графах
- •6.1 Исследование лабиринта
- •6.2 Поиск в глубину
- •6.3 Поиск в ширину
- •6.4 Нахождение кратчайшего пути (Алгоритм Дейкстры)
- •Практический раздел
- •Указания по выбору варианта
- •Теоретическая часть (вопросы)
- •Практическая часть
- •Контрольное задание №1.
- •Контрольное задание №2.
- •Контрольное задание №3.
- •Контрольное задание №4.
- •Контрольное задание №5.
- •Контрольное задание №6.
- •Теоретическая часть (вопросы)
- •Контрольное задание №1.
- •Контрольное задание №2.
- •Контрольное задание №3.
a.(В С)• А = (В • А) (С• А);
b.А • (В\С) = (А • В)\ (А• С).
Контрольное задание №4.
1.Пусть заданы отношения φ, ψ, σ на множестве Х. Доказать или опровергнуть истинность следующих тождеств:
a.φ • (ψ σ) = (φ • ψ) (φ • σ);
b.φ (ψ∩σ) = (φ ψ) ∩ (φ σ);
c.φ • (ψ∩σ) = (φ • ψ) ∩ (φ • σ);
d.φ ∩ (ψ σ) = (φ∩ ψ) (φ∩ σ);
2.Проверить для произвольных отношений Ф=(A,G) и R = (A,F) справедливость утверждения:
a.Если отношения Ф и R обладают свойством антирефлексивности, то отношение Ф R также обладает свойством антирефлексивности.
b.Если отношения Ф и R обладают свойством симметричности, то отношение Ф∩R также обладает свойством симметричности.
c.Если отношения Ф и R обладают свойством транзитивности, то отношение Ф\R также обладает свойством транзитивности.
d.Если отношения Ф и R обладают свойством антисимметричности, то отношение Ф-1 также обладает свойством антисимметричности.
e.Если отношения Ф и R обладают свойством транзитивности, то отношение Ф • R также обладает свойством транзитивности.
f.Если отношения Ф и R обладают свойством линейности, то отношение Ф\R также обладает свойством линейности.
157
3.Выяснить, что представляет из себя отношения Ф • Ф, Ф • Ф-1.
4.Построить на конечном множестве отношение, обладающее таким же набором свойств, что и данное отношение Ф = ({а, b, с}, {(a, b), (b, с), (с, а)}).
Контрольное задание №5.
1.Пусть Г =<G, X, Y>, X = {1, 2, 3}, Y = {4, 5}, G = {<1, 4>, <1, 5>, <2, 4>, <2, 5>, <3, 4>, <3, 5>}. Проверить, является ли это соответствие полным на множестве X × Y.
2. Заданы соответствия Г =< X, Y,F>; = <W, Z, P>, где X = {1, 2, 3, 4}; Y = {a, b. c, d}; F = {<1, a>, <1, c>, <1, d>, <2, b>, <2, c>, <3, a>, <3,d>, <4, b>, <4, c>}; W = {1, 3, 5, 6}; Z = {b, c, d, e}; P = {<1, b>, <1, c>, <3, b>, <3, d>, <3, e>, <5, c>,<5, d>, <6, d>}. Найти:
a.Г Δ;
b.Г -1;
c.Г∩ Δ;
∩
d.Г-1 Δ;
e.Г\Δ;
f.Г\Δ-1;
g.Г-1\Δ;
3. Заданы соответствия Г =< X, Y,F>; = <W, Z, P>, где X = {1, 2, 3, 4}; Y = {a, b. c, d}; F = {<1, a>, <1, c>, <1, d>, <2, b>, <2, c>, <3, a>, <3,d>, <4, b>, <4, c>}; W = {a, c, d, e}; Z = {I, II, IV, V, VI}: P = {<a,I>, <a, IV>, <a, V>, <c, II>, <c, IV>, <d, II>, <d, V>, <d, VI>, <e,I>} и произвольные множества A = {1, 2, 4}, B = {a, c, d}. Найти:
a.Г •Δ;
b.-1•Г-1;
c.Г(А);
d.Г-1(В).
4.Пусть задано произвольное соответствие Г =< X, Y,F> и множества А Х, ВХ, С Y,
D Y. Доказать справедливость следующих тождеств:
158