Основные понятия теории множеств. Бинарные отношения и функции. Рефлексивность, симметричность, транзитивность. Взаимно-однозначные соответствия. Счетные множества.

Логика высказываний. Таблицы истинности. Пропозициональные формулы. Кванторы. Предикаты. Языки логики первого порядка. Интерпретация языков.

Основные комбинаторные величины и простейшие комбинаторные формулы. Числа сочетания (с повторениями и без повторений), числа размещения (с повторениями и без повторений), перестановки. Треугольник Паскаля. Бином Ньютона и биномиальные коэффициенты.

Формула включений-исключений. Задача о беспорядках. Задача о разбиении множеств. Мультиномиальные коэффициенты. Задачи о разбиениях чисел на слагаемые. Упорядоченные и неупорядоченные разбиения. Диаграммы Юнга.

Оценки и асимптотики для комбинаторных величин. Элементарные оценки факториалов, биномиальных коэффициентов и пр. Формула Стирлинга (б/д). Понятие об энтропии. Асимптотики для биномиальных коэффициентов и пр. Оценки сумм биномиальных коэффициентов.

Производящие функции. Числа Фибоначчи. Формула Бинэ и матричное представление чисел Фибоначчи. Линейные рекуррентные соотношения с постоянными коэффициентами. Применение производящих функций для решения рекуррентных соотношений. Производящие функции и разбиения чисел. Теорема Харди-Рамануджана (б/д). Производящие функции для биномиальные коэффициентов.

Экспоненциальные производящие фунцкии. Числа Каталана, Стирлинга, Белла, Бернулли и др. Их применения.

Основы теории графов. Пути, циклы, матрица инцидентности, связность. Дополнительный граф. Задача Рамсея. Изоморфизмы графов.

Деревья. Двудольные графы. Эйлеровы и Гамильтоновы пути и циклы.

Лемма Холла и ее переформулировки. Теорема Кенига и ее переформулировки. Планарные графы. Формула Эйлера (б/д). Теорема Куратовского (б/д).

Дискретная вероятность. Классическое определение вероятности. Условные вероятности. Независимость событий. Формулы полной вероятности и Байеса. Схема Бернулли. Полиномиальная схема. Случайные графы и множества. Приложения к комбинаторике: нижняя оценка в теореме Рамсея, теорема Эрдеша-Хайнала, нижняя оценка в теореме ван дер Вардена.

Случайные величины. Функции распределения. Независимые случайные величины. Математическое ожидание и дисперсия. Неравенства Маркова и Чебышёва. Случайный выбор двудольного подграфа.

Закон больших чисел для схемы Бернулли. Локальная и интегральная предельные теоремы Муавра-Лапласа для схемы Бернулли. Теорема Пуассона. Приложения к комбинаторике.