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

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

2023-02-22T10:45:51Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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 МСК || 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://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]
|-
|}

=== Записи семинара этого года ===

====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-01-03T21:30:20Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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 МСК || || || 13.01 23:59 МСК || 13.01 || ||
|}

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

== Экзамен ==

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

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

=== Группа для любых вопросов по курсу ===
[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]
|-
|}

=== Записи семинара этого года ===

====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 группы]]

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

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

Во 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-11-30T11:49:43Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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 || || || || || || 10.12 23:59 МСК || 04.12 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]
|-
|}

=== Записи семинара этого года ===

====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 группы]]

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

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

Во 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-11-27T22:38:41Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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 МСК || 04.12 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]
|-
|}

=== Записи семинара этого года ===

====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 группы]]

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

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

Во 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-10-28T20:33:06Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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а] || || || || 14.10 23:59 МСК || ||20.10 23:59 МСК || 29.10 23:59 МСК || 23.10 23:59 МСК ||20.10 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]
|-
|}

=== Видеозаписи прошлых лет ===

====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.]

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

2022-10-06T14:57:58Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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 || ||5.10 23:59 МС ||
|-
| [https://drive.google.com/file/d/1MM-cW-v7GPZ4V9XGzLP7YFAJcbriipnW/view?usp=sharing ДЗ 2а] || || || || || || || || || ||
|}

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

== Экзамен ==

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

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

=== Группа для любых вопросов по курсу ===
[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]
|-
|}

=== Видеозаписи прошлых лет ===

====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.]

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

2022-09-28T13:38:27Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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/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 МСК || || || 01.10 || || ||
|}

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

== Экзамен ==

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

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

=== Группа для любых вопросов по курсу ===
[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]
|-
|}

=== Видеозаписи прошлых лет ===

====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.]

Discrete Mathematics 2 DSBA 2022/2023

2022-09-21T22:18:25Z

Evosipova 3:

= About =
This page contains basic information for the course Discrete Mathematics 2 in 2022/2023 academic year at Bachelor’s Programme 'HSE and University of London Double Degree Programme in Data Science and Business Analytics' (DSBA).

The homeworks are given every week for a week period. The problems with stars are bonus problems bringing you extra points. They can be passed during the two week after the class. To pass the HWs, please, join the Google Class with the the code of your group

{| class="wikitable" style="text-align:center"
|-
! Group !! 211 !! 212 !! 213 !! 214
|-
|| Google Class code || aipuy6f || zdvhdoj || bbbn4t7 || pk3wyea
|}

= Professors and assistants =

The lecturer of the course in 2022 fall term is Boris Radislavovich Danilov (brdanilov@gmail.com).

== Seminar instructors ==
{| class="wikitable" style="text-align:center"
|-
! Group !! 211 !! 212 !! 213 !! 214
|-
|| Teachers || Boris Danilov|| colspan="2"| Anastasia Trofimova || Boris Danilov
|-
|| Assistants ||Daria Ivanova || colspan="2" | Andrey Kotuchov || Ivan Skvortsov
|-
|| Lecturer’s assistant || colspan="4"| [https://t.me/e_liza_veta_o Elizaveta Osipova]
|}

= Course links and materials =
* [https://docs.google.com/spreadsheets/d/1MT9vE5LYZ50S2mo9CMfEa0qxPKD0Z95vjGJCPUo2VqM/edit?usp=sharing Performance table]

* [https://t.me/+VdaKNKEGtoBhYjYy Chat in Telegram]
* [https://disk.yandex.ru/d/xL3Zz_i90nOhmg Syllabus]
* [https://disk.yandex.ru/d/sUd8LGcXD9gxWw Folder with literature]
* [https://disk.yandex.ru/i/EIx7QruwWqZcGQ Presentation lecture 1]
* [https://disk.yandex.ru/i/WlQFD60XhM052w Presentation lecture 2]
* [https://disk.yandex.ru/i/VzQS4aPX2ClOqQ Presentation lecture 3]
* [https://disk.yandex.ru/i/6BpPXNhhcQEVdw Classwork and homework 1]
* [https://disk.yandex.ru/i/5Dsh4rDu30di7w Classwork and homework 2]
* [https://disk.yandex.ru/i/IpEA39HAgN5Nkw Classwork and homework 3] (updated! 20.IX)

= Grading =
Grade <CG> for the course is determined by the formula:

<CG> = min(10, round( 0.25 * <HA> + 0.15 * <QZ> + 0.3 * <MT> + 0.3 * <FT>),

where <HA>, <QZ>, <MT>, <FT> are grades for interim assessment activities:

* <HA> - Homework assignments
* <QZ> - Quizzes (small control works on seminars)
* <MT> - Midterm test
* <FT> - Final test (exam)

All grades <HA>, <QZ>, <MT>, <FT> are rational numbers between 0 and 20; grade above 10 is considered "bonus score" for "starred" exercises.

Rounding in the formula means rounding to the nearest integer, tie-values are rounded up.

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

2022-09-11T07:23:27Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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/tasyaglk Таисия Галкина]
|| [https://t.me/happiestflowery Елизавета Чекалина]
|| [https://t.me/andrejjjjj Андрей Варёнов]
|| [https://t.me/AndreyChizhov73 Андрей Чижов]
|| [https://t.me/e_liza_veta_o Елизавета Осипова]
|| [Шамиль Зиганшин]
|| [https://t.me/nktrtmv Никита Артёмов]
|| []
|-
|}
'''Ассистент лектора:''' [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] || || || || || || || || || ||
|}

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

== Экзамен ==

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

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

=== Группа для любых вопросов по курсу ===
[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.]

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

2022-09-08T12:16:03Z

Evosipova 3:

== О курсе ==
Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях 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/happiestflowery Елизавета Чекалина]
|| [Андрей Варёнов?]
|| [https://t.me/AndreyChizhov73 Андрей Чижов]
|| [https://t.me/e_liza_veta_o Елизавета Осипова]
|| [Шамиль Зиганшин]
|| []
|| []
|-
|}
'''Ассистент лектора:''' [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.]