DM1-SE-2020-21
Содержание
Экзамен
Контрольные работы
Текущая успеваемость
You can check your progress up to now via the [ DM1 Register Online].
Homework Deadlines
For Group ?:
- HW 1 -- September ?
Материалы курса
Различные материалы, включая конспекты, можно найти здесь.
Наборы задач
| Задачи для семинаров | Домашние задания |
|---|---|
| С 1 | ДЗ 1 |
Other Resources
- НАСТОЯТЕЛЬНО советуем примкнуть к нашей группе в Телеграме.
- We have a dedicated server to hold an online meeting if we need one.
Professors
Лектор
Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, ВК.
Семинаристы
БПИ206 - Антон Гнатенко, почта: agnatenko@hse.ru, телеграм: @antongnatenko.
Учебные ассистенты
БПИ202 - Агроскин Александр Вк Telegram avagroskin@edu.hse.ru
БПИ203 - Михаил Кузнецов Вк Telegram
БПИ204 - Максим Савинов Вк Telegram
БПИ205 - Илья Снимщиков Вк Telegram
Ассистент лектора - Игорь Попов Вк Telegram
Литература
Наш курс опирается на разые источники. Вот некоторые полезные издания:
- Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
- Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
- Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.
- Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
- Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.
- Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
- Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
- Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
- Шень А., Математическая индукция. 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).
