• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

НИУ ВШЭ в Санкт-ПетербургеПрограммы бакалавриатаШкола информатики, физики и технологий

РУС
Версия для слабовидящихВерсия для слабовидящихЛичный кабинет сотрудника ВШЭПоиск

01.03.02 Прикладная математика и информатика

Бакалаврская программа

Прикладной анализ данных и искусственный интеллект

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

2026/2027
Учебный год
RUS
Обучение ведется на русском языке
4
Кредиты
Статус:
Курс обязательный
Когда читается:
2-й курс, 1-4 модуль

Преподаватели

Программа дисциплины

Аннотация

Дисциплина базовой части профессионального цикла. Данная дисциплина служит основой для профессиональной ориентации студентов при выборе дисциплин из вариативной части Программы. Дисциплина направлена на изучение основных методов современной дискретной математики (теория множеств, теория графов, комбинаторный анализ), ее связей с информатикой, многочисленными приложениями в современной технике, в том числе, бытовой.
Цель освоения дисциплины

Цель освоения дисциплины

  • Формирование у студентов теоретических знаний и практических навыков по основам теории множеств, теории графов, комбинаторного анализа как основного математического аппарата для построения моделей дискретных структур, освоение методов математического моделирования и анализа таких структур.
Планируемые результаты обучения

Планируемые результаты обучения

  • Знает основные понятия и факты теории графов, такие, как деревья, циклы, связность в графах, паросочетания, раскраски графов, планарные графы, классические и обобщенные постановки комбинаторных задач, комбинаторный смысл основных операций над производящими функциями.
  • Знает основные понятия и факты теории графов, такие, как деревья, циклы, связность в графах, паросочетания, раскраски графов, планарные графы, классические и обобщенные постановки комбинаторных задач
  • Имеет навыки использования методов решения основных комбинаторных задач с помощью производящих функций. Знает комбинаторный смысл основных операций над производящими функциями. Умеет применять производящие функции для решения рекуррентных соотношений.
  • Владеет основными концепциями, связанными с понятиями мощности множества, булевой формулы, доказательства. Свободно формулирует математические свойства объектов на языке теории множеств и строит формальные доказательства простых утверждений в рамках логики высказываний.
  • Умеет находить кратчайшие и минимальные пути, остовные деревья, эйлеровы и гамильтоновы циклы, совершенные или максимальные паросочетания, оптимальную раскраску графа.
  • Умеет пользоваться основными методами работы с графами и дискретными структурами. Умеет строить математические модели практических задач на основе графов.
  • Использует методы работы с графами для решения практических задач профессиональной области. Умеет модифицировать основные математические модели, основанные на теории графов, в соответствии со спецификой задачи.
  • Умеет применять методы перечислительной комбинаторики для подсчёта количества объектов в задачах на размещения, сочетания, перестановки (в том числе с повторениями), а также для анализа отображений между конечными множествами, включая использование принципа включения-исключения и формул обращения.
  • Умеет решать линейные рекуррентные соотношения второго порядка с постоянными коэффициентами (однородные и неоднородные), интерпретировать их решения в контексте комбинаторных последовательностей и обосновывать выбор метода решения на основе структуры характеристического уравнения.
  • Умеет строить и анализировать вероятностные модели дискретных пространств элементарных исходов, вычислять вероятности сложных событий с использованием формул полной вероятности и Байеса, а также оценивать характеристики случайных величин (математическое ожидание, дисперсию) и применять неравенство Чебышёва для получения вероятностных оценок.
  • Умеет обосновывать комбинаторные и вероятностные утверждения с помощью строгих рассуждений, включая построение биекций, использование диаграмм Эйлера, анализ урновых схем.
  • Умеет Вычислять собственные информации событий, энтропию Шеннона и связанные величины (совместную, условную, взаимную информацию) для дискретных источников и случайных величин.
  • Умеет применять фундаментальные неравенства теории информации (неравенство обработки данных, неравенство Фано).
  • Умеет использовать взаимную информацию и информацию взаимодействия для анализа зависимостей между случайными величинами, в том числе в прикладных задачах.
  • Умеет анализировать стратегические взаимодействия в терминах игроков, стратегий и функций выигрыша, классифицировать игры по типу информации, сумме выигрышей и структуре стратегических пространств.
  • Умеет находить доминирующие стратегии и применять итеративное удаление доминируемых стратегий для упрощения анализа игр, а также обосновывать неприменимость метода в случаях отсутствия доминирования.
  • Умеет вычислять равновесия Нэша в чистых и смешанных стратегиях для игр с полной информацией, доказывать их существование с опорой на теорему Нэша и интерпретировать смысл полученных решений.
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Раздел 1. Элементарная комбинаторика
  • Раздел 2. Элементарная теория графов
  • Раздел 3. Математическая логика
  • Раздел 4. Производящие функции
  • Раздел 5. Теория графов
  • Раздел 6. Теория информации
  • Раздел 7. Теория игр.
Элементы контроля

Элементы контроля

  • неблокирующий Домашнее задание
    Домашнее задание выдается студентам в одном варианте и состоит из 9-10 задач. Каждой задаче присвоен свой балл. Срок выполнения домашнего задания - 2 недели. Форма предоставления обучающимися домашнего задания - представленные в письменном виде решения задач.
  • блокирующий Экзамен №1
    Письменный экзамен №1 проводится в форме ответов на вопросы экзаменационного билета. На подготовку ответа выделяется 2,5 часа.
  • блокирующий Контрольная работа
    Контрольная работа проводится в письменной форме. Каждый студент получает список из 5 задач. Для получения положительной оценки он должен решить не менее трех из них. На проведение контрольной работы отводится 1,5 часа.
  • блокирующий Экзамен №2
    Письменный экзамен №2 проводится в форме ответов на вопросы экзаменационного билета. На подготовку ответа выделяется 2,5 часа.
  • блокирующий Экзамен №3
    Письменный экзамен №3 проводится в форме ответов на вопросы экзаменационного билета. На подготовку ответа выделяется 2,5 часа.
  • блокирующий Экзамен №4
    Письменный экзамен №4 проводится в форме ответов на вопросы экзаменационного билета. На подготовку ответа выделяется 2,5 часа.
  • блокирующий Коллоквиум №1
  • блокирующий Контрольная работа №1
  • блокирующий Контрольная работа №2
Промежуточная аттестация

Промежуточная аттестация

  • 2025/2026 1st module
    0.3 * Контрольная работа №1 + 0.5 * Коллоквиум №1 + 0.2 * Домашнее задание
  • 2025/2026 2nd module
    0.5 * Экзамен №1 + 0.3 * Контрольная работа №2 + 0.2 * Домашнее задание
  • 2025/2026 4th module
    0.5 * Домашнее задание + 0.5 * Экзамен №2
  • 2026/2027 2nd module
    0.2 * Домашнее задание + 0.3 * Контрольная работа + 0.3 * Экзамен №3
  • 2026/2027 4th module
    0.2 * Домашнее задание + 0.6 * Экзамен №4
Список литературы

Список литературы

Рекомендуемая основная литература

  • Cover, T. M., & Thomas, J. A. (2006). Elements of Information Theory (Vol. Second edition). Hoboken, N.J.: Wiley-Interscience. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=158159
  • Diestel R. Graph Theory. – Springer, 2017. – 428 pp.
  • Kumar, R., & Pattnaik, P. K. (2018). Graph Theory. Bengaluru: Laxmi Publications Pvt Ltd. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=2228702
  • Richard P. Stanley. (2013). Topics in algebraic combinatorics. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.21998FFA
  • Ronald L. Graham, Donald E. Knuth, & Oren Patashnik. (1994). Concrete Mathematics : A Foundation for Computer Science. [N.p.]: Addison-Wesley Professional. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1601594
  • Shoham, Y., & Leyton-Brown, K. (2009). Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=269245
  • Введение в дискретную математику - Ландо С.К. - Московский центр непрерывного математического образования - 978-5-4439-2019-1 - 2012 - русский - https://e.lanbook.com/book/56405 - ЛАНЬ - 56405
  • Гисин, В. Б.  Дискретная математика : учебник и практикум для академического бакалавриата / В. Б. Гисин. — Москва : Издательство Юрайт, 2019. — 383 с. — (Высшее образование). — ISBN 978-5-534-00228-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/432144 (дата обращения: 28.08.2023).
  • Гисин, В. Б.  Дискретная математика : учебник и практикум для вузов / В. Б. Гисин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2023. — 468 с. — (Высшее образование). — ISBN 978-5-534-16763-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/531659 (дата обращения: 02.07.2026).
  • Гисин, В. Б.  Дискретная математика : учебник и практикум для вузов / В. Б. Гисин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 468 с. — (Высшее образование). — ISBN 978-5-534-16763-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/560263 (дата обращения: 02.07.2026).
  • Гисин, В. Б.  Дискретная математика : учебник и практикум для вузов / В. Б. Гисин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 428 с. — (Высшее образование). — ISBN 978-5-534-16763-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/582991 (дата обращения: 02.07.2026).
  • Гисин, В. Б.  Дискретная математика : учебник и практикум для вузов / В. Б. Гисин. — Москва : Издательство Юрайт, 2023. — 383 с. — (Высшее образование). — ISBN 978-5-534-00228-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/510972 (дата обращения: 02.07.2026).
  • Иванов, Б. Н.  Дискретная математика и теория графов : учебное пособие для вузов / Б. Н. Иванов. — Москва : Издательство Юрайт, 2023. — 177 с. — (Высшее образование). — ISBN 978-5-534-14470-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/520078 (дата обращения: 02.07.2026).
  • Лекции о производящих функциях - Ландо С.К. - Московский центр непрерывного математического образования - 978-5-94057-042-4 - 2007 - русский - https://e.lanbook.com/book/9364 - ЛАНЬ - 9364
  • Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств - Верещагин Н.К., Шень А. - Московский центр непрерывного математического образования - 978-5-94057-321-0 - 2008 - русский - https://e.lanbook.com/book/9306 - ЛАНЬ - 9306
  • Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления - Верещагин Н.К., Шень А. - Московский центр непрерывного математического образования - 978-5-94057-322-7 - 2008 - русский - https://e.lanbook.com/book/9307 - ЛАНЬ - 9307
  • Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции - Верещагин Н.К., Шень А. - Московский центр непрерывного математического образования - 978-5-94057-323-4 - 2008 - русский - https://e.lanbook.com/book/9308 - ЛАНЬ - 9308
  • Маскаева А.М. - Основы теории информации: справочник - 978-5-00091-761-9 - Издательство Форум - 2024 - https://znanium.ru/catalog/document?id=436936 - 436936 - ZNANIUM
  • Теория игр, Оуэн, Г., 2010
  • Теория информации - Попов И. Ю., Блинова И. В. - Издательство "Лань" - 978-5-507-44279-9 - 2022 - русский - https://e.lanbook.com/book/218870 - ЛАНЬ - 218870
  • Теория информации - Седякин В. П. - Издательство "Лань" - 978-5-507-51322-2 - 2026 - русский - https://e.lanbook.com/book/510066 - ЛАНЬ - 510066
  • Успенский, В. А. Вводный курс математической логики / В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. - 2-e изд. - Москва : ФИЗМАТЛИТ, 2007. - 128 с. ISBN 978-5-9221-0278-0, 2000 экз. - Текст : электронный. - URL: https://znanium.com/catalog/product/129565
  • Языки и исчисления - Верещагин Н.К., Шень А.Х. - Национальный Открытый Университет "ИНТУИТ" - - - 2016 - русский - https://e.lanbook.com/book/100547 - ЛАНЬ - 100547

Рекомендуемая дополнительная литература

  • Rigo, M. (2016). Advanced graph theory and combinatorics. ISTE-John Wiley & Sons. https://doi.org/10.1002/9781119008989

Авторы

  • Гориховский Вячеслав Игоревич
  • Храбров Александр Игоревич
  • Любавина Светлана Вячеславовна