DM1-SE-2020-21 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Problem sets)
(Конспект лекций)
Строка 17: Строка 17:
  
 
=== Конспект лекций ===
 
=== Конспект лекций ===
You can find some useful materials (including the Lecture Notes) [ here].
+
You can find some useful materials (including the Lecture Notes) [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing here].
  
 
=== Problem sets ===
 
=== Problem sets ===

Версия 04:05, 5 сентября 2020

Экзамен

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

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

Professors

The Lecturer

My name is Evgeny Dashkov. 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. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.
  2. Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.
  3. Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.
  4. Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.
  5. Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.
  6. Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.
  7. Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.
  8. Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом "ЛИБРОКОМ", 2013.
  9. Шень А., Математическая индукция. 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).