Основы комбинаторики и теории чисел
Паспорт
- Где и когда. I–II семестры программы 01.03.02 «Прикладная математика и информатика», профиль «Математика», в плане набора 2025.
- Объём. 270 часов, 6 з.е.: по 135 часов и 3 з.е. в каждом семестре. Всего 120 аудиторных часов (60 лекций, 60 семинаров), 90 часов самостоятельной работы и 60 часов на подготовку к экзаменам.
- Кафедра. Кафедра дискретной математики.
- Преподаватель. В открытых вариантах программы указан поток, но не единый лектор для всех потоков ФПМИ; имя преподавателя нужно брать из расписания конкретного семестра.
- Итоговый контроль. Учебный план предусматривает аттестацию в обоих семестрах; точную форму для своей группы следует сверять с актуальным планом.
Содержание опубликованных программ
Ниже опубликованы полные списки тем общего курса кафедры: осень 2022 года и весна 2023 года. Это наиболее подробные доступные документы, но не обещание идентичности программы набора 2025.
I семестр: осенняя программа 2022
- Множества, подмножества, операции, кортежи и декартово произведение.
- Отображения, образы и прообразы, композиция, обратное отображение и декартова степень множества.
- Равномощность, теорема Кантора—Бернштейна, счётные и несчётные множества, теорема Кантора.
- Бинарные отношения, эквивалентность, частичный и линейный порядок, экстремальные элементы.
- Операции, свойства и изоморфизмы упорядоченных множеств.
- Предпорядки, полные предпорядки, квазитранзитивность, ацикличность и решётки.
- Правила сложения и умножения, принцип Дирихле, двухцветная раскраска и задача о попарно неортогональных \((-1,0,1)\)-векторах.
- Размещения, перестановки, сочетания с повторениями и без них; биномиальная и полиномиальная формулы, тождества и суммы степеней.
- Формула включений и исключений и знакопеременные тождества.
- Простые числа, бесконечность множества простых и основная теорема арифметики.
- Суммы по делителям и функция Мёбиуса.
- Формула обращения Мёбиуса.
- Подсчёт циклических последовательностей с помощью обращения Мёбиуса.
- Общее обращение Мёбиуса для частично упорядоченных множеств.
- Линейные рекуррентные соотношения с постоянными коэффициентами.
- Разбиения чисел, диаграммы Юнга, теоремы Эйлера, формула Харди—Рамануджана.
- Формальные степенные ряды и производящие функции; Фибоначчи, Каталан и извлечение корней из рядов.
- Теория сравнений и системы вычетов.
- Биномиальные коэффициенты по модулю.
- Теорема Шевалле.
- Проблема Эрдёша—Гинзбурга—Зива.
II семестр: весенняя программа 2023
- Алгоритм Евклида, основная теорема арифметики и лемма Евклида.
- Сравнения, системы вычетов, теоремы Эйлера и Ферма.
- Линейные сравнения, китайская теорема об остатках и функция Эйлера.
- Число корней многочлена по простому модулю и теорема Вильсона.
- Квадратичные сравнения, вычеты и невычеты.
- Символ Лежандра и квадратичный закон взаимности.
- Матрицы Адамара, их конструкции и гипотеза Адамара.
- Двоичные коды, расстояние Хэмминга, границы Хэмминга и Плоткина, коды из матриц Адамара.
- Задачи о раскрасках в терминах уклонения и матрицы Адамара.
- Распределение простых: функции \(\pi(x)\), \(\theta(x)\), \(\psi(x)\) и теорема Чебышёва.
- Асимптотический закон распределения простых и промежутки между соседними простыми.
- Первообразные корни, индексы и алгоритмические задачи дискретного логарифмирования.
- Теорема Дирихле о диофантовых приближениях и теорема Минковского.
- Конечные цепные дроби и подходящие дроби.
- Бесконечные цепные дроби, качество приближения и периодичность для квадратичных иррациональностей.
- Алгебраические и трансцендентные числа, теорема Лиувилля и теорема Гельфонда.
- Иррациональность и трансцендентность \(e\).
- Решётки, определитель, многомерная теорема Минковского и теорема Минковского—Главки.
- Равномерно распределённые последовательности по модулю 1.
- Тригонометрические суммы, критерий Вейля, суммы Гаусса.
- Алгоритм Агравала—Каяла—Саксены проверки простоты и его полиномиальность.
Литература, указанная кафедрой
Н. Я. Виленкин, Комбинаторика; Н. Б. Алфутова и А. В. Устинов, Алгебра и теория чисел (сборник задач); М. Холл, Комбинаторика; А. М. Райгородский, Линейно-алгебраический метод в комбинаторике и Задачи о раскрасках; А. И. Галочкин, Ю. В. Нестеренко, А. Б. Шидловский, Введение в теорию чисел; И. М. Виноградов, Основы теории чисел; К. Чандрасекхаран, Арифметические функции; Дж. В. Касселс, Введение в геометрию чисел; А. Я. Хинчин, Цепные дроби; А. А. Глибичук и др., Основы комбинаторики и теории чисел. Сборник задач; Л. Кейперс и Г. Нидеррейтер, Равномерные распределения последовательностей; M. Agrawal, N. Kayal, N. Saxena, PRIMES is in P.
Оценивание
Открытой БРС или единого листа с порогами для этого курса кафедры дискретной математики не найдено.
Источники и актуальность
Страница осеннего варианта, вариант для программистов, программа весны 2023 и учебный план 01.03.02, набор 2025.