DM1-SE-2020-21
Содержание
Экзамен
Контрольные работы
Current Results
You can check your progress up to now via the [ DM1 Register Online].
Homework Deadlines
For Group ?:
- HW 1 -- September ?
Course Materials
Конспект лекций
You can find some useful materials (including the Lecture Notes) here.
Problem sets
Class Problems | Homework Assignments |
---|---|
cw1 | [ hw1] |
Other Resources
- НАСТОЯТЕЛЬНО советуем примкнуть к нашей группе в Телеграме.
- We have a dedicated server to hold an online meeting if we need one.
Professors
Лектор
Евгений Владимирович Дашков. Feel free to contact me via email: edashkov@gmail.com, Telegram: @edashkov, or VK.
Seminar Instructors
Teaching Assistants
Recommended Reading
Please notice that The Book for our Course does not exist. The latter is based on many sources.
In Russian
If you understand Russian (by any chance), you will probably benefit from reading the following books.
- Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 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).