DM1PMIbase-2025-26 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
==ОБЪЯВЛЕНИЯ==
 
==ОБЪЯВЛЕНИЯ==
 +
 +
'''14.11.2025''' Опубликовано расписание коллоквиума (см. ниже).
  
 
'''14.11.2025''' Консультация перед коллоквиумом пройдет 20.11, время 19:40-21:00. [https://us06web.zoom.us/j/83730171904?pwd=arlSOwFqhyKW29wdJ91458koyR2qJs.1 Ссылка на зум.]
 
'''14.11.2025''' Консультация перед коллоквиумом пройдет 20.11, время 19:40-21:00. [https://us06web.zoom.us/j/83730171904?pwd=arlSOwFqhyKW29wdJ91458koyR2qJs.1 Ссылка на зум.]

Версия 13:35, 14 ноября 2025

ОБЪЯВЛЕНИЯ

14.11.2025 Опубликовано расписание коллоквиума (см. ниже).

14.11.2025 Консультация перед коллоквиумом пройдет 20.11, время 19:40-21:00. Ссылка на зум.

03.11.2025 Опубликованы правила проведения коллоквиума 22.11.2025 (см. ниже).

19.09.2025 ВНИМАНИЕ! В условии задачи Д2.4 допущена опечатка. Нужно (a+c)/(b+d) (числители складываются с числителями, знаменатели - со знаменателями). Учитывайте это исправление при решении задачи. Приношу извинения за допущенных опечатку.

Контрольные мероприятия

Коллоквиум 22.11.2025

Коллоквиум будет проходить в субботу, 22 ноября, с 9:30 до 18:00. Аудитория R401.

Программа и правила проведения коллоквиума.

Правила проведения коллоквиума также приводятся ниже.

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

В каждом билете будут 3 вопроса на определения и формулировки теорем курса, 2 вопроса на доказательство и 1 задача. Вопросы на доказательство составляются из тех, которые были на лекциях; задачи берутся из числа классных задач и задач из домашних заданий (за исключением необязательных классных задач, помеченных звёздочкой).

Вопросы на определения/формулировки стоят по 1 баллу, вопросы на доказательства и задача стоят 2 или 3 балла (в зависимости от трудности). Итоговая сумма баллов за вопросы в билете всегда равна 10. По каждому пункту билета возможны частичные (нецелые) оценки. Если за определения/формулировки получено меньше 2 баллов, коллоквиум окончен (и студент уходит с полученной на данный момент оценкой). Оценка за коллоквиум выставляется без округления.

На коллоквиум нужно прийти со своей чистой бумагой и ручкой. Можно принести распечатанную программу коллоквиума, то есть распечатку этого файла.Во время подготовки и ответа не разрешается использование дополнительных источников, в электронной или бумажной форме. Ответ должен быть самостоятельным, не разрешается консультироваться по поводу ответа с другими людьми. По правилам НИУ ВШЭ при обнаружении нарушений правил коллоквиума результатом коллоквиума станет 0 баллов.

Отвечать билет необходимо одному принимающему (то есть нельзя сначала кому-то одному ответить определения, а потом другому отвечать доказательства).

Расписание коллоквиума

Студенты указанных групп (или подгрупп) приглашаются по следующему расписанию в следующие аудитории. Просьба: если вы ходите на занятия в другую группу, приходите по расписанию этой группы и при получении билета скажите, что вы ходите в группу R, а не в группу I (значения переменных просьба вычислить самостоятельно). Если нужно выбрать подгруппу, выбирайте тот же номер, в котором вы числитесь в списке студентов.

9:30 257, 2510-1

10:40 258, 2511

11:50 259,2513

13:00 2512, 2514

14:10 2515

15:20 2510-2

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

Лекции: Михаил Николаевич Вялый.

Ассистенты курса (работают с разными группами): Яна Михайловна Морозова, София Сергеевна Соленникова Ирина Алексеевна Чуб

Семинары:

Группа Преподаватель Учебный(-е) ассистент(-ы)
257 Михаил Николаевич Вялый Людмила Ли
258 Анастасия Ильинична Чистопольская Вадим Ильдарович Камалов
259 Александр Александрович Запрягаев Роман Годович Шамаилов
2510 Михаил Валерьевич Валинкин Полина Ивановна Микулич
2511 Анна Тиграновна Зайцева Алёна Викторовна Новикова
2512 Анна Тиграновна Зайцева Коровин Иван Алексеевич
2513 Анастасия Ильинична Чистопольская Полина Ивановна Литвина
2514 Роман Олегович Стасенко Сергей Дмитриевич Канаев
2515 Павел Павлович Соколов Мария Викторовна Деминова

Правила оценивания

Элементы контроля в курсе: домашние задания (еженедельно), коллоквиумы (2), экзамены (письменные, 2).

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

Домашние задания выдаются раз в неделю и должны быть выполнены в течение недели со дня выдачи. Оценка за полное решение каждой задачи из домашнего задания равна 4. Предварительная оценка за домашнее задание выставляется в 10-балльной шкале и пропорциональна доле решенных задач (с учетом неполных решений, за которые выставляется неполный балл). Для проверки остаточных знаний по темам домашних заданий проводится выборочная защита (устная беседа) по решенным (хотя бы частично) задачам. В случае, если студент не может ответить на ключевые вопросы по решению задачи или сформулировать используемые при решении задач теоремы и определения, преподаватель уменьшает предварительную оценку за домашнее задание на 50%. При неудаче ответа по двум задачам оценка за домашнее задание обнуляется.

Оценка за домашние задания первого семестра ДЗ1 равна среднему арифметическому оценок за первые 10 домашних заданий.

Оценка за домашние задания третьего модуля ДЗ2 равна среднему арифметическому оценок за домашние задания третьего модуля, выставляется аналогично оценке ДЗ1.

Комментарий. Проверка домашних заданий по очевидным причинам происходит позже их сдачи. Поэтому вполне возможно, что во втором модуле будут домашние задания, которые нужно сдать во втором модуле, а проверены они будут уже в 3 модуле и войдут в оценку ДЗ2, а на ДЗ1.

Коллоквиумы

Проводятся для проверки теоретических знаний и умения решать стандартные задачи. Планируется два коллоквиума: один во 2 модуле, второй - в 3м. Оценки за коллоквиум Колл1, Колл2 выставляется в 10-балльной шкале. Программа коллоквиума и правила его проведения объявляются перед коллоквиумом. Основной источник информации - эта страница. Все остальные источники считаются в нашем курсе вспомогательными.

Экзамены

Проводятся в сессию 2 и 3 модуля. Предполагается очная форма сдачи экзамена. При невозможности проведения очного экзамена проводится дистанционный экзамен по правилам, которые дополнительно сообщаются студентам.

Экзамен проводится в письменной форме. Промежуточный экзамен после второго модуля проводится по всем темам 1-2 модуля. Итоговый экзамен по курсу проводится после третьего модуля по всем темам курса (в основном задачи будут относится к темам 3 модуля). Помимо проверки усвоения материала курса, на письменном экзамене проверяется также умение творчески использовать полученные знания.

Оценки за экзамены Экз1, Экз2 выставляются в 10-балльной шкале. Критерии проверки и правила оценивания экзаменационных работ объявляются после проверки работ.

Пересдачи

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

Формула оценки

Промежуточная аттестация после второго модуля.

Оценка 2 модуля = 0.25 * ДЗ1 + 0.3* Колл1 + 0.45* Экз1

Программой дисциплины не предусмотрено обучение в 3 модуле тех, кто получил неудовлетворительную промежуточную оценку в 1 семестре.

Окончательная оценка по курсу.

Оценка 3 модуля = 0.2*Оценка 2 модуля + 0.2* ДЗ2 + 0.24 * Колл2 + 0.36*Экз2

Правило округления. В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления промежуточной и окончательной оценок за курс. При выставлении промежуточной и окончательной оценки используется арифметическое округление.

Результаты

В файлах по ссылкам содержатся

  • Оценки за домашние задания, на каждое свой лист (окончательный результат - в столбце "И-оценка". Он нулевой, если в столбце "защита/с-р" стоит 0.)

По поводу защит домашних заданий обращайтесь к своим преподавателям или ассистентам.

  • Оценки за коллоквиумы и экзамены по мере их появления.
  • Промежуточные и итоговые оценки за курс (имеют смысл после сдачи соответствующих коллоквиумов контрольных и экзаменов и завершения защит нужных ДЗ).
257 группа ПМИ 258 группа ПМИ 259 группа ПМИ 2510 группа ПМИ 2511 группа ПМИ 2512 группа ПМИ 2513 группа ПМИ 2514 группа ПМИ 2515 группа ПМИ

Материалы курса


  • Черновик учебника. В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (окончательный вариант есть на бумаге - издан издательством ВШЭ, см. ниже).
  • Черновик 9 лекции. Может отличаться от реальной лекции! Однако были просьбы выкладывать такие черновики. Если не боитесь запутаться между предварительным текстом и рассказом на лекции - пользуйтесь.
  • Конспекты лекций. В этом файле будут собираться конспекты лекций. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой.
  • Списки задачи для разбора в классе и домашние задания.

По ссылке "Занятие <номер занятия> (pdf)" содержатся и задачи для разбора в классе, и задачи домашнего задания в виде pdf файла. По ссылке "Занятие <номер занятия> (tex)" содержатся те же материалы в виде TeXовского исходника. Для компиляции нужен файл preamble.sty.

Занятие 1 (pdf) Занятие 1 (tex) Занятие 2 (pdf) Занятие 2 (tex) Занятие 3 (pdf) Занятие 3 (tex) Занятие 4 (pdf) Занятие 4 (tex)
Занятие 5 (pdf) Занятие 5 (tex) Занятие 6 (pdf) Занятие 6 (tex) Занятие 7 (pdf) Занятие 7 (tex) Занятие 8 (pdf) Занятие 8 (tex)
Занятие 9 (pdf) Занятие 9 (tex)

Литература

  1. М.Вялый, В.Подольский, А.Рубцов, Д.Шварц, А.Шень. Лекции по дискретной математике. Изд. Дом ВШЭ, 2021. 495 с.
  2. Верещагин Н.К., Шень А. - Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств - Московский центр непрерывного математического образования - 2008 - ISBN: 978-5-94057-321-0 - Текст электронный // ЭБС ЛАНЬ - URL: https://e.lanbook.com/book/9306
  3. 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
  4. Дискретная математика. Углубленный курс: Учебник / Соболева Т.С.; Под ред. Чечкина А.В. - М.:КУРС, НИЦ ИНФРА-М, 2017. - 278 с.: - (Бакалавриат) - Режим доступа: http://znanium.com/catalog/product/851215
  5. Рейнгард Дистель. Теория графов, Новосибирск: Изд-во Ин-та математики, 2002, 336 с.