DM1base-2022-23

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

ОБЪЯВЛЕНИЯ

01.04.2023 Опубликованы решения задач экзамена 28.03 и критерии проверки. Результаты экзамена также открыты, см. ссылку ниже.

21.03.2023 Опубликована информация об итоговом экзамене, см. ниже.

13.03.2023 В итоговую оценку будут входить результаты 21 домашнего задания.

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

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

17.02.2023 В условии задачи Д20-3 исправлена опечатка (верхний предел суммирования заменен на 5).

10.02.2023 Внимание: перенос лекции! На следующей неделе лекция будет в понедельник, 13.02, начало 16:20. Аудитория R405.

08.02.2023 Опубликовано расписание пересдачи комиссии 10.02. Подробнее см. ниже.

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

21.01.2023 Начал выкладывать черновые конспекты лекций. (См. ниже в разделе Материалы курса.)

09.01.2023 В условии задачи Д14-3 исправлена опечатка.

29.12.2022 Опубликованы решения задач экзамена 23.12 и критерии проверки. Результаты экзамена также открыты, см. ссылку ниже.

18.12.2022 Опубликована информация об экзамене. Он будет 23.12.2022, подробности см. ниже.

12.12.2022 Обратите внимание: в задаче Д13.5 была опечатка (сейчас исправлена). Множество [11] состоит из 11 элементов 0,1, 2, ..., 9, 10, а не так, как было написано. На сложность решения это не влияет, но число в ответе другое получится. Если еще не поздно, пересчитайте для такого множества.

26.11.2022 Консультация перед зимним коллоквиумом будет 05.12 (понедельник), 18:10-19:30. Консультация будет онлайн, ссылка

19.11.2022 Опубликованы программа и правила проведения зимнего коллоквиума (10.12, ауд. 401).

12.10.2022 Задача Д6.4 некорректная. Она снимается из домашнего задания. В нем будет всего шесть задач.

21.09.2022 Задача ДЗ2.4 оказалась слишком трудной. Она снимается из оценки (считаем, что в ДЗ2 всего 7 задач). Упрощенный вариант этой задачи включен в ДЗ3 (задача 8). Просьба к тем, кто считает, что привёл правильное решение задачи ДЗ2.4 сдать его ещё раз в домашнем задании 3.

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

Итоговый экзамен 2023 года

Решения задач экзамена 28.03 и критерии проверки. Перед показом работ настоятельно советуем ознакомиться с критериями. Они покрывают не все возможные случаи, но большинство. В остальных случаях решения принимались по аналогичным соображениям.

Результаты экзамена 28.03 и итоговые оценки за курс. Задачи оценивались от 0 до 4 очков. Оценка за экзамен - в столбце I, оценка за семестр - в столбце O.

ВАЖНО: Во время экзамена не разрешается использование электронных устройств (телефоны, планшеты, ноутбуки, умные часы и т.п.) и разрешается использование бумажных источников: книги, конспекты и т.п.

Дата и время: 28.03.2023 (вторник), 11:00-12:30.

Аудитории:

R401 группы 226ПМИ-1, 227ПМИ, 228ПМИ, 229ПМИ

R404 группы 226ПМИ-2, 2210ПМИ, 2211ПМИ, 2212ПМИ

R304 группы 221ЭАД, 222ЭАД, 223ЭАД


ВАЖНО: будьте готовы к тому, что вас могут попросить перейти в другую аудиторию или пересесть на другое место для более равномерной рассадки.

Показ работ будет 03.04.2023 (понедельник), 16:20-17:40. Ауд. R504.

Программа и правила проведения весеннего коллоквиума 2023 года (18.03, суббота, ауд. R206 с 14:30 до 21:00; R201 с 11:00 до 21:00)

Программа и правила проведения коллоквиума-2 (основной поток) Важное замечание: в программу коллоквиума вошли не все темы курса. Нужно иметь в виду, что письменный экзамен в конце третьего модуля будет содержать задачи по всем темам, курса (в основном по темам 3 модуля).

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

Всего в каждом билете будет 4 вопроса.

Первый вопрос - проверка знания определений и формулировок теорем из курса.

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

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

Оценка за коллоквиум формируется следующим образом. Полный ответ на вопрос с номером N даёт N баллов. В случае неполных ответов преподаватель может поставить частичную оценку за вопрос (от 0 до N). Далее эти оценки суммируются. Оценка за коллоквиум получается округлением полученной оценки. Правило округления оставляется на усмотрение преподавателя (возможно как округление 5.3 до 6, так и округление 7.9 до 7).


Коллоквиум будет идти с 11:00 до 21:00 в аудиториях R201, R206. Студенты из разных групп приглашаются на разное время согласно расписанию:


Группы 222ЭАД, 2211ПМИ: R201, с 11:00.

Группы 221ЭАД, 227ПМИ: R201, с 12:30.

Группа 229ПМИ: R201, с 14:00.

Группа 223ЭАД: R206, с 14:45.

Группа 228ПМИ: R201, с 16:00.

Группа 2210ПМИ: R206, с 16:00.

Группа 226ПМИ: R201, с 17:30.

Группа 2212ПМИ: R206, с 17:30.

Пересдача комиссии 10.02.2023 (пятница), ауд. D511

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

Из-за большого количества желающих приём будет происходить в несколько заходов. Ниже приводится расписание пересдачи.

Важно! Если вы есть в этом списке, это еще не значит, что вам нужно сдавать пересдачу комиссии по дискретной математике!! Возможно, вас уже отчислили из-за проблем с другими предметами. Уточняйте свой статус в учебном офисе.

  • К 16:20 приглашаются:

Атанасоска София

Иванникова Анастасия Игоревна

Ле Тьи Тхань Лам

Махмудов Абдула Султанмурадович

Милюта Мария

Мсрян Нвер

Стародубова Дарья

Суровец Василий Владимирович

Хугаева Дана Артуровна

Цаллагова Полина Сергеевна

Щербаков Савва Вячеславович

Яцук Александр Александрович

  • К 18:10 приглашаются:

Абрашин Егор Денисович

Афтаб Мария Сохеловна

Гусева Людмила

Дзауров Кили (онлайн)

Ермашов Владимир Александрович

Запрягаева Влада Юрьевна

Кушкумбаев Арман Куаншкалиевич

Лопес Пуиг Марк

Мурзова Софья

Танирбергенова Аружан Ермековна

Царенко Сергей Геннадьевич

  • К 19:30 приглашаются:

Абабков Даниил

Киргизбаев Рустам Фарходович

Лам Ка Нам

Маратов Мирас

Муродзода Эмомалиджон

Нгуен Куанг Винь

Портнов Илья Александрович (письм. экз.)

Удрас Артём Дмитриевич

Яковицкий Макар Павлович

Зимний экзамен 2022 года

Решения задач экзамена 23.12 и критерии проверки. Перед показом работ настоятельно советуем ознакомиться с критериями. Они покрывают не все возможные случаи, но большинство. В остальных случаях решения принимались по аналогичным соображениям.

Результаты экзамена 23.12 и оценки за первый семестр Задачи оценивались от 0 до 4 очков. Оценка за экзамен - в столбце I, оценка за семестр - в столбце M.

ВАЖНО: Во время экзамена не разрешается использование электронных устройств (телефоны, планшеты, ноутбуки, умные часы и т.п.) и разрешается использование бумажных: книги, конспекты и т.п.

Дата и время: 23.12.2022 (пятница), 16:20-17:50.

Аудитории:

R201: группы 226ПМИ, 2210ПМИ, 2211ПМИ, 2212ПМИ

R301: группы 227ПМИ, 228ПМИ, 223ЭАД

R503: группы 221ЭАД, 229ПМИ

R406: группа 222ЭАД

ВАЖНО: будьте готовы к тому, что вас могут попросить перейти в другую аудиторию или пересесть на другое место для более равномерной рассадки.

Показ работ будет 30.12.2022, 13:00-15:00. Ауд. M303.

Программа и правила проведения зимнего коллоквиума 2022 года (10.12, суббота, ауд. 401)

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

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

Всего в каждом билете будет 4 вопроса.

Первые два вопроса - проверка знания определений и формулировок теорем из курса. Последние два - проверка умения рассказать доказательство утверждения из курса или решение заранее известной задачи.

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

Оценка за коллоквиум формируется следующим образом. Полный ответ на вопрос с номером N даёт N баллов. В случае неполных ответов преподаватель может поставить частичную оценку за вопрос (от 0 до N). Далее эти оценки суммируются. Оценка за коллоквиум получается округлением полученной оценки. Правило округления оставляется на усмотрение преподавателя (возможно как округление 5.3 до 6, так и округление 7.9 до 7).

Коллоквиум будет идти с 11:00 до 21:00. Студенты из разных групп приглашаются на разное время согласно расписанию:

Группы 227ПМИ, 228ПМИ: с 11:00.

Группа 229ПМИ: с 13:00.

Группа 2210ПМИ: с 14:00.

Группы 226ПМИ, 2211ПМИ: с 15:00.

Группы 2212ПМИ, 221ЭАД: с 17:00.

Группы 222ЭАД, 223ЭАД: с 18:00.

Общая информация о курсе Дискретная математика, основной поток ПМИ + ЭАД, 1 курс

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

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

Группы ПМИ

Группа Преподаватель Учебный(-е) ассистент(-ы)
226 Михаил Валерьевич Валинкин Арсений Алексеевич Абрамов
227 Михаил Николаевич Вялый Алексей Михайлович Носов
228 Павел Павлович Соколов Лиза Шатская
229 Никита Сергеевич Лукьяненко Игорь Иванович Демушкин
2210 Анна Тиграновна Енгоян Александра Игоревна Ульянова
2211 Алина Эдуардовна Хузиева Артём Вячеславович Парфенов
2212 Анна Тиграновна Енгоян Данила Русланович Кульпанович


Группы ЭАД

221 Алина Эдуардовна Хузиева Азамат Кемал
222 Алина Эдуардовна Хузиева Пономарчук Анна Сергеевна
223 Михаил Валерьевич Валинкин Агаев Мурад Хаял оглы

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

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

Вес коллоквиумов в итоговой оценке 30%, промежуточного экзамена 20%, итогового 30%, домашних заданий 20%.

Промежуточная оценка выставляется по фактически проведенным в 1-2 модулях контрольным мероприятиям с весами: коллоквиум 30%, промежуточный экзамен 40.1%, домашние задания 29.9%. Состав домашних заданий, учитываемых в промежуточной оценке определяется ситуативно. Точный состав объявляется перед проведением коллоквиума в конце 2 модуля.

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

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

В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления промежуточной и итоговой оценок. При выставлении итоговой и промежуточных оценок используется следующее правило округления: между 1 и 5 округление вниз, между 5 и 6 округление арифметическое, а в остальных случаях округление вверх. Т.е. 3,92 округляется до 3; 5,48 - до 5; 5,54 - до 6; 7,12 - до 8.

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

Результаты

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

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

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

  • Оценки коллоквиумов и экзаменов (на листе "итог") по мере их появления.
  • Промежуточные и итоговые оценки за курс (имеют смысл после сдачи коллоквиумов и экзаменов).
226 группа ПМИ 227 группа ПМИ 228 группа ПМИ 229 группа ПМИ 2210 группа ПМИ 2211 группа ПМИ 2212 группа ПМИ 221 группа ЭАД 222 группа ЭАД 223 группа ЭАД

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


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


  • Ниже приводится списки задачи для разбора в классе и домашние задания. По ссылке "Занятие <номер занятия> (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) Занятие 10 (pdf) Занятие 10 (tex) Занятие 11 (pdf) Занятие 11 (tex) Занятие 12 (pdf) Занятие 12 (tex)
Занятие 13 (pdf) Занятие 13 (tex) Занятие 14 (pdf) Занятие 14 (tex) Занятие 15 (pdf) Занятие 15 (tex) Занятие 16 (pdf) Занятие 16 (tex)
Занятие 17 (pdf) Занятие 17 (tex) Занятие 18 (pdf) Занятие 18 (tex) Занятие 19 (pdf) Занятие 19 (tex) Занятие 20 (pdf) Занятие 20 (tex)
Занятие 21 (pdf) Занятие 21 (tex) Занятие 22 (pdf) Занятие 22 (tex) Занятие 23 (pdf) Занятие 23 (tex) Занятие 24 (pdf) Занятие 24 (tex)
Занятие 25 (pdf) Занятие 25 (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 с.