Бакалавриат
2022/2023
Дискретная математика
Лучший по критерию «Новизна полученных знаний»
Статус:
Курс обязательный (Экономика и анализ данных)
Направление:
01.03.02. Прикладная математика и информатика
Где читается:
Факультет экономических наук
Когда читается:
1-й курс, 1-3 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Язык:
русский
Кредиты:
7
Контактные часы:
104
Программа дисциплины
Аннотация
Дискретная математика-1 — базовый вводный курс, прививающий студентам азы математической культуры, нужные для последующего изучения как математических дисциплин, так и компьютерных наук. Курс знакомит с такими фундаментальными понятиями как множества, алгебра логики, функции и отображения, булевы функции, отношения и графы. Они являются фундаментом как для изучения математики и для структур данных в программировании. Раздел "мощность множеств" важен для изучения математического анализа и готовит студентов к последующему изучению вычислимых функций в рамках курса дискретная математика-2.
Цель освоения дисциплины
- Знакомство с базовыми математическими понятиями.
- Развитие математической культуры (культуры доказательств).
- Изучение фундаментальных разделов, относящихся к дискретной математике, необходимых для успешного прохождения последующих курсов.
Планируемые результаты обучения
- Владеть определениями и математическим аппаратом, связанным с функциями: образы, прообразы, инъекция, сюръекция, биекция.
- Выработать базовую математическую культуру (культуру доказательств)
- Знать базовые комбинаторные числа: число перестановок, сочетаний, размещений, сочетаний с повторениями
- Знать основы теории графов
- Знать основы теории множеств, владеть формулами алгебр множеств и логики
- Изучить доказательство нижних оценок для алгоритмов поиска максимума в массиве и сортировки.
- Освоение ключевых тем основных разделов комбинаторики.
- Умение оперировать терминами и понятиями, освоение подходов к построению определений (могут быть разными в зависимости от источника) комбинаторики.
- Умение ориентироваться в научных источниках с целью нахождения наиболее близкой литературы для решения возникающих задач из комбинаторики.
- Уметь решать базовые комбинаторные задачи: пользоваться правилами суммы и произведения, формулой включений-исключений
- Уметь строить разложения в ДНФ и КНФ, проверять на полноту базис.
- Знание базовых свойств бинарных отношений: рефлексивность, симметричность, транзитивность, антисимметричность, антирефлексивность, линейность; отношения эквивалентности, отношения частичного порядка
- Уметь различать счётные множества и множества мощности континуум. Овладеть диагональным методом на примере теоремы Кантора.
Содержание учебной дисциплины
- Множества и логика
- Комбинаторика
- Алгебра логики
- Математические определения, утверждения и доказательства
- Графы
- Основы теории чисел
- Двудольные графы, паросочетания и функции
- Ориентированные графы и отношения порядка.
- Бинарные отношения. Отношения эквивалентности.
- Булевы функции
- Вероятность
- Мощность множеств
- Разрешающие деревья и нижние оценки
Элементы контроля
- Домашнее задание 1Средняя оценка за домашние задания за первый и второй модуль. Предварительная оценка за домашнее задание задание пропорциональна доле решенных задач (с учетом неполных решений, за которые выставляется неполный балл). Для проверки остаточных знаний по темам домашних заданий используются два способа. По части домашних заданий проводится выборочная защита (устная беседа) по решенным (хотя бы частично) задачам. В случае если студент не может ответить на ключевые вопросы по решению задачи или сформулировать используемые при решении задач теоремы и определения, преподаватель уменьшает предварительную оценку за домашнее задание на 50%. При неудаче ответа по двум задачам оценка за домашнее задание обнуляется. Второй способ проверки остаточных знаний для части домашних заданий: самостоятельная работа на семинаре (длительность — 20-30 минут, задание из двух задач, аналогичных задачам из домашнего задания). Окончательная оценка за такое домашнее задание получается умножением предварительной оценки на долю решенных на самостоятельной работе задач. Выбор способа проверки остаточных знаний оставляется на усмотрение преподавателей и происходит после того, как домашнее задание сдано и проверено.
- Домашнее задание 2Средняя оценка за домашние задания за первый, второй и третий модуль. Предварительная оценка за домашнее задание пропорциональна доле решенных задач (с учетом неполных решений, за которые выставляется неполный балл). Для проверки остаточных знаний по темам домашних заданий используются два способа. По части домашних заданий проводится выборочная защита (устная беседа) по решенным (хотя бы частично) задачам. В случае если студент не может ответить на ключевые вопросы по решению задачи или сформулировать используемые при решении задач теоремы и определения, преподаватель уменьшает предварительную оценку за домашнее задание на 50%. При неудаче ответа по двум задачам оценка за домашнее задание обнуляется. Второй способ проверки остаточных знаний для части домашних заданий: самостоятельная работа на семинаре (длительность — 20-30 минут, задание из двух задач, аналогичных задачам из домашнего задания). Окончательная оценка за такое домашнее задание получается умножением предварительной оценки на долю решенных на самостоятельной работе задач. Выбор способа проверки остаточных знаний оставляется на усмотрение преподавателей и происходит после того, как домашнее задание сдано и проверено.
- Коллоквиум 1Проводится в конце второго модуля. Программа коллоквиума объявляется заранее и зависит от пройденного к моменту коллоквиума материала. Для каждого вопроса указано, сколько баллов получает студент при полностью корректном ответе. Итоговая оценка за работу вычисляется как сумма набранных баллов. За ответ может выставляться частичное количество баллов в соответствии с долей правильно изложенного материала. Правило округления выбирается преподавателем индивидуально для каждого студента.
- Промежуточный экзаменПроводится в письменной форме после второго модуля. Предполагается очная форма сдачи экзамена. При невозможности проведения очного экзамена проводится дистанционный экзамен по правилам, которые дополнительно сообщаются студентам. Задания в промежуточном письменном экзамене возможны по всем темам, которые изучались в первых двух модулях. Каждое задание в работе оценивается по отдельности, итоговая оценка за работу вычисляется по сумме набранных баллов. Правило определения оценки объявляется после проверки работ. За решения могут выставляться частичные баллы, критерии объявляются после проверки работ.
- Коллоквиум 2Проводится в конце третьего модуля. Программа коллоквиума объявляется заранее и зависит от пройденного к моменту коллоквиума материала. Для каждого вопроса указано, сколько баллов получает студент при полностью корректном ответе. Итоговая оценка за работу вычисляется как сумма набранных баллов. За ответ может выставляться частичное количество баллов в соответствии с долей правильно изложенного материала. Правило округления выбирается преподавателем индивидуально для каждого студента.
- Итоговый экзаменПроводится в письменной форме после третьего модуля. Предполагается очная форма сдачи экзамена. При невозможности проведения очного экзамена проводится дистанционный экзамен по правилам, которые дополнительно сообщаются студентам. Задания в итоговом письменном экзамене возможны по всем темам, которые изучались в курсе. Каждое задание в работе оценивается по отдельности, итоговая оценка за работу вычисляется по сумме набранных баллов. Правило определения оценки объявляется после проверки работ. За решения могут выставляться частичные баллы, критерии объявляются после проверки работ.
Промежуточная аттестация
- 2022/2023 учебный год 2 модуль0.401 * Промежуточный экзамен + 0.3 * Коллоквиум 1 + 0.299 * Домашнее задание 1
- 2022/2023 учебный год 3 модуль0.15 * Коллоквиум 2 + 0.15 * Коллоквиум 1 + 0.2 * Домашнее задание 2 + 0.3 * Итоговый экзамен + 0.2 * Промежуточный экзамен
Список литературы
Рекомендуемая основная литература
- Lovász, L., Pelikán, J., & Vsztergombi, K. (2003). Discrete Mathematics : Elementary and Beyond. New York: Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=108108
- Верещагин, Н. К. Лекции по математической логике и теории алгоритмов : учебное пособие / Н. К. Верещагин, А. Шень. — 3-е изд., доп. — Москва : МЦНМО, [б. г.]. — Часть 2 : Языки и исчисления — 2008. — 288 с. — ISBN 978-5-94057-322-7. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/9307 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.
- Верещагин, Н. К. Лекции по математической логике и теории алгоритмов : учебное пособие / Н. К. Верещагин, А. Шень. — 3-е изд., стер. — Москва : МЦНМО, [б. г.]. — Часть 1 : Начала теории множеств — 2008. — 128 с. — ISBN 978-5-94057-321-0. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/9306 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.
Рекомендуемая дополнительная литература
- Дискретная математика. Углубленный курс: Учебник / Соболева Т.С.; Под ред. Чечкина А.В. - М.:КУРС, НИЦ ИНФРА-М, 2017. - 278 с.: - (Бакалавриат) - Режим доступа: http://znanium.com/catalog/product/851215