ПРОГРАММА КУРСА «Дискретная математика» для студентов 1 курса специальностей «Компьютерные науки»

реклама
ПРОГРАММА КУРСА
«Дискретная математика»
для студентов 1 курса специальностей «Компьютерные науки»
и «Компьютерная безопасность»
1 семестр
I. Теория множеств
1. Понятие множества. Равенство и включение множеств. Пустое и
универсальное множества. Булевы операции, их свойства.
Упорядоченные пары и кортежи. Декартово произведение, свойства.
Булеан множества, свойства. Индексные множества. Бесконечные
объединения, пересечения и произведения.
2. Отношения между множествами. Бинарные отношения (БО) на
множестве. Матрица БО. Свойства БО: рефлексивность,
транзитивность, симметричность, антисимметричность, линейность.
Связь свойств матрицы и свойств БО.
3. Операции над БО: булевы операции, обращение, умножение,
симметричное, транзитивное и рефлексивно-транзитивное замыкания.
Связь с операциями над булевыми матрицами. Свойство транзитивного
замыкания. Критерий транзитивности.
4. Отношения эквивалентности. Разбиения множества и порождаемые
ими БО. Теорема об отношениях эквивалентности и разбиениях.
5. Отношения порядка. Упорядоченные множества (ЧУМ). Отношение
покрытия, диаграммы Хассе. Минимальные и максимальные,
наименьшие и наибольшие элементы ЧУМ, их свойства. Условия
индуктивности, минимальности и обрыва убывающих цепей, их
эквивалентность. Отношения линейного и полного порядка.
6. Отображения (функции) как отношения, их матрицы. Инъективность,
сюръективность, биективность, их сохранение при суперпозиции.
7. Мощность множества. Конечные и бесконечные множества, критерий
бесконечности множества. Мощности числовых множеств. Сравнение
мощностей. Теорема Бернштейна-Кантора. Теорема Кантора о булеане.
Иерархия алефов, континуум-гипотеза.
8. Изоморфизм ЧУМ. Понятие об ординалах. Прямое произведение ЧУМ.
9. Парадоксы теории множеств. Система аксиом Цермело-Френкеля.
II. Комбинаторика и элементы общей алгебры
1. Количество элементов множества и число способов выбора. Правила
сложения и умножения. Построение биекций. Принцип двойного
подсчета. Принцип Дирихле.
2. Перестановки. Формулы для числа перестановок без повторений / с
повторениями. Перестановка как функция. Орбиты элементов. Циклы.
Теорема о разложении на циклы. Симметрические группы. Группа
симметрий квадрата. Изоморфизм групп. Теорема Кэли.
3. Биномиальные коэффициенты. Примеры: число подмножеств, число
инъекций, число врезок, число решений диофантова уравнения, число
путей в решетке. Свойства: симметрия, суммы и взвешенные суммы,
четные/нечетные подмножества, бином Ньютона, треугольник Паскаля.
Полиномиальные коэффициенты.
4. Наддиагональные пути в квадратной решетке. Числа Каталана, вывод
формулы. Правильные расстановки скобок, триангуляции выпуклых
многоугольников.
5. Принцип включения-исключения (ПВИ). Число сюръекций. Разбиения:
числа Стирлинга второго рода, числа Белла. Функция Эйлера. Число
перемещений.
6. Рекуррентные соотношения. Теорема Лагранжа о линейных
рекуррентных соотношениях (без д-ва). Вывод явной формулы для
чисел Фибоначчи.
7. Порядок роста функции. Сравнение функций, O-, Ω- и Θ-символика.
Примеры вычисления порядка роста: число правильных расстановок
скобок, число бинарных слов без подслова 00 и без подслов 00,111.
8. Конкатенация и ее свойства. Коммутирующие слова. Свободная
полугруппа. «Вложение» N* в {0,1}*. Гомоморфизм. Гомоморфный
образ. Теорема о гомоморфных образах свободной полугруппы.
9. Построение свободной группы: эквивалентность слов, операция на
классах слов, редуцированные слова, единственность редуцированного
слова в классе.
10.Смежные классы по подгруппе. Теорема Лагранжа. Нормальные
подгруппы.
Примечание. Вопросы по общей алгебре (2, 8-10 из второго раздела) входят
и в программу летнего экзамена.
Скачать