Программа экзамена по курсу «Дискретная математика» для студентов 2 курса специальностей «Фундаментальная информатика»

1. 
   Бинарные отношения на множестве. Основные свойства бинарных отношений. Основные типы бинарных отношений: эквивалентность, частичный порядок, линейный порядок. Матрица бинарного отношения. Связь свойств бинарного отношения и свойств его матрицы. Связь с операциями над булевыми матрицами.
   
2. 
   Отображения (функции) как отношения. Обратное отображение как отношение. Инъективность, сюръективность, биективность. Ядро отображения.
   
3. 
   Отношение частичного порядка. Отношение покрытия. Диаграммы ч.у.м. Минимальные и максимальные, наименьшие и наибольшие элементы ЧУМ, их свойства. Изоморфное вложение ч.у.м. Теорема о представлении ч.у.м. Условия фундированности, индуктивности и артиновости. Вполне упорядоченные множества. Принцип полной индукции. Ординалы.
   
4. 
   Мощность множества. Отношение равномощности. Кардинальное число. Сравнение кардинальных чисел. Теорема Кантора-Бернштейна. Теорема Кантора о булеане. Иерархия кардиналов. Континуум-гипотеза.
   

5. 
   Принципы сложения и умножения, определения и формулы для количества
   перестановок, размещений, сочетаний. Примеры, связанные с количеством
   биекций, инъекций, строго возрастающих функций, путей в прямоугольной
   решетке. Бином Ньютона. Свойства биномиальных коэффициентов, треугольник Паскаля. Обобщение бинома Ньютона. Полиномиальные коэффициенты.
   
6. 
   Числа Каталана. Число наддиагональных путей в квадратной решетке. Правильные расстановки скобок, триангуляции выпуклых многоугольников.
   
7. 
   Принцип включения-исключения. Число сюръекций. Разбиения: числа Стирлинга второго рода, числа Белла. Функция Эйлера.
   
8. 
   Рекуррентные соотношения. Решение линейных рекуррентных соотношений с постоянными коэффициентами (без док-ва). Числа Фибоначчи.
   
9. 
   Порядок роста функции. Сравнение функций, O-, Ω- и Θ-символика. Манипуляции с O-, свойства. Примеры. Формула Стирлинга.
   

10. 
    Полугруппы, моноиды, примеры. Гомоморфизмы. Теорема Кэли для полугрупп. Свободная полугруппа, свободный моноид. Конгруэнции, фактор-полугруппа. Связь ядер гомоморфизмов полугруппы и конгруэнций. Первая и третья теоремы о гомоморфизмах для полугрупп. Подполугруппы, порождающие множества. Теорема о гомоморфных образах свободной полугруппы. Задание полугрупп с помощью копредставлений, проблема равенства слов и конечной базируемости.
    
11. 
    Группы, примеры. Симметрические группы. Гомоморфизмы групп. Теорема Кэли для групп. Подгруппы. Теорема о строении циклических групп. Порождающие множества. Правая и левая конгруэнции, связанные с подгруппой. Правые и левые смежные классы по подгруппе. Равномощность смежных классов. Индекс подгруппы в группе. Теорема Лагранжа. Нормальные подгруппы. Фактор-группы. Теоремы о гомоморфизмах для групп. Ряды в группе. Построение свободной группы: эквивалентность слов, операция на классах слов, редуцированные слова, единственность редуцированного слова в классе.
    
12. 
    Кольца и поля. Примеры. Идеалы в кольцах. Фактор-кольца. Теорема о гомоморфизмах для колец. Делители нуля. Теорема о кольце вычетов по модулю n. Малая теорема Ферма. Критерий простоты Вильсона. Теорема о структуре простых полей. Теорема о конечных полях (без док-ва).
    
13. 
    Понятие сигнатуры. Универсальные алгебраические структуры. Универсальные алгебры и модели. Подструктуры и порождающие множества. Гомоморфизмы и конгруэнции. Первая теорема о гомоморфизмах.
    
14. 
    Решетки и решеточно упорядоченные множества, их связь. Примеры решеток. Модулярные и дистрибутивные решетки. Идеалы в решетках. Теорема Биркгофа (схема док-ва).
    
15. 
    Булевы алгебры и булевы кольца. Теорема Стоуна. Связь булевых алгебр и булевых колец.
    

16. 
    Булевы формулы и булевы функции. ДНФ, КНФ, СДНФ, их построение.
    
17. 
    Суперпозиция булевых функций. Полные системы функций. Примеры. Полиномы Жегалкина, представимость булевых функций полиномами.
    
18. 
    Замкнутые классы. Линейность, монотонность, самодвойственность булевых функций. Теорема Поста. Следствия.
    

19. 
    Геометрическое и алгебраическое определение графа. Обыкновенные графы. Равенство и изоморфизм графов. Степень вершины, лемма о рукопожатиях. Маршруты, цепи, циклы. Матрица смежности. Вычисление числа путей длины n между двумя вершинами с помощью матрицы смежности. Подграфы. Удаление ребер и вершин. Связность, компоненты связности. Мосты. Разрезы. Неравенство для числа ребер в обыкновенном графе.
    
20. 
    Леса, деревья, остовы. Теорема о деревьях.
    
21. 
    Эйлеровы графы. Эйлеров цикл, эйлерова цепь. Критерий эйлеровости. Следствия из критерия, эйлеровы цепи.
    
22. 
    Гамильтоновы графы. Гамильтонов цикл, гамильтонова цепь. Теорема Оре, следствие (теорема Дирака).
    
23. 
    Двудольные графы. Критерий двудольности.
    
24. 
    Плоские и планарные графы. Укладка на поверхности. Укладка на сфере. Формула Эйлера. Теорема Эйлера о многогранниках. Следствия. Непланарность графов K₅ и K_3,3. Гомеоморфность. Теорема Понтрягина-Куратовского (без д-ва).
    
25. 
    Раскраска графа. Хроматическое число. Элементарные случаи: двудольные графы, полные графы, циклы. Нижняя оценка χ(G) через максимальный полный подграф. Теорема о графах без треугольников. Оценка через число независимости. Верхняя оценка: теорема Брукса (без док-ва). Раскраска плоского графа, теорема Хивуда.
    

Литература

1. 
   Верещагин Н. К., Шень А. Х. Начала теории множеств. М., МЦНМО, 2002.
   
2. 
   В.А. Баранский, В.В. Кабанов. Общая алгебра и ее приложения. Изд-во УрГУ, 2008.
   
3. 
   М.О. Асанов, В.А. Баранский, В.В. Расин. Дискретная математика: Графы, матроиды, алгоритмы. 2010
   

Дополнительная:

4. 
   Ж. Лаллеман. Полугруппы и комбинаторные приложения. М.:Мир, 1985 [глава 1].
   
5. 
   http://compscicenter.ru/program/course/ProbTheory2012 [Лекции 1-4]