- •ПЕРЕЧЕНЬ МАТЕРИАЛОВ
- •ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
- •ОГЛАВЛЕНИЕ
- •1 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
- •1.1 Логика высказываний
- •1.1.1 Понятие логического высказывания
- •1.1.2 Логические операции
- •1.1.3 Пропозиционные формулы
- •1.1.4 Тавтологии
- •1.1.5 Равносильные формулы
- •1.2 Булевы функции
- •1.2.1 Понятие булевой функции. Число булевых функций от n переменных
- •1.2.2 Элементарные булевы функции. Представление булевых функций пропозиционными формулами
- •1.2.3 Двойственные функции. Принцип двойственности
- •1.2.4 Совершенные конъюнктивные нормальные формы (СКНФ)
- •1.2.5 Полиномы Жегалкина
- •1.3 Полнота и замкнутость
- •1.3.1 Полные системы функций и замкнутые классы
- •1.3.2 Основные замкнутые классы
- •1.3.3 Теоремы о функциональной полноте
- •1.3.4 Базисы пространства булевых функций
- •1.4 Минимизация булевых функций
- •1.4.1 Постановка задачи
- •1.4.2 Метод Квайна-Макклоски
- •1.4.3 Карты Карно
- •1.5 Реализация булевых функций
- •1.5.1 Контактные схемы
- •1.5.2 Схемы из функциональных элементов
- •1.6 Предикаты
- •1.6.1 Основные понятия и определения
- •1.6.2 Операции над предикатами
- •1.6.3 Равносильные формулы логики предикатов
- •1.6.4 Приведенная форма и предваренная нормальная форма предиката
- •2 ОСНОВЫ ТЕОРИИ МНОЖЕСТВ
- •2.1 Множества и операции над ними
- •2.1.1 Основные понятия
- •2.1.2 Способы задания множеств
- •2.1.3 Операции над множествами
- •2.1.4 Свойства операций над множествами. Алгебра множеств
- •2.1.5 Декартово произведение множеств
- •2.2 Отображения множеств
- •2.2.1 Основные понятия
- •2.2.2 Произведение (композиция) отображений
- •2.2.3 Обратные отображения
- •2.3 Отношения
- •2.3.1 Основные понятия и способы задания отношений
- •2.3.2 Операции над бинарными отношениями и их свойства
- •2.4 Отношения экивалентности
- •2.4.1 Классы эквивалентности
- •2.4.2 Отношения частичного порядка
- •2.5 Комбинаторика
- •2.5.1 Размещения
- •2.5.2 Перестановки
- •2.5.3 Сочетания
- •2.5.4 Сочетания с повторениями
- •2.5.5 Бином Ньютона. Понятие о производящей функции
- •2.5.6 Числа Стирлинга
- •2.5.7 Число Белла
- •2.6 Мощности множеств
- •2.6.1 Мощность конечного множества
- •2.6.2 Мощности бесконечных множеств. Счетные множества
- •2.6.3 Несчетные множества. Мощность континуума
- •2.6.4 Кардинальные числа. Гипотеза континуума
- •3 ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ
- •3.1 Основные определения и типы графов
- •3.1.1 Основные понятия
- •3.1.2 Основные типы графов
- •3.1.3 Обобщения понятия графа
- •3.1.4 Изоморфные графы
- •3.1.5 Количество различных графов порядка n
- •3.2 Основные числовые характеристики и матрицы графа
- •3.2.1 Степени вершин графа
- •3.2.2 Матрица смежности
- •3.2.3 Матрица Кирхгофа
- •3.2.4 Матрица инцидентности
- •3.3 Подграфы и операции на графах
- •3.3.1 Подграфы
- •3.3.2 Операции над графами
- •3.4 Связные графы и расстояние в графах
- •3.4.1 Маршруты в графах. Связные графы
- •3.4.2 Компоненты связности. Связность графа и его дополнения
- •3.4.3 Расстояния на графах
- •3.4.4 Метод поиска в ширину
- •3.4.5 Выяснение вопросов связности, достижимости и расстояний на графе по матрице смежности
- •3.5 Деревья и остовы
- •3.5.1 Критерии дерева
- •3.5.3 Типы вершин дерева, радиус и центры
- •3.5.4 Остовы графа, циклический ранг и ранг разрезов
- •3.5.5 Задача о минимальном остове
- •3.5.6 Разрезы графа. Фундаментальная система циклов и фундаментальная система разрезов
- •3.5.7 Линейное пространство графа
- •3.6 Эйлеровы и гамильтоновы графы
- •3.6.1 Эйлеровы графы
- •3.6.2 Гамильтоновы графы
- •3.7 Планарные графы
- •3.7.1 Вложимость графов в трехмерное пространство
- •3.7.2 Планарные графы. Формула Эйлера
- •3.7.3 Следствия из формулы Эйлера
- •3.7.4 Гомеоморфные графы. Критерий планарности
- •3.8 Раскраски графов
- •3.8.1 Хроматическое число графа
- •3.8.2 Хроматическое число 2-дольного графа. Критерий 2-дольности
- •3.8.3 Некоторые оценки хроматического числа
- •3.8.4 Раскраски планарных графов
- •3.8.5 Реберная раскраска графа
- •3.9 Паросочетания
- •3.9.1 Паросочетания
- •3.9.2 Теорема Холла о свадьбах
- •3.10 Сети
- •3.10.1 Основные понятия
- •3.10.2 Потоки в сетях
- •3.10.3 Сетевое планирование
- •ПРОДОЛЖЕНИЕ ОГЛАВЛЕНИЯ
- •4 ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ
- •4.1 Математическое моделирование и вычислительный эксперимент
- •4.2 Метод Гаусса решения систем линейных алгебраических уравнений. Плохая обусловленность и анализ ошибок. Влияние погрешностей округления
- •4.3 Итерационные методы решения систем линейных алгебраических уравнений. Метод простых итераций и метод Зейделя
- •4.3.1 Основные понятия
- •4.3.2 Метод простой итерации. Описание метода
- •4.3.3 Некоторые сведения о векторах и матрицах
- •4.3.4 Условия и скорость сходимости метода простой итерации
- •4.3.5 Приведение системы (1) к виду (2)
- •4.4 Интерполирование алгебраическими многочленами. Интерполяционный многочлен Лагранжа
- •4.4.1 Постановка задачи
- •4.4.2 Интерполяционная формула Лагранжа. Представление и оценка остатка
- •4.4.3 Практическое применение интерполяции
- •4.5 Конечные разности. Интерполяционный многочлен Ньютона
- •4.5.1 Конечные разности
- •4.5.2 Интерполяционный многочлен Ньютона
- •4.5.3 Линейная интерполяция
- •4.6 Многочлены Чебышева на отрезке [-1, 1]. Интерполирование сплайнами
- •4.7 Численное интегрирование
- •4.7.1 Формулы прямоугольников
- •4.7.2. Формула трапеций
- •4.7.3. Формула Симпсона (метод параболических трапеций)
- •4.7.4 Квадратурные формулы наивысшей алгебраической степени точности (квадратурные формулы Гаусса)
- •4.8 Численное решение нелинейных уравнений
- •4.8.1. Отделение корней
- •4.8.2 Метод деления отрезка пополам
- •4.8.3 Метод простой итерации (метод последовательных приближений)
- •4.8.4. Метод Ньютона (метод касательных)
- •4.8.5 Метод секущих
- •4.8.6 Метод хорд
- •4.9 Итерационные методы решения систем нелинейных уравнений
- •4.9.1 Метод простой итерации
- •4.9.2 Метод простой итерации для системы двух уравнений
- •4.9.3 Метод Ньютона
- •4.9.4 Метод Ньютона для системы двух уравнений
- •4.10 Численные методы решения задачи Коши для обыкновенного дифференциального уравнения
- •4.10.1 Метод Эйлера
- •4.10.2 Методы Рунге–Кутта
- •4.11 Постановка задачи линейного программирования. Геометрическая интерпретация и графическое решение задачи линейного программирования
- •4.11.1 Предмет математического программирования
- •4.11.2 Основная задача линейного программирования
- •4.11.3 Геометрический смысл системы линейных неравенств
- •4.11.4 Графический метод решения задач линейного программирования
- •4.12 Симплексный метод решения задачи линейного программирования. Двойственность в линейном программировании
- •4.12.1 Свойства решений задачи линейного программирования (ЗЛП)
- •4.12.2 Общая идея симплексного метода
- •4.12.3 Построение начального опорного плана
- •4.12.4 Признак оптимальности опорного плана. Симплексные таблицы
- •4.12.5 Переход к нехудшему опорному плану. Симплексные преобразования
- •4.13 Разностные методы
- •4.13.1 Основные понятия
- •4.13.2 Сетки и сеточные функции
- •4.13. 3 Аппроксимация простейших дифференциальных операторов
- •4.13.4 Разностная задача
- •4.13.5 Устойчивость
- •4.13.6 Связь аппроксимации и устойчивости со сходимостью
- •4.13.7 Явные и неявные разностные схемы
- •ОГЛАВЛЕНИЕ
- •Лабораторная работа 5. Задача коммивояжера
- •ПРОДОЛЖЕНИЕ ОГЛАВЛЕНИЯ
- •2.1. Метод Гаусса решения систем линейных алгебраических уравнений
- •2.2. Итерационные методы решения систем линейных алгебраических уравнений. Метод простых итераций и метод Зейделя
- •2.2.1. Метод простых итераций
- •2.2.2 Метод Зейделя
- •2.3. Интерполирование алгебраическими многочленами. Интерполяционный многочлен Лагранжа
- •2.3.1. Постановка задачи
- •2.3.2 Интерполяционный многочлен Лагранжа
- •2.3.3 Практическое применение интерполирования. Оценка погрешности интерполяционного многочлена Лагранжа
- •2.4 Конечные разности. Интерполяционный многочлен Ньютона
- •2.4.1 Конечные разности
- •2.4.2 Первая интерполяционная формула Ньютона (для интерполирования вперед)
- •2.4.3 Вторая интерполяционная формула Ньютона (для интерполирования назад)
- •2.5 Интерполирование сплайнами
- •2.6 Численное интегрирование
- •2.6.1 Метод средних прямоугольников
- •2.6.2 Формула трапеций
- •2.6.3 Формула Симпсона (метод параболических трапеций)
- •2.7 Численное решение нелинейных уравнений. Отделение корней. Метод половинного деления. Метод простой итерации
- •2.7.1 Отделение корней
- •2.7.2 Метод половинного деления
- •2.7.3 Метод простой итерации (метод последовательных приближений)
- •2.7.4 Практический критерий сходимости (когда надо прекращать итерации)
- •2.8 Итерационные методы решения нелинейных уравнений. Метод Ньютона. Метод секущих. Метод хорд
- •2.8.1 Метод Ньютона (метод касательных)
- •2.8.2 Метод секущих
- •2.8.3 Метод хорд
- •2.9 Итерационные методы решения систем нелинейных уравнений
- •2.9.1 Метод простой итерации для системы двух уравнений
- •2.9.2 Метод Ньютона для системы двух уравнений
- •2.10.1 Метод Эйлера
- •2.10.2 Метод Рунге-Кутта
- •2.11 Графическая интерпретация и графическое решение задачи линейного программирования
- •2.11.1 Основная задача линейного программирования
- •2.11.2 Графическая интерпретация задачи линейного программирования
- •2.11.3 Графическое решение задачи линейного программирования
- •2.12 Симплексный метод решения задачи линейного программирования
- •2.13 Метод сеток для уравнения параболического типа
- •2.13.1 Общие сведения
- •2.13.2 Постановка задачи
- •2.13.3 Разностные схемы
- •2.13.4 Оценки погрешностей
- •2.14 Метод сеток для уравнения гиперболического типа
- •ОГЛАВЛЕНИЕ
- •1 Операции над множествами. Алгебра множеств. Декартово произведение множеств
- •2 Отображения множеств. Бинарные отношения на множествах
- •3 Комбинаторика и мощности множеств
- •6 Расстояния в графах
- •7 Деревья и остовы
- •8 Эйлеровы графы. Критерий эйлеровости. Планарные графы. Формула Эйлера
- •9 Раскраски графов. Хроматическое число графа
- •10 Сети и потоки в сетях
- •Тесты по разделу «ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ»
- •ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ
- •1 Численные методы решения систем линейных алгебраических уравнений
- •2 Интерполирование алгебраическими многочленами
- •3 Численное интегрирование
- •4 Численные методы решения нелинейных уравнений и систем нелинейных уравнений
- •5 Численное решение обыкновенных дифференциальных уравнений первого порядка
- •6 Линейное программирование
- •7 Численное решение уравнений с частными производными
- •Тесты по разделу «ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ»
- •ОГЛАВЛЕНИЕ
- •ПРОГРАММА ДИСЦИПЛИНЫ
- •СПИСОК ВОПРОСОВ К ЗАЧЕТУ ПО ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКЕ
- •СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ
2.3Отношения
2.3.1Основные понятия и способы задания отношений
В различных научных и других сферах деятельности человека для описания связей между предметами используется понятие отношения. Например, отношение «меньше – больше» на множестве действительных чисел; отношение делимости на множестве целых чисел; отношение подобия на множестве треугольников; отношения параллельности и перпендикулярности на множестве прямых и плоскостей; отношения родства, дружбы, знакомства на множестве людей; отношение «начальник-подчиненный» на предприятии и др. В математике понятие отношения, как и большинство понятий, имеет строгое определение.
Определение. Бинарным отношением R на множествах A и B называется всякое подмножество R A× B .
Если элементы a A и b B находятся в отношении R, т. е. (a,b) R , то пишут: aRb . Например, a < b (для отношения «меньше – больше» на множестве действительных чисел), a : b (a делится на b, для отношения делимости на множестве целых чисел), A B (для отношения включения на множестве подмножеств некоторого универсального множества U), ∆ABC ~ ∆KLM (для отношения подобия на множестве треугольников) и т. д.
Если B = A , то отношение R A× A называется отношением на множестве А (вместо «отношение на множествах А и А»).
Отношение U=A×B, называется универсальным, или всюду истинным отношением на
A и B. Отношение R = |
называется пустым, или |
всюду ложным. |
Отношение |
|
I ={(a, a) | a A}называется тождественным отношением |
на множестве A. Множество |
|||
D(R) ={a A | b B, aRb} |
называются областью определения отношения R, |
а множество |
||
E(R) ={b B | a A, aRb} |
– областью значений отношения R. ( D(R) и E(R) |
иногда назы- |
||
вают также проекциями R на A и B, соответственною.) |
|
|
||
Два отношения R1 и R2 |
называются равными, если R1 и R2 равны, как множества. Ес- |
|||
ли R1 R2 , то говорят, что «отношение R1 влечет отношение R2» (или «из отношения R1 следует отношение R2»).
Отношения на числовых множествах можно изобразить графически на координатной плоскости, поставив каждой паре (a,b) R в соответствие точку с координатами x = a и y = b . Например, отношению «≤» на множестве действительных чисел R соответствует полуплоскость (рис. 4). Отношению «=» на множестве действительных чисел R соответствует прямая (рис. 5).
56
x ≤ y |
x = y |
y = f (x) |
Рис. 4 |
Рис. 5 |
Рис. 6 |
Всякое отображение (функцию) |
f : A → B можно рассмотреть как отношение Rf на |
|
множествах А и В , положив aR f b , если |
f (a) = b для всех a A, b B . Если А и В – число- |
|
вые множества, то графической иллюстрацией такого отношения является обычный график функции y = f (x) (рис. 6).
Обратно, всякое отношение R A ×В называется функциональным, если a A существует единственный элемент b B , такой, что aRb .
Из рассмотренных выше примеров видно, что отношения (на числовых множествах) могут быть заданы графически в виде соответствующего множества точек на координатной плоскости.
Отношения на конечных множествах могут быть заданы непосредственным перечислением всех пар элементов данного отношении.
Например, пусть R – отношение делимости на множестве А = {1; 2; 3; 4; 5; 6} ( aRb ,
если a : b , т. е. a делится на b). Тогда R = {(1,1); (2,1); (2,2); (3,1); |
(3,3); (4,1); (4,2); (4,4); |
(5,1); (5,5); (6,1); (6,2); (6,3); (6,6)}. |
|
Это же отношение можно задать с помощью матрицы отношения. |
|
Матрицей бинарного отношения R A× B , где | A |= n , | |
B |= m , называется би- |
нарная (n×m)-матрица M = (mij ) , элементы которой удовлетворяют условиям: mij =1, если ai Rb j ; и mij = 0 в противном случае. (Здесь мы считаем, что элементы множеств А и В
предварительно пронумерованы и, таким образом, каждому элементу множества А соответствует строка матрицы, а каждому элементу множества В – столбец.
Для рассматриваемого отношения делимости получаем матрицу, изображенную на
рис. 7.
57
|
1 |
2 |
3 |
4 |
5 |
6 |
|
1 |
1 |
0 |
0 |
0 |
0 |
0 |
|
2 |
|
1 |
0 |
0 |
0 |
0 |
|
1 |
|
||||||
3 |
1 |
0 |
1 |
0 |
0 |
0 |
|
4 |
|
1 |
0 |
1 |
0 |
0 |
|
1 |
|
||||||
5 |
|
0 |
0 |
0 |
1 |
0 |
|
1 |
|
||||||
6 |
|
1 |
1 |
0 |
0 |
1 |
|
1 |
|
||||||
Рис.7
Отношение a ≤ b на том же множестве А имеет нижнюю треугольную матрицу (выше диагонали все элементы – нули, а на диагонали и ниже – все элементы равны 1). Тождественное отношение I множестве А имеет единичную матрицу.
Аналогично бинарным определяются n-арные отношения на множествах A1 , A2 , …,
An . А именно, отношением на множествах A1 , |
A2 , …, An называется всякие подмножество |
|||
R A1 × A2 ×... × An . Если при этом все Ai = A, |
i = 1, 2,..., n , то соответствующее отношение |
|||
R An называется n-местным отношением на множестве А. |
||||
Примеры n-местных отношений. |
|
|||
1) Пусть по определению тройка чисел (a,b, c) R∆ , если существует треугольник со |
||||
сторонами a, b, c. Тогда R∆ |
есть трехместное отношение на множестве действительных чи- |
|||
сел R: |
|
|
|
|
2) Четырехместное |
отношение R на |
множестве натуральных чисел N: пусть |
||
(a,b, c, d ) R , если a = |
c |
. |
|
|
|
|
|
||
b |
d |
|
|
|
2.3.2 Операции над бинарными отношениями и их свойства
Поскольку отношения определены как множества, то для них можно рассматривать все операции, действующие на множествах. При этом, разумеется, сохраняются все свойства этих операций.
Рассмотрим специальные операции на отношениях.
Пусть имеются отношения R1 A × B и R2 B ×C . Произведением отношений R1 и R2 называется отношение R1R2 A×C , такое, что a(R1R2 )b , тогда и только тогда, когда aR1b и bR2c для некоторого b B .
Понятно, что, вообще говоря, R1R2 ≠ R2 R1 даже, если оба произведения определены. Другими словами, произведение отношений не обладает свойством коммутативности. Однако, нетрудно показать, что произведение отношений ассоциативно:
58
•( R1R2) R3 = R1 (R2R3).
Пусть R – отношение на множестве A. Степенью отношения R называется его произведение с самим собой: R0 = I – тождественное отношение, R1 = R , R2 = RR и Rn = Rn−1R для натуральных n > 2 .
~ |
|
|
|
Отношение R на множестве A (c бинарным отношением R) называется рефлексив- |
|||
~ |
|
n |
b |
ным замыканием отношения R, если aRb по определению тогда и только тогда, когда aR |
|
||
при некотором натуральном n. |
|
|
|
Пусть R A×B . Отношение R-1 B × A , такое, что R-1={(b,a)| b B, a A, |
aRb }, на- |
||
зывается обратным к отношению R. |
|
|
|
Легко видеть, что справедливы свойства |
|
|
|
• ( R-1)-1 = R. |
|
|
|
• ( R1R2)-1 =R1-1R2-1.
Если R – отношение на множествах A и B, то RR−1 называется ядром отношения R. Ядро отношения R на множествах A и B является отношением на множестве A. Например, рассмотрим отношение R на булеане Ω(U ) некоторого универсального множества U и множестве натуральных чисел N, определив для M U и n N , что M R n , если мощность множества M равна n. Тогда ядром этого отношения является отношение равномощности на
Ω(U ) .
Отметим также следующие свойства, наличие которых часто исследуется при изучении тех или иных отношений.
Определение. Бинарное отношение R на множестве А называется
–рефлексивным, если a A aRa , (у матрицы такого отношения все диагональные элементы равны 1);
–антирефлексивным, если a A (a, a) R ;
–симметричным, если a,b A из aRb следует bRa (матрица такого отношения
симметрична);
– антисимметричным, если a ≠ b A из (a,b) R следует (b, a) R (или, что то же самое, если из aRb и bRa следует a = b );
– транзитивным, если a, b, c A из aRb и bRc следует aRc ;
– связным (или полным), если a ≠ b A имеет место aRb или bRa . Нетрудно показать, что справедлива
59
