Вопросы к экзамену «ДИСКРЕТНАЯ МАТЕМАТИКА» (ПМ-91)
ТЕОРИЯ МНОЖЕСТВ
Понятие множества. Способы задания множеств. Пустое множество. Подмножество. Равные множества. Булеан. Число элементов булеана конечного множества.
Универсальное множество. Операции над множествами. Теорема о взаимном расположении двух множеств.
Свойства операций над множествами.
Кортеж, его длина. Декартово произведение двух множеств. Бинарное отношение. Область определения и область значений отношения. Матрица отношения. Операции пересечения, объединения и дополнения над отношениями.
Обратное отношение. Тождественное отношение. Произведение отношений. Степень отношения. Свойства рефлексивности, иррефлексивности, симметричности, антисимметричности, транзитивности. Замыкания (рефлексивное, симметричное, транзитивное).
Отношение эквивалентности. Классы эквивалентности, их свойства. Фактор-множество данного множества по отношению эквивалентности. Разбиение, теорема о разбиении.
Частичный порядок. Частично упорядоченное множество и линейно упорядоченное множество. Диаграммы Хассе. Наибольший (наименьший) элемент частично упорядоченного множества. Максимальный (минимальный) элемент частично упорядоченного множества.
Функция. Образ, прообраз. Инъекция, сюръекция, биекция. Сложная функция. Обратная и обратимая функция. Теорема об обратной функции.
Равномощные множества. Мощность. Конечные и бесконечные множества. Счетные множества. Теорема о конечном множестве.
ГРАФЫ
Граф, орграф, нижний граф, инцидентность, смежность, петля, кратные ребра, псевдограф, мультиграф, степень вершины, полустепень захода, полустепень исхода, изолированная вершина, висячая вершина, простой граф, полный граф. Теорема Эйлера о числе ребер.
Помехоустойчивое кодирование. Кодирование и декодирование Хемминга.
КОМБИНАТОРИКА
Основные формулы комбинаторики.
ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ
Задачи линейного программирования (общего вида, стандартного, основного, канонического). Область допустимых решений. Оптимальное решение. Графический метод решения ЗЛП.
Симплексный метод решения ЗЛП. Метод искусственного базиса.
Задачи целочисленного программирования. Графический метод решения ЗЦП.