DM1-SE-2020-21

2020-09-10T09:43:44Z

Daria Eremina:

== Экзамен ==

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

== Текущая успеваемость ==
You can check your progress up to now via the
[ DM1 Register Online].

== Homework Deadlines ==
'''For Group ?:'''

* HW 1 -- September ?

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

Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].

=== Наборы задач ===
{| class="wikitable"
|-
! Задачи для семинаров || Домашние задания
|-
|| [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]
|}

== Other Resources ==

* НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].

* We have a [https://meet.edashkov.net dedicated server] to hold an online meeting if we need one.

== Professors ==

=== Лектор ===

Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].

=== Семинаристы ===
БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].

=== Учебные ассистенты ===
БПИ201 - Дмитрий Калмыков [https://vk.com/proger_na_pascale Вк] [https://t.me/DimaPI196 Telegram]

БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru

БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]

БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]

БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]

БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru

БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]

Ассистент лектора - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]

== Литература ==
Наш курс опирается на разые источники. Вот некоторые полезные издания:

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

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

Во 2-ом модуле производится промежуточная аттестация за осенний
семестр.

В осеннем семестре проводятся две контрольные работы (КР1 и
КР2); выдается и проверяется домашнее задание (ДЗ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').

В весеннем семестре проводятся две контрольные работы (КР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').

Результирующая оценка Р по дисциплине выставляется по десятибалльной
шкале согласно формуле

Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).

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

DM1-SE-2020-21