Wiki - Факультет компьютерных наук - Вклад [ru]

Дискретная математика 2024-2025

2024-09-16T14:08:37Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| [https://t.me/t1som А. В. Никитина] Ср 9:30
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 9:30
|| [https://t.me/good_michael М. А. Хрыстик] Вт 11:10
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| [https://t.me/TurtlePU П. П. Соколов] Чт 11:10
|| [https://t.me/good_michael М. А. Хрыстик] Чт 14:40
|| [https://t.me/medvednikita Н. Ю. Медведь] Пн 11:10
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 11:10
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| [https://t.me/amirovagil А. Амиров]
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| [https://t.me/Cratone Д. Стадник]
|| [https://t.me/abacaba01 А. Акулов]
|| [https://t.me/iamfarmer2 А. Щуплова]
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| [https://t.me/artyy_l В. Чапурина]
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[https://docs.google.com/spreadsheets/d/1ncEYi2z2tBIpAG3RbOeNsCANpskHaH1SOEmkSfW353A/edit?usp=drive_link Общая таблица].

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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

{| class="wikitable"
|-
! Задание !! colspan="12" | Срок сдачи в группе
|-
| || 241 || 242 || 243 || 244 || 245 || 246 || 247 || 248 || 249 || 2410
|-
| [https://drive.google.com/file/d/1MBgx-j_J_P1X85FYNqrhkim5n1Jd1S0Q/view?usp=drive_link ДЗ 1а ] || 22.09 || || || 22.09 || || || || || 22.09 || 22.09
|}


'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-15T18:19:00Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 9:30
|| [https://t.me/good_michael М. А. Хрыстик] Вт 11:10
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| [https://t.me/TurtlePU П. П. Соколов] Чт 11:10
|| [https://t.me/good_michael М. А. Хрыстик] Чт 14:40
|| [https://t.me/medvednikita Н. Ю. Медведь] Пн 11:10
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 11:10
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| [https://t.me/amirovagil А. Амиров]
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| [https://t.me/Cratone Д. Стадник]
|| [https://t.me/abacaba01 А. Акулов]
|| [https://t.me/iamfarmer2 А. Щуплова]
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| [https://t.me/artyy_l В. Чапурина]
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[https://docs.google.com/spreadsheets/d/1ncEYi2z2tBIpAG3RbOeNsCANpskHaH1SOEmkSfW353A/edit?usp=drive_link Общая таблица].

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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

{| class="wikitable"
|-
! Задание !! colspan="12" | Срок сдачи в группе
|-
| || 241 || 242 || 243 || 244 || 245 || 246 || 247 || 248 || 249 || 2410
|-
| [https://drive.google.com/file/d/1MBgx-j_J_P1X85FYNqrhkim5n1Jd1S0Q/view?usp=drive_link ДЗ 1а ] || 22.09 || || || || || || || || ||
|}


'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-10T17:45:59Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 9:30
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н. Ю. Медведь] Пн 11:10
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 11:10
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| [https://t.me/amirovagil А. Амиров]
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| [https://t.me/Cratone Д. Стадник]
|| [https://t.me/abacaba01 А. Акулов]
|| [https://t.me/iamfarmer2 А. Щуплова]
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| [https://t.me/artyy_l В. Чапурина]
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-09T09:55:55Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 9:30
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н. Ю. Медведь] Пн 11:10
|| [https://t.me/alexandrzaitsev_1 А. В. Зайцев] Пн 11:10
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| [https://t.me/amirovagil А. Амиров]
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| [https://t.me/Cratone Д. Стадник]
|| [https://t.me/abacaba01 А. Акулов]
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| [https://t.me/artyy_l В. Чапурина]
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T19:18:13Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| []
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н. Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| [https://t.me/Cratone Д. Стадник]
|| [https://t.me/abacaba01 А. Акулов]
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| [https://t.me/artyy_l В. Чапурина]
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T18:53:02Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| []
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н.Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| [https://t.me/Cratone Д. Стадник]
|| [https://t.me/abacaba01 А. Акулов]
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T18:50:03Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| []
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н.Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| []
|| [https://t.me/abacaba01 А. Акулов]
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T14:18:00Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| []
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н.Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| []
|| []
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| [https://t.me/djkoshka А. Замотаева]
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T14:05:32Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 13:00
|| []
|| []
|| [https://t.me/VVKikteva В. В. Киктева] Ср 11:10
|| []
|| []
|| [https://t.me/medvednikita Н.Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| []
|| []
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| []
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T13:32:50Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| []
|| []
|| []
|| []
|| []
|| []
|| [https://t.me/medvednikita Н.Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| [https://t.me/gerkkkkk Д. Поляков]
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| []
|| []
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| []
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2024-2025

2024-09-08T13:25:20Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" программы ПИ читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, производящие функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 241 !! 242 !! 243 !! 244 !! 245 !! 246 !! 247 !! 248 !! 249 !! 2410
|-
|| '''Лектор'''
| colspan="16" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е. В. Дашков] Чт 14:40
|| []
|| []
|| []
|| []
|| []
|| []
|| []
|| [https://t.me/medvednikita Н.Ю. Медведь] Пн 11:10
|| []
|-
| '''Ассистенты'''
|| [https://t.me/bashmachyo Г. Альберштейн]
|| []
|| []
|| [https://t.me/Artem_Sevidov_1003 А. Севидов]
|| []
|| []
|| []
|| [https://t.me/babushkin05 В. Бабушкин]
|| []
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/sasatasas А. Бывальцева]

=== К кому обратиться? ===

По вопросам, касающимся содержательной стороны курса, лучше всего писать в [https://t.me/joinchat/U3mg-j0ibdH6SxJa общий чат] студентов в Телеграме, но можно также (например, когда вопрос содержит важное соображение по решению домашней задачи) написать лично ассистенту, преподавателю своей группы или лектору. В отношении математики лучше спросить и узнать, чем не спрашивать и остаться в неведении. '''Не стесняйтесь!'''

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

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

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

== Текущая успеваемость ==

[Общая таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]


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

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



'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

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

== Контрольные работы ==

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

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

=== Группа для объявлений, вопросов и обсуждений по курсу ===

[https://t.me/joinchat/U3mg-j0ibdH6SxJa Обязательно вступайте!]

=== Материалы лектора ===

* [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

* [https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]

* [https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и [https://t.me/sigma_algebraa присоединяйтесть] к ней сами!)

* [https://drive.google.com/file/d/1rtKeAnBgLzSsakwIdXRAXlFao5-3AeGj/view?usp=drive_link Пособие по теории множеств]

* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)

* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)

* [https://meet.edashkov.net.ru Сервер лектора для удаленного общения] (включается по потребности)



=== Прочие материалы ===

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* Записи семинаров 2310 группы: [https://disk.yandex.ru/d/ZQp-YD2czOEDBA осень], [https://disk.yandex.ru/d/et2VcuNcLdBdXw весна].

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

* [https://youtu.be/i7ubi4y-uxA Запись с доказательствами важных теорем арифметики производящих функций]

== Аттестация и оценки ==

=== Осенний семестр ===

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

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

ДЗ2 = 8 * обыкн + 2 * сложн, где

обыкн = #(баллов, полученных студентом за все обыкновенные задачи) / #(обыкновенных задач в домашнем задании),

сложн = #(баллов, полученных студентом за все задачи повышенной сложности) / #(задач повышенной сложности в домашнем задании).

За каждую задачу контрольной работы ставится оценка от 0 до 1 балла (дробное значение) в зависимости от правильности и полноты представленного студентом решения. За i-ю контрольную работу выставляется оценка КРi, (без округления) равная значению

КРi = 10 * #(баллов, полученных студентом за все задачи) / #(задач в контрольной работе).

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 0,35 * КР1 + 0,35 * КР2 + 0,3 * ДЗ2,

НК2 = ОКРУГЛ (НК2').

(Здесь и всюду ОКРУГЛение производится по обычным арифметическим правилам.)

Если НК2 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК2 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК2 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э2, оцениваемое так:

Э2 = 10 * #(баллов, полученных студентом за все задачи) / #(задач в экзаменационной работе),

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

В этом случае промежуточная оценка за осенний семестр равна

ОСЕНЬ = ОКРУГЛ (0,7 * Э2 + 0,3 * НК2').

=== Весенний семестр ===

В четвертом модуле производятся промежуточная аттестация за весенний семестр, а также итоговая аттестация. В весеннем семестре проводятся две письменные контрольные работы (КР3 и
КР4); выдается и проверяется письменное домашнее задание (ДЗ4). В оценку ДЗ4 входят домашние задания, сдаваемые в третьем и четвертом модулях.

Оценки за домашние задания, контрольные и экзаменационные работы выставляются так же, как и в осеннем семестре.

Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 0,35 * КР3 + 0,35 * КР4 + 0,3 * ДЗ4

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то студент имеет право "АВТОМАТОМ" получить оценку НК4 в качестве оценки промежуточной аттестации. По умолчанию мы предполагаем, что студент пользуется этим правом. Иначе студент должен заявить об отказе от "автомата". В случае если НК4 < 4 или студент отказывается от "автомата", студенту предлагается выполнить экзаменационное задание Э4. В этом случае промежуточная оценка за весенний семестр равна

ВЕСНА = ОКРУГЛ (0,7 * Э4 + 0,3 * НК4').

Итоговой оценкой по дисциплине является оценка ВЕСНА.

=== Пропуск контрольных работ по болезни ===

В случае пропуска одной контрольной работы КРi в семестре по уважительной причине (подтвержденной учебным офисом), студент имеет право прийти на экзамен и зачесть полученную там оценку Эj за оценку КРi в формуле НКj. О намерении воспользоваться таким правом следует заранее сообщить ассистенту лектора. Если при этом окажется HKj >= 4, применяются правила об "автомате". В противном случае считается, что студент писал экзамен, и расчет промежуточной оценки производится соответственно, причем в НКj значение КРi принимается равным нулю. Если обе контрольные работы в семестре пропущены по уважительной причине, вопрос решается в индивидуальном порядке. Также в индивидуальном порядке пропустившим по уважительной причине может быть разрешено писать контрольную работу в пределах краткого времени после того, как ее напишут большинство студентов.

== Пересдачи ==

В случае получения неудовлетворительных (т.е. < 4) оценок промежуточной аттестации ОСЕНЬ или ВЕСНА, студент отправляется на пересдачу. Эти оценки пересдаются отдельно --- в начале весеннего семестра и осенью следующего учебного года соответственно. При пересдаче применяются правила ПОПАТКУС. Согласно оным, при пересдаче каждой оценки студент имеет право на ПЕРВУЮ пересдачу, проводимую по всем правилам экзамена и выражающуюся в том, что ее результат заменяет собой оценку Эi в аттестационной формуле (т.е. накопленная НКi, по-прежнему, учитывается!). Если при этом опять получилась неудовлетворительная оценка, студент может выбрать ВТОРУЮ пересдачу, аналогичную ПЕРВОЙ (вновь с учетом того же значения НКi в аттестационной формуле!), или повторно изучить курс (вероятно, на платной основе), в ходе чего можно будет получить новую оценку НКi. При этом, однако, права на пересдачу уже не остается: нужно будет получить автомат или сдать экзамен по общим правилам с первой попытки.

== Литература ==

По вопросу подбора и, быть может, отыскания литературы можно обращаться не только в библиотеку, но и к лектору.

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2022-2023

2023-06-06T20:12:46Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, булевы функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 221 !! 222 !! 223 !! 224 !! 225 !! 226 !! 227 !! 228 !! 229 !! 2210
|-
|| '''Лектор'''
| colspan="15" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е.В. Дашков]
|| [https://t.me/vaulty Н.С. Лукьяненко]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/azapryagaev А.А. Запрягаев]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/dshvarts Д.А. Шварц]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/medvednikita Н.Ю. Медведь]
|| [https://t.me/dshvarts Д.А. Шварц]
|| [https://t.me/atomochek А.Э. Хузиева]
|-
| '''Ассистенты'''
|| [https://t.me/sasatasas Анна Бывальцева]
|| [https://t.me/yo_pierre Егор Аношин]
|| [https://t.me/tasyaglk Таисия Галкина]
|| [https://t.me/happiestflowery Елизавета Чекалина]
|| [https://t.me/andrejjjjj Андрей Варёнов]
|| [https://t.me/AndreyChizhov73 Андрей Чижов]
|| [https://t.me/e_liza_veta_o Елизавета Осипова]
|| [https://t.me/Shamonaft Шамиль Зиганшин]
|| [https://t.me/nktrtmv Никита Артёмов]
|| [https://t.me/vladvslv Влад Васильев]
|-
|}
'''Ассистент лектора:''' [https://t.me/im5timemajorwinner Николай Архипов].

== Текущая успеваемость ==

[https://docs.google.com/spreadsheets/d/11N0q0SQzDkBfNwKeIe_468pqDblWNRFgpgDAz072brc/edit?usp=sharing Таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]

* [https://drive.google.com/file/d/1jHm9GSAlLz-vhs6yDZM4MBZ5xm0dTgSk/view?usp=sharing Листок 2]

* [https://drive.google.com/file/d/1DyXwHak6eYG3OIk2_fhwhCeouHXJSD0g/view?usp=sharing Листок 3]

* [https://drive.google.com/file/d/1Qu1_GTbkUk4wXS2ZTOzI_LxqjIq38rPO/view?usp=sharing Листок 4]

* [https://drive.google.com/file/d/1vCcv09JTfWEqKF44VDqAarpgTEh64BZq/view?usp=sharing Листок 5]

* [https://drive.google.com/file/d/1RRMfxKqPI0aeRPL8vrTafrVQsXh6Fgaj/view?usp=sharing Листок 6]

* [https://drive.google.com/file/d/1g_JOH2C5W1JFtWjsWWqP0M91CP3rNn2Y/view?usp=sharing Листок 7]

* [https://drive.google.com/file/d/1o9JLaCS4Md9qpOqtSVA0IrZGX54_H0AW/view?usp=sharing Листок 8]

* [https://drive.google.com/file/d/1LOvCzvy26LvMJmItyBTet5K4ge0-R4op/view?usp=sharing Листок 9]

* [https://drive.google.com/file/d/1_eeOvZ4nfF3MN1N9JNisD9th9f4Ncpjl/view?usp=share_link Листок 10]

* [https://drive.google.com/file/d/1BE6frUTfQfdOF4wXgQApWxCLDdLIgha_/view?usp=sharing Листок 11]

* [https://drive.google.com/file/d/1quTya5nBVmx82Rx_YTR5CFob1Rv4ki6n/view?usp=share_link Листок 12]

* [Листок 13]

* [Листок 14]

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

{| class="wikitable"
|-
! Задание !! colspan="11" | Срок сдачи в группе
|-
| || 221 || 222 || 223 || 224 || 225 || 226 || 227 || 228 || 229 || 2110
|-
| [https://drive.google.com/file/d/1jaz9wgtj4xjmYLtYthp9Eid6NYgzc_7V/view?usp=sharing ДЗ 1] || 30.09 || || || 30.09 23:59 МСК || || 5.10 23:59 МСК || 01.10 23:59 МСК || ||5.10 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1MM-cW-v7GPZ4V9XGzLP7YFAJcbriipnW/view?usp=sharing ДЗ 2а] || 05.11 || || || 14.10 23:59 МСК || ||20.10 23:59 МСК || 29.10 23:59 МСК || 23.10 23:59 МСК ||20.10 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1BJ3GYA9t4DMSPshVYpX0FDsT3F17mdgf/view?usp=share_link ДЗ 2б] || 04.12 || || || 03.12 23:59 МСК || ||7.12 23:59 МСК || 10.12 23:59 МСК || 04.12 23:59 МСК ||7.12 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1CI6IdobWxjko4zaeGLdx5fSY4hZIKQJi/view?usp=share_link ДЗ 3a] || 13.01 || || || 13.01 23:59 МСК || ||18.01 23:59 МСК || 13.01 23:59 МСК || 13.01 23:59 МСК ||18.01 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1C7WC1m5OJmiaG_j6MmA_3PA2Zl9OLGxW/view?usp=share_link ДЗ 3б] || 27.01 || || || 29.01 23:59 МСК || ||01.02 23:59 МСК || 29.01 23:59 МСК || 03.02 23:59 МСК || 01.02 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1AUJXU09YUm0TihwyP8WynaFVP5xv9Ca6/view?usp=sharing ДЗ 4] || 19.02 || || || 19.02 23:59 МСК || ||26.02 23:59 МСК || 04.03 23:59 МСК || 26.02 23:59 МСК ||26.02 23:59 МСК ||
|-
| [https://drive.google.com/file/d/13R8sYt8UmvO-MM5ju3W1NF-JekVJcePg/view?usp=share_link ДЗ 5] || 26.03 || || || 21.03 23:59 МСК || ||26.03 23:59 МСК || || 03.04 23:59 МСК || 26.03 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1rFbY-epbp0-FwJhz_sguHr3WA8V3l0Nh/view?usp=share_link ДЗ 6] || 02.05 || || || || ||11.05 23:59 МСК || || 10.05 ||11.05 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1jOTpcGxMMJ6lEsGv6m2F3Xpz9vOyWQZX/view?usp=share_link ДЗ 7] || 28.05 || || || || ||24.05 23:59 МСК || || 04.06 || 24.05 23:59 МСК||
|-
| [https://drive.google.com/file/d/1s6eNwQwNTH96mMjwJhLR-6ABrau87_4f/view?usp=drive_link ДЗ 8] || 16.06 || || || || || || || || ||

|}

'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

== Контрольные работы ==

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

=== Группа для любых вопросов по курсу ===
[https://t.me/joinchat/U3mg-j0ibdH6SxJa Вступайте!]

=== Материалы лектора ===

[https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

=== Записи лекций этого года ===

====I-II модули====

{| class="wikitable"
|-
! № лекции
! [https://disk.yandex.ru/i/3BeCoDYP0HWbtg Лекция 1]
! [https://disk.yandex.ru/i/ngnrReg7Fi6MCg Лекция 2]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/ПИ_Дискретная%20математика_лекция%2023.09.mp4 Лекция 3]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/ПИ_Дискретная%20математика_лекция%2030.09.mp4 Лекция 4]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/ПИ_Дискретная%20математика_лекция%2007.10.mp4 Лекция 5]
! [https://disk.yandex.ru/i/52bimJ2EfAbS2A Лекция 6]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/лекция%202022-10-21T13-04-39Z.mp4 Лекция 7]
! [https://www.youtube.com/watch?v=4dDcKYUW4JI Лекция 8]
! [https://www.youtube.com/watch?v=nDnWS2i-O_4 Лекция 9]
! [https://disk.yandex.ru/i/Bu0aX5TcmT4rpA Лекция 10]
! [https://disk.yandex.ru/d/BASmRdFECrZ7cQ Лекция 11]
! [https://disk.yandex.ru/i/uL04hGCjUJWy6w Лекция 12]
! [https://disk.yandex.ru/i/3r6Xfz0dcKEECg Лекция 13]
! [https://disk.yandex.ru/i/JRX_SyRDOvNjHw Лекция 14]
|-
|}

====III-IV модули====
{| class="wikitable"
|-
! № лекции
! [https://disk.yandex.ru/i/tlKGSGaHkdzFXQ Лекция 15]
! [https://www.youtube.com/watch?v=clhDm5Lxpu4&feature=youtu.be Продолжение лекции 15]
! [https://disk.yandex.ru/i/iZr_d_ad29gdVA Лекция 16]
![https://disk.yandex.ru/i/a7gXm-4Z_dgntw Продолжение лекции 16]
![https://disk.yandex.ru/i/NFadXP6r1s8S4Q Лекция 17]
![https://disk.yandex.ru/i/iOQ7WvlinLXQeQ Лекция 18]
![https://disk.yandex.ru/i/0OvZ3xe022v6Vg Лекция 20]
![https://www.youtube.com/watch?v=CiWW2bJrCAY Лекция 21]
![https://disk.yandex.ru/i/9yFp0K_8-_zsjg Лекция 22]
![https://disk.yandex.ru/i/XbT_9XNsFh_B2Q Лекция 23]
![https://disk.yandex.ru/i/m03Uqtusl1KggQ Лекция 24]
![https://youtu.be/OFVeWy1KLsI Лекция 25]
![https://disk.yandex.ru/i/H2KabxgkYbgtBg Лекция 26]
![https://disk.yandex.ru/i/KnI6Bf9qd9Tn1g Лекция 27]
![https://disk.yandex.ru/i/Q47r4DK_HnMGqQ Лекция 28]
![https://disk.yandex.ru/i/MBcGSVV7qVfqYQ Лекция 29]
![https://disk.yandex.ru/i/CKUyV8VP_dBI1w Лекция 30]
![https://disk.yandex.ru/i/uHLvsL8teYp9BA Лекция 31]
|-
|}

=== Записи семинара этого года ===

====I-II модули====

{| class="wikitable"
|-
! Семинар
! [https://youtu.be/yR6WwjdTw30 Малая теорема Ферма, теоремы Эйлера и Вильсона]
|-
|}

=== Видеозаписи прошлых лет ===

====I-II модули====

{| class="wikitable"
|-
! № лекции
! [https://www.youtube.com/watch?v=FWLvOnIftG8 Лекция 1]
! [https://www.youtube.com/watch?v=bq5rhBgk82g Лекция 2]
! [https://www.youtube.com/watch?v=MsYKW45SINQ Лекция 3]
! [https://www.youtube.com/watch?v=sViP48e02-M Лекция 4]
! [https://youtu.be/Qk1hCce_gpI Лекция 5]
! [https://www.youtube.com/watch?v=jI2CrmORkVQ Лекция 6]
! [https://www.youtube.com/watch?v=Jtt5W-PXFhU Лекция 7]
! [https://youtu.be/xGC5PLUd0w0 Лекция 8]
! [https://youtu.be/qejReOs2i50 Лекция 9]
! [https://youtu.be/8-AlOnpwnNU Лекция 10]
! [https://youtu.be/Dgx-b0qbS6M Лекция 11]
! [https://youtu.be/R4h-1VjqRJQ Лекция 12]
![https://youtu.be/tqFhUosSqlI Лекция 13]
![https://youtu.be/vK1fwVeL8GY Лекция 14]
|-
|}

====III - IV модули====

{| class="wikitable"
|-
! № лекции
! [https://youtu.be/AfxivsZNQHU Лекция 1]
! [https://youtu.be/LfzU-hB2ajA Лекция 2]
! [https://youtu.be/bYoeDNCtRbU Лекция 3]
! [https://www.youtube.com/watch?v=TPJIcb-SNoo Лекция 4]
! [https://youtu.be/z-QVpchv4qs Лекция 5]
! [https://www.youtube.com/watch?v=0dc7HIY62Mw Лекция 6]
! [https://youtu.be/boBBnbliYOo Лекция 7]
! [https://youtu.be/NBwWw78s-jA Лекция 8]
! [https://youtu.be/bbyeVILR_uY Лекция 9]
! [https://youtu.be/fNKeMYFmNf8 Лекция 10]
! [https://youtu.be/VrmJkBupTno Лекция 11]
! [https://youtu.be/A3nlQPBIbbw Лекция 12]
! [https://youtu.be/9LJaEN20i_s Лекция 13]
|-
|}

====Доп.лекции====

{| class="wikitable"
|-
! № Лекции
! [https://vk.com/video458107800_456239060 Доп.лекция-1]
|-
|}

=== Прочие материалы ===

* [https://disk.yandex.ru/d/yP8kB2HWLvrjlg Записи лекций прошлых лет (Яндекс.Диск)]

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

== Аттестация и оценки ==

Во 2-ом модуле производится промежуточная аттестация за
осенний семестр. В осеннем семестре проводятся две письменные контрольные работы (КР1 и
КР2); выдается и проверяется письменное домашнее задание (ДЗ2).

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

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

Накопленная оценка НК2 за осенний семестр вычисляется по
формулам:

НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)

НК2 = ОКРУГЛ (НК2').

Здесь и далее ОКРУГЛение производится по обычным правилам, но полуцелые
числа округляются вверх.
Если НК2 >= 4, то промежуточная оценка за осенний семестр Э2 =
НК2. Если НК2 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое
контрольное задание ИК2, оцениваемое по десятибалльной системе. В этом
случае промежуточная оценка за осенний семестр

Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').

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

Промежуточная аттестация (4 модуль) :
В весеннем семестре проводятся две контрольные работы (КР3 и КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки
выставляются так же, как и в осеннем семестре. Накопленная оценка НК4 за весенний семестр вычисляется по
формулам:

НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то итоговая оценка за весенний семестр Э4 = НК4.
Если НК4 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое
контрольное задание ИК4, оцениваемое по десятибалльной системе. В этом
случае итоговая оценка за весенний семестр

Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').

Результирующей оценкой по дисциплине является оценка Э4.

== Литература ==

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2022-2023

2023-02-08T21:11:10Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, булевы функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 221 !! 222 !! 223 !! 224 !! 225 !! 226 !! 227 !! 228 !! 229 !! 2210
|-
|| '''Лектор'''
| colspan="15" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е.В. Дашков]
|| [https://t.me/vaulty Н.С. Лукьяненко]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/azapryagaev А.А. Запрягаев]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/dshvarts Д.А. Шварц]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/medvednikita Н.Ю. Медведь]
|| [https://t.me/dshvarts Д.А. Шварц]
|| [https://t.me/atomochek А.Э. Хузиева]
|-
| '''Ассистенты'''
|| [https://t.me/sasatasas Анна Бывальцева]
|| [https://t.me/yo_pierre Егор Аношин]
|| [https://t.me/tasyaglk Таисия Галкина]
|| [https://t.me/happiestflowery Елизавета Чекалина]
|| [https://t.me/andrejjjjj Андрей Варёнов]
|| [https://t.me/AndreyChizhov73 Андрей Чижов]
|| [https://t.me/e_liza_veta_o Елизавета Осипова]
|| [https://t.me/Shamonaft Шамиль Зиганшин]
|| [https://t.me/nktrtmv Никита Артёмов]
|| [https://t.me/vladvslv Влад Васильев]
|-
|}
'''Ассистент лектора:''' [https://t.me/im5timemajorwinner Николай Архипов].

== Текущая успеваемость ==

[https://docs.google.com/spreadsheets/d/11N0q0SQzDkBfNwKeIe_468pqDblWNRFgpgDAz072brc/edit?usp=sharing Таблица]

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]

* [https://drive.google.com/file/d/1jHm9GSAlLz-vhs6yDZM4MBZ5xm0dTgSk/view?usp=sharing Листок 2]

* [https://drive.google.com/file/d/1DyXwHak6eYG3OIk2_fhwhCeouHXJSD0g/view?usp=sharing Листок 3]

* [https://drive.google.com/file/d/1Qu1_GTbkUk4wXS2ZTOzI_LxqjIq38rPO/view?usp=sharing Листок 4]

* [https://drive.google.com/file/d/1vCcv09JTfWEqKF44VDqAarpgTEh64BZq/view?usp=sharing Листок 5]

* [https://drive.google.com/file/d/1RRMfxKqPI0aeRPL8vrTafrVQsXh6Fgaj/view?usp=sharing Листок 6]

* [https://drive.google.com/file/d/1g_JOH2C5W1JFtWjsWWqP0M91CP3rNn2Y/view?usp=sharing Листок 7]

* [https://drive.google.com/file/d/1o9JLaCS4Md9qpOqtSVA0IrZGX54_H0AW/view?usp=sharing Листок 8]

* [https://drive.google.com/file/d/1LOvCzvy26LvMJmItyBTet5K4ge0-R4op/view?usp=sharing Листок 9]

* [https://drive.google.com/file/d/1BE6frUTfQfdOF4wXgQApWxCLDdLIgha_/view?usp=sharing Листок 11]

* [https://drive.google.com/file/d/16LwYrrCF62npB7o01plp_8gWRBDprEH4/view?usp=sharing Листок 12]

* [https://drive.google.com/file/d/1PgDZSqT4XKRtAj1ye4VmtZuQS1tTghUm/view?usp=sharing Листок 13]

* [https://drive.google.com/file/d/1If8HjfEQgBInD_g1G8RAMpqeECt6rXmd/view?usp=sharing Листок 14]

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

{| class="wikitable"
|-
! Задание !! colspan="11" | Срок сдачи в группе
|-
| || 221 || 222 || 223 || 224 || 225 || 226 || 227 || 228 || 229 || 2110
|-
| [https://drive.google.com/file/d/1jaz9wgtj4xjmYLtYthp9Eid6NYgzc_7V/view?usp=sharing ДЗ 1] || 30.09 || || || 30.09 23:59 МСК || || 5.10 23:59 МСК || 01.10 23:59 МСК || ||5.10 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1MM-cW-v7GPZ4V9XGzLP7YFAJcbriipnW/view?usp=sharing ДЗ 2а] || 05.11 || || || 14.10 23:59 МСК || ||20.10 23:59 МСК || 29.10 23:59 МСК || 23.10 23:59 МСК ||20.10 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1BJ3GYA9t4DMSPshVYpX0FDsT3F17mdgf/view?usp=share_link ДЗ 2b] || 04.12 || || || 03.12 23:59 МСК || ||7.12 23:59 МСК || 10.12 23:59 МСК || 04.12 23:59 МСК ||7.12 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1CI6IdobWxjko4zaeGLdx5fSY4hZIKQJi/view?usp=share_link ДЗ 3a] || 13.01 || || || 13.01 23:59 МСК || ||18.01 23:59 МСК || 13.01 23:59 МСК || 13.01 23:59 МСК ||18.01 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1C7WC1m5OJmiaG_j6MmA_3PA2Zl9OLGxW/view?usp=share_link ДЗ 3б] || 27.01 || || || 29.01 23:59 МСК || ||01.02 23:59 МСК || || 03.02 23:59 МСК || 01.02 23:59 МСК ||
|-
| [https://drive.google.com/file/d/1AUJXU09YUm0TihwyP8WynaFVP5xv9Ca6/view?usp=sharing ДЗ 4] || 19.02 || || || 12.02 23:59 МСК || || || || || ||
|}

'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

== Контрольные работы ==

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

=== Группа для любых вопросов по курсу ===
[https://t.me/joinchat/U3mg-j0ibdH6SxJa Вступайте!]

=== Материалы лектора ===

[https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

=== Записи лекций этого года ===

====I-II модули====

{| class="wikitable"
|-
! № лекции
! [https://disk.yandex.ru/i/3BeCoDYP0HWbtg Лекция 1]
! [https://disk.yandex.ru/i/ngnrReg7Fi6MCg Лекция 2]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/ПИ_Дискретная%20математика_лекция%2023.09.mp4 Лекция 3]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/ПИ_Дискретная%20математика_лекция%2030.09.mp4 Лекция 4]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/ПИ_Дискретная%20математика_лекция%2007.10.mp4 Лекция 5]
! [https://disk.yandex.ru/i/52bimJ2EfAbS2A Лекция 6]
! [https://disk.yandex.ru/d/Bq9fq_7bM-9noQ/лекция%202022-10-21T13-04-39Z.mp4 Лекция 7]
! [https://www.youtube.com/watch?v=4dDcKYUW4JI Лекция 8]
! [https://www.youtube.com/watch?v=nDnWS2i-O_4 Лекция 9]
! [https://disk.yandex.ru/i/Bu0aX5TcmT4rpA Лекция 10]
! [https://disk.yandex.ru/d/BASmRdFECrZ7cQ Лекция 11]
! [https://disk.yandex.ru/i/uL04hGCjUJWy6w Лекция 12]
! [https://disk.yandex.ru/i/3r6Xfz0dcKEECg Лекция 13]
! [https://disk.yandex.ru/i/JRX_SyRDOvNjHw Лекция 14]
|-
|}

====III-IV модули====
{| class="wikitable"
|-
! № лекции
! [https://disk.yandex.ru/i/tlKGSGaHkdzFXQ Лекция 15]
! [https://www.youtube.com/watch?v=clhDm5Lxpu4&feature=youtu.be Продолжение лекции 15]
! [https://disk.yandex.ru/i/iZr_d_ad29gdVA Лекция 16]
![https://disk.yandex.ru/i/a7gXm-4Z_dgntw Продолжение лекции 16]
![https://disk.yandex.ru/i/NFadXP6r1s8S4Q Лекция 17]
![https://disk.yandex.ru/i/iOQ7WvlinLXQeQ Лекция 18]
|-
|}

=== Записи семинара этого года ===

====I-II модули====

{| class="wikitable"
|-
! Семинар
! [https://youtu.be/yR6WwjdTw30 Малая теорема Ферма, теоремы Эйлера и Вильсона]
|-
|}

=== Видеозаписи прошлых лет ===

====I-II модули====

{| class="wikitable"
|-
! № лекции
! [https://www.youtube.com/watch?v=FWLvOnIftG8 Лекция 1]
! [https://www.youtube.com/watch?v=bq5rhBgk82g Лекция 2]
! [https://www.youtube.com/watch?v=MsYKW45SINQ Лекция 3]
! [https://www.youtube.com/watch?v=sViP48e02-M Лекция 4]
! [https://youtu.be/Qk1hCce_gpI Лекция 5]
! [https://www.youtube.com/watch?v=jI2CrmORkVQ Лекция 6]
! [https://www.youtube.com/watch?v=Jtt5W-PXFhU Лекция 7]
! [https://youtu.be/xGC5PLUd0w0 Лекция 8]
! [https://youtu.be/qejReOs2i50 Лекция 9]
! [https://youtu.be/8-AlOnpwnNU Лекция 10]
! [https://youtu.be/Dgx-b0qbS6M Лекция 11]
! [https://youtu.be/R4h-1VjqRJQ Лекция 12]
![https://youtu.be/tqFhUosSqlI Лекция 13]
![https://youtu.be/vK1fwVeL8GY Лекция 14]
|-
|}

====III - IV модули====

{| class="wikitable"
|-
! № лекции
! [https://youtu.be/AfxivsZNQHU Лекция 1]
! [https://youtu.be/LfzU-hB2ajA Лекция 2]
! [https://youtu.be/bYoeDNCtRbU Лекция 3]
! [https://www.youtube.com/watch?v=TPJIcb-SNoo Лекция 4]
! [https://youtu.be/z-QVpchv4qs Лекция 5]
! [https://www.youtube.com/watch?v=0dc7HIY62Mw Лекция 6]
! [https://youtu.be/boBBnbliYOo Лекция 7]
! [https://youtu.be/NBwWw78s-jA Лекция 8]
! [https://youtu.be/bbyeVILR_uY Лекция 9]
! [https://youtu.be/fNKeMYFmNf8 Лекция 10]
! [https://youtu.be/VrmJkBupTno Лекция 11]
! [https://youtu.be/A3nlQPBIbbw Лекция 12]
! [https://youtu.be/9LJaEN20i_s Лекция 13]
|-
|}

====Доп.лекции====

{| class="wikitable"
|-
! № Лекции
! [https://vk.com/video458107800_456239060 Доп.лекция-1]
|-
|}

=== Прочие материалы ===

* [https://disk.yandex.ru/d/yP8kB2HWLvrjlg Записи лекций прошлых лет (Яндекс.Диск)]

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

* [https://disk.yandex.ru/d/4i7Gu93UrHYK4w Доски с лекций]

== Аттестация и оценки ==

Во 2-ом модуле производится промежуточная аттестация за
осенний семестр. В осеннем семестре проводятся две письменные контрольные работы (КР1 и
КР2); выдается и проверяется письменное домашнее задание (ДЗ2).

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

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

Накопленная оценка НК2 за осенний семестр вычисляется по
формулам:

НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)

НК2 = ОКРУГЛ (НК2').

Здесь и далее ОКРУГЛение производится по обычным правилам, но полуцелые
числа округляются вверх.
Если НК2 >= 4, то промежуточная оценка за осенний семестр Э2 =
НК2. Если НК2 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое
контрольное задание ИК2, оцениваемое по десятибалльной системе. В этом
случае промежуточная оценка за осенний семестр

Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').

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

Промежуточная аттестация (4 модуль) :
В весеннем семестре проводятся две контрольные работы (КР3 и КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки
выставляются так же, как и в осеннем семестре. Накопленная оценка НК4 за весенний семестр вычисляется по
формулам:

НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то итоговая оценка за весенний семестр Э4 = НК4.
Если НК4 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое
контрольное задание ИК4, оцениваемое по десятибалльной системе. В этом
случае итоговая оценка за весенний семестр

Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').

Результирующей оценкой по дисциплине является оценка Э4.

== Литература ==

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]

Дискретная математика 2022-2023

2022-09-07T10:45:51Z

Aabyvaltseva 1:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки
более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, булевы функции.

== Преподаватели и учебные ассистенты ==
{| class="wikitable" style="text-align:center"
|-
! Группа !! 221 !! 222 !! 223 !! 224 !! 225 !! 226 !! 227 !! 228 !! 229 !! 2210
|-
|| '''Лектор'''
| colspan="15" | [https://t.me/edashkov Дашков Е.В.] (edashkov@gmail.com, [https://vk.com/evgeny.v.dashkov ВК)].

|-
|| '''Семинаристы'''
|| [https://t.me/edashkov Е.В. Дашков]
|| [Н. Лукьяненко]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/azapryagaev А.А. Запрягаев]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/dshvarts Д.А. Шварц]
|| [https://t.me/good_michael М.А. Хрыстик]
|| [https://t.me/medvednikita Н.Ю. Медведь]
|| [https://t.me/dshvarts Д.А. Шварц]
|| [Хузиева]
|-
| '''Ассистенты'''
|| [https://t.me/sasatasas Анна Бывальцева]
|| [Егор Аношин?]
|| [Таисия Галкина?]
|| [Елизавета Чекалина]
|| [Андрей Варёнов?]
|| []
|| []
|| [Шамиль Зиганшин]
|| []
|| []
|-
|}
'''Ассистент лектора:''' [https://t.me/im5timemajorwinner Николай Архипов].

== Текущая успеваемость ==

== Наборы задач для семинаров ==

* [https://drive.google.com/file/d/19WyCIkbPZPN0_VA4ZBz6kIyU46b0A8Sy/view?usp=sharing Листок 1]

* [https://drive.google.com/file/d/1jHm9GSAlLz-vhs6yDZM4MBZ5xm0dTgSk/view?usp=sharing Листок 2]

* [https://drive.google.com/file/d/1DyXwHak6eYG3OIk2_fhwhCeouHXJSD0g/view?usp=sharing Листок 3]

* [https://drive.google.com/file/d/1Qu1_GTbkUk4wXS2ZTOzI_LxqjIq38rPO/view?usp=sharing Листок 4]

* [https://drive.google.com/file/d/1vCcv09JTfWEqKF44VDqAarpgTEh64BZq/view?usp=sharing Листок 5]

* [https://drive.google.com/file/d/1RRMfxKqPI0aeRPL8vrTafrVQsXh6Fgaj/view?usp=sharing Листок 6]

* [https://drive.google.com/file/d/1g_JOH2C5W1JFtWjsWWqP0M91CP3rNn2Y/view?usp=sharing Листок 7]

* [https://drive.google.com/file/d/1o9JLaCS4Md9qpOqtSVA0IrZGX54_H0AW/view?usp=sharing Листок 8]

* [https://drive.google.com/file/d/1LOvCzvy26LvMJmItyBTet5K4ge0-R4op/view?usp=sharing Листок 9]

* [https://drive.google.com/file/d/1BE6frUTfQfdOF4wXgQApWxCLDdLIgha_/view?usp=sharing Листок 11]

* [https://drive.google.com/file/d/16LwYrrCF62npB7o01plp_8gWRBDprEH4/view?usp=sharing Листок 12]

* [https://drive.google.com/file/d/1PgDZSqT4XKRtAj1ye4VmtZuQS1tTghUm/view?usp=sharing Листок 13]

* [https://drive.google.com/file/d/1If8HjfEQgBInD_g1G8RAMpqeECt6rXmd/view?usp=sharing Листок 14]

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

{| class="wikitable"
|-
! Задание !! colspan="11" | Срок сдачи в группе
|-
| || 221 || 222 || 223 || 224 || 225 || 226 || 227 || 228 || 229 || 2110
|-
| [https://drive.google.com/file/d/1jaz9wgtj4xjmYLtYthp9Eid6NYgzc_7V/view?usp=sharing ДЗ 1] || || || || || || || || || ||
|}

'''Срок сдачи задания устанавливается семинаристом группы.'''

== Экзамен ==

== Контрольные работы ==

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

=== Группа для любых вопросов по курсу ===
[https://t.me/joinchat/U3mg-j0ibdH6SxJa Вступайте!]

=== Материалы лектора ===

[https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing Наборы задач, конспекты и др.]

=== Видеозаписи прошлых лет ===

====I-II модули====

{| class="wikitable"
|-
! № лекции
! [https://www.youtube.com/watch?v=FWLvOnIftG8 Лекция 1]
! [https://www.youtube.com/watch?v=bq5rhBgk82g Лекция 2]
! [https://www.youtube.com/watch?v=MsYKW45SINQ Лекция 3]
! [https://www.youtube.com/watch?v=sViP48e02-M Лекция 4]
! [https://youtu.be/Qk1hCce_gpI Лекция 5]
! [https://www.youtube.com/watch?v=jI2CrmORkVQ Лекция 6]
! [https://www.youtube.com/watch?v=Jtt5W-PXFhU Лекция 7]
! [https://youtu.be/xGC5PLUd0w0 Лекция 8]
! [https://youtu.be/qejReOs2i50 Лекция 9]
! [https://youtu.be/8-AlOnpwnNU Лекция 10]
! [https://youtu.be/Dgx-b0qbS6M Лекция 11]
! [https://youtu.be/R4h-1VjqRJQ Лекция 12]
![https://youtu.be/tqFhUosSqlI Лекция 13]
![https://youtu.be/vK1fwVeL8GY Лекция 14]
|-
|}

====III - IV модули====

{| class="wikitable"
|-
! № лекции
! [https://youtu.be/AfxivsZNQHU Лекция 1]
! [https://youtu.be/LfzU-hB2ajA Лекция 2]
! [https://youtu.be/bYoeDNCtRbU Лекция 3]
! [https://www.youtube.com/watch?v=TPJIcb-SNoo Лекция 4]
! [https://youtu.be/z-QVpchv4qs Лекция 5]
! [https://www.youtube.com/watch?v=0dc7HIY62Mw Лекция 6]
! [https://youtu.be/boBBnbliYOo Лекция 7]
! [https://youtu.be/NBwWw78s-jA Лекция 8]
! [https://youtu.be/bbyeVILR_uY Лекция 9]
! [https://youtu.be/fNKeMYFmNf8 Лекция 10]
! [https://youtu.be/VrmJkBupTno Лекция 11]
! [https://youtu.be/A3nlQPBIbbw Лекция 12]
! [https://youtu.be/9LJaEN20i_s Лекция 13]
|-
|}

====Доп.лекции====

{| class="wikitable"
|-
! № Лекции
! [https://vk.com/video458107800_456239060 Доп.лекция-1]
|-
|}

=== Прочие материалы ===

* [https://disk.yandex.ru/d/yP8kB2HWLvrjlg Записи лекций прошлых лет (Яндекс.Диск)]

* [https://www.youtube.com/playlist?list=PL1Uob8iPTHGTUM71KDYl7ZyBN01vykvLy Видеозаписи прошлых лет (Youtube)]

* [[Записи семинаров 212 группы | Записи семинаров 212 группы]]

* [[Записи семинаров Козачинского| Записи семинаров Козачинского]]

== Аттестация и оценки ==

Во 2-ом модуле производится промежуточная аттестация за
осенний семестр. В осеннем семестре проводятся две письменные контрольные работы (КР1 и
КР2); выдается и проверяется письменное домашнее задание (ДЗ2).

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

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

Накопленная оценка НК2 за осенний семестр вычисляется по
формулам:

НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)

НК2 = ОКРУГЛ (НК2').

Здесь и далее ОКРУГЛение производится по обычным правилам, но полуцелые
числа округляются вверх.
Если НК2 >= 4, то промежуточная оценка за осенний семестр Э2 =
НК2. Если НК2 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое
контрольное задание ИК2, оцениваемое по десятибалльной системе. В этом
случае промежуточная оценка за осенний семестр

Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').

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

Промежуточная аттестация (4 модуль) :
В весеннем семестре проводятся две контрольные работы (КР3 и КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки
выставляются так же, как и в осеннем семестре. Накопленная оценка НК4 за весенний семестр вычисляется по
формулам:

НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то итоговая оценка за весенний семестр Э4 = НК4.
Если НК4 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое
контрольное задание ИК4, оцениваемое по десятибалльной системе. В этом
случае итоговая оценка за весенний семестр

Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').

Результирующей оценкой по дисциплине является оценка Э4.

== Литература ==

# Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
# Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
# [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]
# Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
# [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]
# Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
# Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
# Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
# [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]