DM1-2021-22

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

ОБЪЯВЛЕНИЯ

09.03: Объявлено расписание коллоквиума основного потока (12 марта, суббота). См. ниже.

28.02: В программу коллоквиума основного потока внесены несущественные изменения (убран повтор в определениях, отредактированы два вопроса в доказательствах, 23 и 24 в новой версии. Программа доступна по той же ссылке, что и раньше.

25.02: Объявлена программа и правила проведения весеннего коллоквиума (основной поток). См. ниже.

31.01: о пересдаче комиссии. Она будет 04.02 (пятница), начало 14:40. Форма проведения - дистанционная. Ссылка на зум. Для оперативной связи и составления расписания захода присоединяйтесь к телеграмм каналу https://t.me/+-SfuDPdMgf1iZTcy

28.01: появились результаты пересдачи 27.01 (основной поток), см. ниже ссылки (это та же таблица, что была для основного экзамена).

21.01: появились результаты пересдачи 20.01 (основной поток), см. ниже ссылки (это та же таблица, что была для основного экзамена).

18.01: вниманию основного потока! Следующая лекция будет в пятницу, 21.01, начало 14:40, ауд. R401. Это будет только один раз, дальше лекции продолжатся по понедельникам, как и раньше. Приношу извинения за неправильное информирование в понедельник.

26.12, выложены результаты экзамена основного потока, см. ниже ссылки

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

10.12, для основного потока: в конце (25-30 мин) последней лекции в семестре (13.12) будет консультация по поводу экзамена (см. ниже основные правила проведения).

Для основного потока: итоговая оценка по домашнему заданию 2 будет выставляться по результатам самостоятельной работы, которая пройдет на семинарах на неделе 04.10-08.10. Продолжительность работы - 20 минут.

Для основного потока: https://t.me/+45GcY-4vDH81MjU6 канал, в котором появляется актуальная информация о ходе коллоквиума (возможные задержки, свободные места в расписании и т.п.)

Общая информация о курсе Дискретная математика-1, ПМИ ФКН, 1 курс

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

Коллоквиум будет проводиться очно (за исключением онлайн-группы). Дата проведения коллоквиума - 12 марта (суббота), расписание по группам будет объявлено позже. Дата коллоквиума для онлайн-группы (предварительно) - 15 марта (вторник).

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

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

Расписание коллоквиума, основной поток, 12 марта, суббота

Группа 2111: с 9:30 R301

Группа 218: с 10:30 R301

Группа 2112: с 11:30 R301

Группа 219: с 14:30 R401

Группа 216: с 16:00 R401

Группа 2110: с 17:00 R401


Программа пилотного потока

Расписание коллоквиума, пилотный поток

Группа 211: 18.03 (пятница) с 11:10

Группа 212-1: 18.03 (пятница) с 13:00

Группа 212-2: 17.03 (четверг) с 14:40

Группа 213: 17.03 (четверг) с 13:00

Группа 214-1: 15.03 (вторник) с 14:40

Группа 214-2: 17.03 (четверг) с 16:10

Группа 215: 17.03 (четверг) с 14:40

Правила проведения зимнего экзамена 2021 года

Экзамен письменный, дистанционный. Длительность 1 час 30 минут. Дата экзамена: 22.12 (среда). Начало 11:00.

Задачи экзамена могут включать все темы, изучавшиеся в 1-2 модулях.

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

Порядок проведения экзамена различается на разных потоках.

Основной поток: Экзамен проходит с прокторингом в ProctorEdu. Технические подробности будут сообщены в ближайшее время. Показ работ планируется 27.12. Важно: на показе работ уточняется соответствие между критериями проверки и вашими решениями и ничего больше (не предполагается рассказ правильных решений или объяснения ваших намерений - речь будет идти только о написанном на экзамене тексте). Изменения в оценках возможны в обе стороны (если выясняется, что ошибочно засчитано неправильное решение, оценка за него тоже снимается).

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

Условия задач экзамена 27.01.2022.

Решения задач экзамена 27.01.2022

Результаты экзамена 20.01.2021. Таблица результатов проверки (см. отдельный лист в конце списка листов). Помимо результатов экзамена, есть также оценки за коллоквиум и домашние задания и в столбце M указана промежуточная оценка (которая пойдет в ведомость). К задачам с неполными оценками (и некоторыми 0) в таблице даются краткие комментарии по проверке.

Условия задач экзамена 20.01.2022.

Решения задач экзамена 20.01.2022.

Результаты экзамена 22.12.2021. Таблица результатов проверки. В ней, помимо результатов экзамена, есть также оценки за коллоквиум и домашние задания и в столбце M указана промежуточная оценка (которая пойдет в ведомость). К задачам с неполными оценками (и некоторыми 0) в таблице даются краткие комментарии по проверке. Работы экзамена. В этой папке лежат ваши работы. На работах также есть комментарии, сделанные во время проверки. Они зачастую более подробные, чем комментарии в таблице.

Решения задач и критерии проверки см. в этом файле.

Показ работ 27.12.2021, 14:30-17:00, ссылка на zoom конференцию. Напоминаем, что на показе работ уточняется соответствие между критериями проверки и вашими решениями и ничего больше (не предполагается рассказ правильных решений или объяснения ваших намерений - речь будет идти только о написанном на экзамене тексте).

Если у вас есть вопросы по решениям, можно заполнить форму вопроса. На вопросы, заданные через форму, мы постараемся ответить как можно быстрее, но не обещаем, что успеем до показа работ. Перед тем, как задавать вопрос, посмотрите критерии проверки, ваше решение. Имеет смысл задавать вопрос, если вы уверены, что проверка вашего решения не совпадает с объявленными критериями. (Или задача вовсе пропущена - такое, к сожалению, тоже бывает.)

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

Коллоквиум будет проводиться дистанционно.

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

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

Программа пилотного потока

Билеты пилотного потока

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

Пилотный поток

Группа 211-1: 07.12 (вторник) с 14:40 Zoom

Группа 211-2: 09.12 (четверг) с 14:30 Zoom

Группа 212-1: 07.12 (вторник) с 16:10 Zoom

Группа 212-2: 07.12 (вторник) с 17:40 Zoom

Группа 213-1: 09.12 (четверг) с 13:00 Zoom

Группа 213-2: 09.12 (четверг) с 16:00 Zoom

Группа 214-1: 07.12 (вторник) с 09:30 Zoom

Группа 214-2: 07.12 (вторник) с 11:00 Zoom

Группа 215-1: 08.12 (среда) с 11:00 Zoom

Группа 215-2: 08.12 (среда) с 12:30 Zoom

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

Основной поток

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

216 группа: 04.12 (суббота), 9:30-21:00

217 группа: 02.12 (четверг), 14:40-21:00

218 группа: 02.12 (четверг), 14:40-21:00

219 группа: 04.12 (суббота), 9:30-21:00

2110 группа: 30.11 (вторник), 14:40-21:00

2111 группа: 07.12 (вторник), 14:40-21:00

2112 группа: 09.12 (четверг), 14:40-21:00

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

Пилотный поток

Лекции: Владимир Подольский

Семинары: Никита Сергеевич Лукьяненко, Артем Максимович Максаев, Владимир Владимирович Подольский, Алексей Леонидович Таламбуца

Учебные ассистенты: Ибрагим Мусаевич Мамилов, Михаил Андреевич Горбунов, Максим Сергеевич Казадаев, Никита Сергеевич Звонков, Антон Александрович Андрущенко

Основной поток

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

Семинары: Михаил Николаевич Вялый, Наталья Сергеевна Доброхотова-Майкова, Никита Сергеевич Лукьяненко, Артем Максимович Максаев, Мария Михайловна Фоменко, Алина Эдуардовна Хузиева

Учебные ассистенты: Арсений Алексеевич Абрамов, Евгений Вячеславович Антрушин, Алия Габтельфартовна Зарипова, Анна Андреевна Богачева, Арсений Ильич Дегтяр, Артем Денисович Малько, Артём Владимирович Никитин, Алексей Михайлович Носов, Азамат Кемал

Распределение преподавателей и ассистентов по группам

Группа 211 212 213 214 215
Лектор Владимир Владимирович Подольский
Семинарист Алексей Леонидович Таламбуца Владимир Владимирович Подольский Никита Сергеевич Лукьяненко Артем Максимович Максаев Алексей Леонидович Таламбуца
Ассистент Ибрагим Мусаевич Мамилов Михаил Андреевич Горбунов Максим Сергеевич Казадаев Никита Сергеевич Звонков Антон Александрович Андрущенко
Группа 216 217 (online) 218 219 2110 2111 2112
Лектор Михаил Николаевич Вялый
Семинарист Артем Максимович Максаев Михаил Николаевич Вялый Никита Сергеевич Лукьяненко Алина Эдуардовна Хузиева Мария Михайловна Фоменко Наталья Сергеевна Доброхотова-Майкова Алина Эдуардовна Хузиева
Ассистент Алия Габтельфартовна Зарипова Артем Денисович Малько Евгений Вячеславович Антрушин, Азамат Кемал Арсений Алексеевич Абрамов Алексей Михайлович Носов Арсений Ильич Дегтяр Анна Андреевна Богачева

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

Пилотный поток

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

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

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

Экзамен — это письменная работа. На экзамене можно пользоваться материалами по курсу. В течение семестра можно получить бонусные баллы к экзамену. Для этого на занятиях будут выдаваться бонусные домашние задачи, которые не будут учитываться в оценке за домашнюю работу. Пусть n — общее число бонусных задач, а k — число решенных бонусных задач. Бонус к оценке промежуточного экзамена вычисляется по формуле max(0, 3 - (n-k)). Бонус к оценке итогового экзамена вычисляется по формуле min(3,max(0, 4 - (n-k))). Если оценка за экзамен после прибавления бонуса превышает 10, то за экзамен выставляется оценка 10.

Пересдача проводится по правилам экзамена. Комиссия проводится в устном формате без учета накопленной оценки.

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

Основной поток

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

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

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

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

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

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

Результаты

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

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

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

  • Оценки коллоквиумов и экзаменов (на листе "итог") по мере их появления.
  • Промежуточные и итоговые оценки за курс (имеют смысл после сдачи коллоквиумов и экзаменов).
211 группа 212 группа 213 группа 214 группа 215 группа 216 группа 217 группа 218 группа 219 группа 2110 группа 2111 группа 2112 группа


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


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


Для основного потока Листок пилотного потока

Доска лекции 1 Задачи 1

Занятие 1, пилотный поток
Доска лекции 2 Задачи 2

Занятие 2, пилотный поток

Основной поток: Доска лекции 3 Задачи 3

Занятие 3, пилотный поток

Основной поток: Доска лекции 4 Задачи 4

Занятие 4, пилотный поток

Основной поток Доска лекции 5Задачи 5

Занятие 5, пилотный поток

Основной поток Доска лекции 6Задачи 6

Занятие 6, пилотный поток

Основной поток Доска лекции 7Задачи 7

Занятие 7, пилотный поток

Основной поток Доска лекции 8Задачи 8

Занятие 8, пилотный поток

Основной поток Доска лекции 9Задачи 9

Занятие 9, пилотный поток

Основной поток Доска лекции 10Задачи 10

Занятие 10, пилотный поток

Основной поток Доска лекции 11Задачи 11

Занятие 11, пилотный поток

Основной поток Доска лекции 12Задачи 12

Занятие 12, пилотный поток

Основной поток Доска лекции 13Задачи 13

Занятие 13, пилотный поток

Основной поток Доска лекции 14Задачи 14

Занятие 14, пилотный поток

Основной поток Задачи 15

Занятие 15, пилотный поток

Основной поток Задачи 16

Занятие 16, пилотный поток

Основной поток Задачи 17

Занятие 17, пилотный поток

Основной поток Доска лекции 18 Задачи 18

Занятие 18, пилотный поток

Основной поток Задачи 19

Занятие 19, пилотный поток

Основной поток Задачи 20

Занятие 20, пилотный поток

Основной поток Задачи 21

Занятие 21, пилотный поток

Основной поток Задачи 22

Занятие 22, пилотный поток

Основной поток Задачи 23

Варианты зимних экзаменов прошлых лет

Варианты зимнего экзамена 2020-2021: Основной поток: задачи, решения, критерии проверки

Пилотный поток, Пилотный поток, решения

Варианты зимнего экзамена 2019-2020: Основной поток, Пилотный поток.

Решения: Пилотный поток.

Варианты зимнего экзамена 2018-2019: Основной поток, Пилотный поток.

Решения: Основной поток, Пилотный поток.

Варианты зимнего экзамена 2017-2018: Основной поток, Пилотный поток.


Решения: Основной поток, Пилотный поток.

Варианты зимнего экзамена 2016-2017: Пилотный поток.


Решения: Основной поток, Пилотный поток.

Варианты зимнего экзамена 2015-2016: Основной поток, Пилотный поток.


Решения: Пилотный поток.

Зимний экзамен 2014-2015: Вариант.