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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 147: Строка 147:
 
|| [https://www.dropbox.com/scl/fi/kwrocvi4xy3l3ipp2w219/cw03base23.pdf?rlkey=k9vuupy5ayhm13ojh8b73iwld&dl=0 Занятие 3 (pdf)] || [https://www.dropbox.com/scl/fi/l1o3iowg2vwpdxdzx86iv/cw03base23.tex?rlkey=r0psnmuy045wt6m5mdicyvfb0&dl=0 Занятие 3 (tex)]
 
|| [https://www.dropbox.com/scl/fi/kwrocvi4xy3l3ipp2w219/cw03base23.pdf?rlkey=k9vuupy5ayhm13ojh8b73iwld&dl=0 Занятие 3 (pdf)] || [https://www.dropbox.com/scl/fi/l1o3iowg2vwpdxdzx86iv/cw03base23.tex?rlkey=r0psnmuy045wt6m5mdicyvfb0&dl=0 Занятие 3 (tex)]
 
|| [https://www.dropbox.com/scl/fi/ns9czwjvrrvv6zrbi4c3b/cw04base23.pdf?rlkey=j07kbks3zhdv3kmfa1vzk01j3&dl=0 Занятие 4 (pdf)] || [https://www.dropbox.com/scl/fi/kklun0eerenekq2xeemzz/cw04base23.tex?rlkey=j27saswwfjqandckojlhtpio5&dl=0 Занятие 4 (tex)]
 
|| [https://www.dropbox.com/scl/fi/ns9czwjvrrvv6zrbi4c3b/cw04base23.pdf?rlkey=j07kbks3zhdv3kmfa1vzk01j3&dl=0 Занятие 4 (pdf)] || [https://www.dropbox.com/scl/fi/kklun0eerenekq2xeemzz/cw04base23.tex?rlkey=j27saswwfjqandckojlhtpio5&dl=0 Занятие 4 (tex)]
<!-- |-
+
|-
|| [https://www.dropbox.com/s/hf8dps4e75dburm/cw05base22.pdf?dl=0 Занятие 5 (pdf)] || [https://www.dropbox.com/s/y8na3439581l1pi/cw05base22.tex?dl=0 Занятие 5 (tex)]
+
|| [https://www.dropbox.com/scl/fi/qchsw8jj4ta8c6sp7i2ja/cw05base23.pdf?rlkey=d58os4as6zd5axlttcthrba25&dl=0 Занятие 5 (pdf)] || [https://www.dropbox.com/scl/fi/ex1et7ovjsvxgj5sjhcni/cw05base23.tex?rlkey=ynisj03tc9564y1ubza0y7vpf&dl=0 Занятие 5 (tex)]
|| [https://www.dropbox.com/s/2thak3isl3w2kvv/cw06base22.pdf?dl=0 Занятие 6 (pdf)] || [https://www.dropbox.com/s/m0s8r4gyfmzg14y/cw06base22.tex?dl=0 Занятие 6 (tex)]
+
<!-- || [https://www.dropbox.com/s/2thak3isl3w2kvv/cw06base22.pdf?dl=0 Занятие 6 (pdf)] || [https://www.dropbox.com/s/m0s8r4gyfmzg14y/cw06base22.tex?dl=0 Занятие 6 (tex)]
 
|| [https://www.dropbox.com/s/dhrm54z0zmkic1t/cw07base22.pdf?dl=0 Занятие 7 (pdf)] || [https://www.dropbox.com/s/oi2uw90cn5rk3i3/cw07base22.tex?dl=0 Занятие 7 (tex)]
 
|| [https://www.dropbox.com/s/dhrm54z0zmkic1t/cw07base22.pdf?dl=0 Занятие 7 (pdf)] || [https://www.dropbox.com/s/oi2uw90cn5rk3i3/cw07base22.tex?dl=0 Занятие 7 (tex)]
 
|| [https://www.dropbox.com/s/mza4tsrq6nqvg62/cw08base22.pdf?dl=0 Занятие 8 (pdf)] || [https://www.dropbox.com/s/ieim0hixip26t7t/cw08base22.tex?dl=0 Занятие 8 (tex)]
 
|| [https://www.dropbox.com/s/mza4tsrq6nqvg62/cw08base22.pdf?dl=0 Занятие 8 (pdf)] || [https://www.dropbox.com/s/ieim0hixip26t7t/cw08base22.tex?dl=0 Занятие 8 (tex)]

Версия 20:09, 2 октября 2023

ОБЪЯВЛЕНИЯ

27.09.23 Обратите внимание, что дропбокс совершенно зря предлагает сохранять файлы, на которые вы переходите по ссылке, в дропбоксе. У вас не будет даже права посмотреть этот файл. Сохраняйте на локальный диск, они пока не додумались запретить это :)

27.09.23 Задача Д3.4 снимается из-за некорректного условия (предлагается доказать ложное утверждение). Оценка за ДЗ-3 будет выставляться по остальным трём задачам.


20.09.23 В задаче Д3.4 опечатка. Вместо h нужно читать f.

09.09.23 Ссылка на файл, в котором писали на консультации. LINK

09.09.23 Начата работа адаптационного факультатива по курсу дискретной математики (онлайн-группа). Занятия по четвергам, 18:10, ссылка для входа. Ведет факультатив Никита Сергеевич Лукьяненко. Вопросы можно задавать в чате группы.

07.09.23 В субботу, 9 сентября, в 19:40 состоится онлайн-консультация по Latex, запись её будет вестись. Ссылка для подключения: LINK

06.09.23 По неясным причинам у части студентов сложилось мнение, что на лекции 05.09 был объявлен запрет на использование 0 и 1 как логических значений. На всякий случай, уточняю, что такого запрета не было и использование 0 как лжи и 1 как истины вполне возможно. Что касается использования черты над высказыванием для обозначения отрицания, то делать это не рекомендуется во избежание путаницы с операцией дополнения к множеству. Но даже в этом случае корректное использование такого обозначения ненаказуемо.

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

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

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

Семинары:

Группа Преподаватель Учебный(-е) ассистент(-ы)
236 Михаил Николаевич Вялый Эрик Эдуардович Яппаров
237 Алина Эдуардовна Хузиева Екатерина Васильевна Михнёнок
238 Михаил Валерьевич Валинкин Айнур Мулланурович Низамов
239 Лиза Шатская Иван Алексеевич Коровин
2310 Анастасия Ильинична Чистопольская Никита Витальевич Лагода
2311 Никита Сергеевич Мануйленко Даниил Максимович Смирнов
2312 Анна Тиграновна Енгоян Лейла Александровна Мурсманидзе
онлайн-группа Никита Сергеевич Лукьяненко Александра Игоревна Ульянова

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

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

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

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

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

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

Письменные контрольные работы по проверке теоретических знаний

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

Оценки за контрольные TK1 и ТК2 выставляются в 10-балльной шкале.

Экзамены

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

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

Пересдачи

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

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

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

Если оценка за письменный экзамен не больше 5, то результат экзамена в итоговой оценке не учитывается

оценка промежуточной аттестации = 0.25 * ДЗ1 + 0.55* ТК1

Если оценка за письменный экзамен больше 5, то

оценка промежуточной аттестации = 0.25 * ДЗ1 + 0.55* ТК1 + 0.2* Экз1

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

Окончательная оценка по курсу. Формула оценки зависит от результата письменного экзамена 3 модуля.

Если оценка за письменный экзамен не больше 5, то результат экзамена в итоговой оценке не учитывается

Оценка за курс= 0.2*Оценка промежуточной аттестации 2 модуля + 0.2* ДЗ2 + 0.4 * ТК2

Если оценка за письменный экзамен больше 5, то

Оценка за курс = 0.2*Оценка промежуточной аттестации 2 модуля + 0.2* ДЗ2 + 0.4 * ТК2+ 0.2*Экз2

Правило округления

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


Результаты

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

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

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

  • Оценки за теоретические контрольные и экзамены по мере их появления.
  • Промежуточные и итоговые оценки за курс (имеют смысл после сдачи теоретических контрольных и экзаменов).
236 группа ПМИ 237 группа ПМИ 238 группа ПМИ 239 группа ПМИ 2310 группа ПМИ 2311 группа ПМИ 2312 группа ПМИ online группа ПМИ

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


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

По ссылке "Занятие <номер занятия> (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)


Литература

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