DM1PMIbase-2026-27

Материал из Wiki - Факультет компьютерных наук
Перейти к навигации Перейти к поиску

ОБЪЯВЛЕНИЯ

Предполагается, что эти объявления повторяются в телеграмме ДМ 26/27 — объявления.

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

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

Лекции: Михаил Николаевич Вялый. Ассистент лектора: Людмила Ли

Ассистенты курса (работают с разными группами): Севинч Акбарова, Дарья Денисовна Залива,Эвелина Артуровна Черноусова

Семинары (таблица заполнена не полностью, будет пополняться в дальнейшем):

Группа Преподаватель Учебный(-е) ассистент(-ы)
266-2 Павел Павлович Соколов ассистенты тех групп, где студент сдает домашнее задание
267 Михаил Николаевич Вялый

Фёдор Алексеевич Кудашев

268 Анастасия Ильинична Чистопольская Захар Евгеньевич Грязнев
269 Анастасия Ильинична Чистопольская

Кирилл Николаевич Иванов

2610 Михаил Валерьевич Валинкин Малика Мухаммедовна Исмаилова
2611 Анна Тиграновна Зайцева Дмитрий Александрович Кириченко
2612 Роман Олегович Стасенко Максим Михайлович Садиков
2613 Павел Павлович Соколов Арина Дмитриевна Савина
2614 Александр Александрович Запрягаев

Акопян Ева Араевна

2615 Евгений Сергеевич Коган

Никита Дмитриевич Сераков

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

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

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

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

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

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

Проверочные работы

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

Для проверки успешности решения задач для самостоятельного решения на последнем семинаре (в конце первого семестра и третьего модуля соответственно) будут проводится проверочные работы. Это письменные контрольные работы, задачи которых будут выбраны из списка выданных задач для самостоятельного решения. Оценки за проверочные работы Пр1, Пр2 выставляются в 10-балльной шкале.


Коллоквиумы

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

Экзамены

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

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

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

Пересдачи

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

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

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

Оценка 2 модуля = 0.25 * ((x/x+y)*ДЗ1 + (y/x+y)* Пр1)+ 0.25* Колл1 + 0.5* Экз1

Здесь x - количество домашних заданий в первом и втором модуле, y - количество подборок задач для самостоятельного решения. Планируется x = 10, y = 3, но возможны изменения значений этих параметров.

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

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

Оценка 3 модуля = 0.2*Оценка 2 модуля + 0.2*((u/u+v)*ДЗ2 + (v/u+v)* Пр2))+0.24 * Колл2 + 0.36*Экз2

Здесь u - количество домашних заданий в первом и втором модуле, v - количество подборок задач для самостоятельного решения. Планируется u = 6, v = 3, но возможны изменения значений этих параметров.


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

Результаты

Студентам группы 266-2: для удобства работы учебных ассистентов, проверку ваших домашних заданий распределили по остальным группам. Распределение такое:

ГРУППА 267: Абдуллин Амир Василович, Рождественский Алексей Сергеевич

ГРУППА 268: Аксютенко Ярослав Вячеславович, Семьянов Андрей Павлович

ГРУППА 269: Будкин Вячеслав Владимирович, Стрельцова Арина Александровна

ГРУППА 2610: Зайнуллин Милан Ильнурович, Тихоньких Артём Юрьевич

ГРУППА 2611: Макарова Арина Сергеевна, Угро Алексей Андреевич

ГРУППА 2612: Мельников Александр Анатольевич, Чугунов Андрей

ГРУППА 2613: Никулин Илья Антонович

ГРУППА 2614: Оспищева Мария Павловна

ГРУППА 2615: Павленко Дмитрий Алексеевич

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

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

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

  • Оценки за коллоквиумы и экзамены по мере их появления.
  • Промежуточные и итоговые оценки за курс (имеют смысл после сдачи соответствующих коллоквиумов контрольных и экзаменов и завершения защит нужных ДЗ).
267 группа ПМИ 268 группа ПМИ 269 группа ПМИ 2610 группа ПМИ 2611 группа ПМИ 2612 группа ПМИ 2613 группа ПМИ 2614 группа ПМИ 2615 группа ПМИ

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


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

Литература

  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 с.