Дискретная математика КНАД 23/24

Преподаватели и учебные ассистенты

Группа	231	232
Лектор	Мажуга А.М.
Семинарист	Мажуга А.М.	Промыслов В.В.
Приемные часы	Суббота, 17:00 -- 21:00, через Zoom нужно предупредить за день	???
Ассистент	Галкина Таисия togalkina@edu.hse.ru	Пономарчук Анна ponomarchuk.anna@yandex.ru

О курсе

Эта страничка содержит ссылки на материалы по курсу Дискретная Математика в 2023/2024 учебном году на программе "Компьютерные науки и анализ данных" Факультета Компьютерных Наук НИУ ВШЭ.

Конспект Лекций

Модуль 1

• Лекция 7 (21.10.2023). Комбинаторика, Часть-II; комбинаторный принцип деления; размещения, теорема о числе размещений; сочетания, теорема о числе сочетаний.

• Лекция 6 (14.10.2023). Графы, Часть-III: Ориентированные графы; понятие ориентированного графа, степени входа и выхода вершины орграфа; теорема о сумме степеней вершин орграфа; ориентированный путь и цикл в орграфе; понятие сильной связности; ациклические орграфы и их описание; задача о кенигсбергских мостах, эйлеровы циклы и эйлеровы графы; теорема об описании эйлеровых орграфов.

• Лекция 5 (07.10.2023). Графы, Часть-II: Деревья; понятия леса и дерева; теорема об описании лесов (эквивалентные определения леса); теорема об описании деревьев (эквивалентные определения дерева); размерность графа и ее основные комбинаторные свойства; теорема о размерности леса; теорема о размерности дерева (связь числа вершин и ребер в дереве); листья в девере; теорема об остовных деревьях; теорема Кэли о числе остовных деревьев в полном графе (без доказательства).

• Лекция 4 (30.09.2023). Графы, Часть-I: Введение; понятие графа, матрицы смежности и инцидентности; теорема о сумме степеней вершин графа; связность, области достижимости и компоненты связности графа.

• Лекция 3 (23.09.2023). Комбинаторика, Часть-I; основные комбинаторные принципы: правило произведения и правило суммы; понятие последовательности; теорема о числе слов в конечном алфавите; формула включения-исключения.

• Лекция 2 (16.09.2023). Введение в теорию множеств; основные способы задания множества; основные операции над множествами; (полный) принцип математической индукции.

• Лекция 1 (08.09.2023). Введение в алгебру логики; понятие высказывания, простые и сложные (= составные) высказывания; основные логические связки; логически эквивалентные высказывания; примеры эквивалентностей; тавтологии и противоречия; кванторы всеобщности и существования.

Семинары

Материал с семинаров 231-й группы:

• Семинар №7 (21.10.2023)

• Семинар №6 (14.10.2023)

• Семинар №5 (07.10.2023)

• Семинар №4 (30.09.2023)

• Семинар №3 (23.09.2023)

• Семинар №2 (16.09.2023)

• Семинар №1 (08.09.2023)

Материал с семинаров 232-й группы:

Материалы доступны в [??? google диск] и в [??? google classroom].

Домашние задания

ДЗ для 231-й группы:

Модуль 1

• ДЗ №7 (выдача: 21.10.23, дедлайн: 04.11.23)

https://www.dropbox.com/scl/fi/lzguvrdo9a7l2impzjexe/_-_-_7.pdf?rlkey=66sl2io9lo77s4b8u4s834yk6&dl=0

• ДЗ №6 (выдача: 14.10.23, дедлайн: 22.10.23)

• ДЗ №5 (выдача: 07.10.23, дедлайн: 15.10.23) https://www.dropbox.com/scl/fi/lzguvrdo9a7l2impzjexe/_-_-_7.pdf?rlkey=66sl2io9lo77s4b8u4s834yk6&dl=0

• ДЗ №4 (выдача: 30.09.23, дедлайн: 08.10.23)

small>(Доска с Семинар_4)</small>

• ДЗ №3 (выдача: 23.09.23, дедлайн: 01.10.23) (Доска с Семинар_3)

• ДЗ №2 (выдача: 16.09.23, дедлайн: 24.09.23) (Доска с Семинар_2)

• ДЗ №1 (выдача: 08.09.23, дедлайн: 17.09.23) (Доска с Семинар_1)

Обязательные ДЗ для 232-й группы:

Информация по домашним заданиям доступна в [??? google classroom]. Сдача домашнего задания происходит в этой же системе. Срок выполнения домашнего задания — неделя после семинара.

Ведомость с оценками и Контроль посещаемости

231	232

Формы контроля и оценивание

Курс Дискретная Математика на КНАД читается в 1 и 2 модулях.

В течение курса установлены следующие формы контроля:

• письменный экзамен (ЭК);
• письменная контрольная работа (KР);
• два коллоквиума (KЛ₁, КЛ₂);
• несколько самостоятельных работ (СР, где СР --- есть среднее арифметическое оценок всех самостоятельных работ);
• несколько домашних заданий (ДЗ, где ДЗ --- есть среднее арифметическое оценок всех домашних работ; обычно одно ДЗ соответствует одному семинару).

Блокирующих форм контроля нет.

Все оценки, а именно ЭК, KР, КЛ₁, КЛ₂, СР и ДЗ, являются вещественными числами, принадлежащими отрезку [0;10] и вычисляются без округления.

Итоговая Оценка за дисциплину, ИО, вычисляется по следующей формуле:

ИО = Округление(1/8*КЛ₁+1/8*КЛ₂+1/8*КР+7/40*ДЗ+3/20*СР+3/10*ЭК),

где функция Округление(r) определена следующим образом: если десятичная часть неотрицательного вещественного числа r лежит в полуинтервале [0;0,2), то r округляется до максимального целого числа, не превосходящего r (например, Округление(7,199)=7); если десятичная часть неотрицательного вещественного числа r лежит в интервале (0,7;1), то r округляется до наименьшего целого числа, большего r (например, Округление(7,701)=8); если десятичная часть неотрицательного вещественного числа r лежит в отрезке [0,2;0,7], то r округляется до максимального целого числа, не превосходящего r, если студент присутствовал менее чем на 66% семинаров, иначе r округляется до наименьшего целого числа, не меньшего r.

Пересдача самостоятельных работ не предусмотрена даже по уважительной причине. Если студент не смог сдать самостоятельную работу по уважительной причине, то ее оценка считается равной оценке студента за ближайший к этой СР коллоквиум или КР.

Без уважительной причины студент может сдать только одно ДЗ за семестр после дедлайна (оно оценивается без штрафа), это ДЗ нельзя сдавать в течение последней недели перед зимней сессией. В случае наличия уважительной причины ситуация с ДЗ решается индивидуально.

Контрольные Работы и Экзамены

Экзамен 1 (описание прошлого года, но значимых изменений в формате проведения мы не планируем)

ЭК пройдет 26.12.2022[ПН] в формате Zoom конференции, начало в 11:10 [МСК] (но желательно подключиться к конференции в 11:05), ссылка на Zoom конференцию появится позже на wiki (или см. РУЗ).

Правила проведения ЭК аналогичны правилам проведения КР:

На решение заданий ЭК будет отведено 100-110 мин. В течение этого времени студенту запрещается пользоваться любыми записями (конспект лекций/семинаров, справочные таблицы, шпаргалки, ...) и любыми электронными устройствами (мобильными телефонами, часами, калькуляторами, наушниками, товарищем по несчастью...); решение заданий ЭК 1 записывается студентом на бумаге (на планшете писать нельзя). После окончания этого времени будет выделено отдельное время для фотографирования/сканирования работы и выгрузке ее в Google форму, в течение этого отдельного времени студент не может вносить изменения в работу (но, разумеется, может пользоваться телефоном/сканером/компьютером).

Описание заданий и список задач для подготовки к ЭК можно посмотреть в прикреплённом файле. Если студенту нужен какой-то элементарный факт, прямо не относящийся к нашему курсу (например, формула для синуса тройного угла), то он может спросить этот факт у одного из преподавателей.

При написании ЭК студент обязан включить в Zoom камеру и демонстрацию рабочего стола, рабочее место студента должно попадать в поле зрение камеры (при несоблюдении этих условий студент не допускается к написанию ЭК). Вопросы, касающиеся технических проблем на стороне студента (отключение Интернет, зависание компьютера, кот, разорвавший работу,...), будут решаться в индивидуальном порядке.

Контрольная Работа 1 (описание прошлого года, но значимых изменений в формате проведения мы не планируем)

КР 1 пройдет 21.10.2022 в формате Zoom конференции, начало в 13:00 [МСК] (но желательно подключиться к конференции в 12:55), ссылка на Zoom конференцию:

Появится здесь, но позже.

На решение заданий КР 1 будет отведено 100-110 мин. В течение этого времени студенту запрещается пользоваться любыми записями (конспект лекций/семинаров, справочные таблицы, шпаргалки, ...) и любыми электронными устройствами (мобильными телефонами, часами, калькуляторами, наушниками, товарищем по несчастью...); решение заданий КР 1 записывается студентом на бумаге (на планшете писать нельзя). После окончания этого времени будет выделено отдельное время для фотографирования/сканирования работы и выгрузке ее в Google форму, в течение этого отдельного времени студент не может вносить изменения в работу (но, разумеется, может пользоваться телефоном/сканером/компьютером).

Описание КР 1 можно посмотреть в этом файле. Если студенту нужен какой-то элементарный факт, прямо не относящийся к нашему курсу (например, формула для синуса тройного угла), то он может спросить этот факт у одного из преподавателей.

При написании КР 1 студент обязан включить в Zoom камеру и демонстрацию рабочего стола, рабочее место студента должно попадать в поле зрение камеры (при несоблюдении этих условий студент не допускается к написанию КР 1). Вопросы, касающиеся технических проблем на стороне студента (отключение Интернет, зависание компьютера, кот, разорвавший работу,...), будут решаться в индивидуальном порядке.

Коллоквиумы

Коллоквиум 2 (описание прошлого года, но значимых изменений в формате проведения мы не планируем)

Кол. 2 для 221-й группы запланирован на 13-е и 14-е декабря, для 222-й группы даты скоро должны быть определены (точно между 12-м и 17-м декабря) и пройдет в формате Zoom конференции.

Правила проведения и структура Кол. 2 такие же, как и у Кол. 1 (см. ниже).

Список вопросов на привести определение / формулировку можно посмотреть в этом файле.

Список вопросов на привести доказательство можно посмотреть в этом файле.

Коллоквиум 1 (описание прошлого года, но значимых изменений в формате проведения мы не планируем)

Кол. 1 запланирован на 05 ноября [СБ] и пройдет в формате Zoom конференции.

Чтобы попасть на Кол. 1, вам нужно сначала на него записаться. У каждой из двух групп будет своя таблица для записи, для того, чтобы записаться на Кол. 1, в соответствующей таблице студент должен будет выбрать свободный временной слот и вписать в него свои Фамилия Имя. Обращаем ваше внимание на то, что за день до начала Кол. 1 запись в таблицу будет закрыта.

Кол. 1 будет проходить следующем образом: в указанное в таблице время, студент подключается к Zoom конференции (ссылки будут предоставлены позже), получает билет, готовится (примерно) 30-40 мин., фотографирует/сканирует свою работу, отправляет работу преподавателю, отвечает на вопросы по работе и доп. вопросы.

В билете будет:

1) четыре вопроса на привести определение / формулировку. Список этих вопросов приведен в этом файле, каждый вопрос оценивается в 1 балл (за вопрос можно получить 0 или 0,5 или 1 балл).

2) один вопрос на привести доказательство. Список этих вопросов приведен в этом файле, этот вопрос оценивается в 4 балла (возможна оценка от 0 до 4 баллов с шагом 0,5 балла).

3) дополнительный вопрос(ы). Это может быть любой вопрос(ы), относящийся к курсу (например, не очень трудоемкая задача), но не доказательство из списка для второго вопроса. Этот вопрос(ы) оценивается в 2 балла (возможна оценка от 0 до 2 баллов с шагом 0,5 балла).

Во время подготовки студенту запрещается пользоваться любыми записями (конспект лекций/семинаров, справочные таблицы, шпаргалки, ...) и любыми электронными устройствами (мобильными телефонами, часами, калькуляторами, помощью лучшего друга,...). При сдачи Кол. 1 студент обязан включить в Zoom камеру и демонстрацию рабочего стола, причем рабочее место студента должно попадать в поле видимости камеры (в случает отсутствия камеры студент не допускается к сдачи Кол. 1). Вопросы, касающиеся технических проблем на стороне студента (отключение Интернет, зависание компьютера, кот, разорвавший работу,...), будут решаться в индивидуальном порядке.