uzluga.ru
добавить свой файл
1
ПРОГРАММА ЭКЗАМЕНА ПО КУРСУ

«Дискретная математика»

для студентов 1 курса специальностей «Компьютерные науки» и «Компьютерная безопасность»


I. Алгебра логики

  1. Булевы формулы и булевы функции. ДНФ, КНФ, СДНФ, СКНФ, их построение.

  2. Суперпозиция булевых функций. Полные системы функций. Примеры. Полиномы Жегалкина, представимость булевых функций полиномами.

  3. Замкнутые классы. Линейность, монотонность, самодвойственность булевых функций. Классы L, M, S, T0, T1. Теорема Поста. Следствия о базисах и о максимальных замкнутых классах.


II. Теория графов

  1. Геометрическое и алгебраическое определение графа. Матрица смежности. Равенство и изоморфизм графов. Степень вершины, лемма о рукопожатиях. Маршруты, цепи, циклы. Подграфы. Удаление ребер и вершин. Связность, компоненты связности. Лемма о разрыве цикла. Эйлеров цикл, теорема Эйлера о циклах.

  2. Мосты и точки сочленения связных графов, их свойства. Двусвязные графы, компоненты двусвязности. Гамильтонов цикл. Обобщенные точки сочленения и существование гамильтонова цикла. Теорема Оре.

  3. Деревья. Построение корневого дерева. Теорема о деревьях. Существование остова связного графа.

  4. Двудольные графы. Критерий двудольности. Паросочетания. Теорема Холла о свадьбах (без д-ва).

  5. Плоские и планарные графы. Укладка на поверхности. Укладка на сфере. Теорема Эйлера о многогранниках: две формулировки. Непланарность графов K5 и K3,3. Стягивание. Миноры. Критерий планарности (без д-ва).

  6. Раскраска графа. Хроматическое число. Элементарные случаи: двудольные графы, полные графы, циклы. Нижняя оценка χ(G) через максимальный полный подграф. Теорема о графах без треугольников. Оценка через число независимости. Верхние оценки: жадная раскраска и теорема Брукса. Раскраска плоского графа, теорема Хивуда.

  7. Орграфы. Полустепени захода и исхода. Маршруты. Аналог теоремы Эйлера о циклах. Сильная связность, компоненты сильной связности, ЧУМ компонент. Число маршрутов между вершинами графа.


III. Элементы теории множеств, комбинаторики и общей алгебры

  1. Операции над бинарными отношениями: булевы операции, обращение, умножение, симметричное, транзитивное и рефлексивно-транзитивное замыкания. Связь с операциями над булевыми матрицами. Свойство транзитивного замыкания. Критерий транзитивности.

  2. Отношения порядка. Упорядоченные множества (ЧУМ). Отношение покрытия, диаграммы Хассе. Минимальные и максимальные, наименьшие и наибольшие элементы ЧУМ, их свойства. Условия индуктивности, минимальности и обрыва убывающих цепей, их эквивалентность. Отношения линейного и полного порядка.

  3. Мощность множества. Критерий бесконечности множества. Мощности числовых множеств. Сравнение мощностей. Теорема Бернштейна-Кантора (без д-ва). Теорема Кантора о булеане.

  4. Принцип включения-исключения.

  5. Изоморфизм алгебр. Подалгебры и порождающие множества. Классификация циклических групп и циклических полугрупп.

  6. Перестановки. Симметрические группы. Теорема о разложении перестановки на циклы. Порождение симметрической группы транспозициями. Теорема Кэли.

  7. Смежные классы по подгруппе. Теорема Лагранжа. Нормальные подгруппы.

  8. Решетки и решеточно упорядоченные множества, их связь. Решетки подалгебр.

  9. Модулярные и дистрибутивные решетки. Критерии модулярности и дистрибутивности (без д-ва). Булевы алгебры.