Дискретная математика 2023-2024 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Материалы курса)
(Материалы лектора)
Строка 80: Строка 80:
 
* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)
 
* [https://rutube.ru/channel/32000946/ Канал лектора на RuTube] (видимо, будет приоритетным)
  
* [https://studio.youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)
+
* [https://youtube.com/channel/UCp2EjaJEGS257bl6DVDyAqg Канал лектора на YouTube] (наследие прошлого)
  
 
=== Записи лекций этого года ===
 
=== Записи лекций этого года ===

Версия 17:39, 10 сентября 2023

О курсе

Обязательный курс "Дискретной математики" читается студентам-первокурсникам в модулях I - IV. Он охватывает разнообразные темы, важные для математического образования программного инженера, но выходящие за рамки более традиционных курсов алгебры, анализа и геометрии. Среди них: основы логики и теории множеств, комбинаторика, графы, булевы функции.

Преподаватели и учебные ассистенты

Группа 231 232 233 234 235 236 237 238 239 2310 2311
Лектор Дашков Е.В. (edashkov@gmail.com, ВК).
Семинаристы Е.В. Дашков Пт 16:20 П. П. Соколов Ср 14:40 А.А. Запрягаев Пн 11:10 А.А. Запрягаев Вт 11:10 Д.А. Шварц Вт 11:10 Д.А. Шварц Вт 09:30 П. П. Соколов Чт 11:10 М.А. Хрыстик Чт 11:10 М.А. Хрыстик Чт 13:00 М.А. Хрыстик Чт 14:40 А. В. Зайцев Вт 11:10
Ассистенты

Ассистент лектора: TBA.

Текущая успеваемость

Наборы задач для семинаров

Домашние задания

Задание Срок сдачи в группе
231 232 233 234 235 236 237 238 239 2310 2311
ДЗ 1

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

Экзамен

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

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

Группа для любых вопросов по курсу

Вступайте!

Материалы лектора

Записи лекций этого года

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

Прочие материалы

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

Во 2-ом модуле производится промежуточная аттестация за осенний семестр. В осеннем семестре проводятся две письменные контрольные работы (КР1 и КР2); выдается и проверяется письменное домашнее задание (ДЗ12).

Домашнее задание выдается частями, каждую из которых следует сдавать в установленные сроки. Преподаватель вправе потребовать от любого студента "защитить" (т.е. изложить устно, отвечая на возникающие при этом вопросы) решение любой из зачтенных этому студенту задач ДЗ. В случае неуспешной защиты, баллы за соответствующую часть ДЗ могут быть снижены, в т.ч. до нуля.

Оценка за контрольную работу выставляется в долях единицы без округления (т.е. с максимальной доступной используемым вычислительным средствам точностью). Оценка ДЗ12 также выставляется в долях единицы без округления. Оценки за контрольные работы и домашние задания могут быть больше единицы за счет "бонусных баллов".

Накопленная оценка НК2 за осенний семестр вычисляется по формулам:

НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ12)

НК2 = ОКРУГЛ (НК2').

Здесь и далее ОКРУГЛение производится по обычным правилам, но полуцелые числа округляются вверх. Если НК2 >= 4, то промежуточная оценка за осенний семестр Э2 = НК2. Если НК2 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое контрольное задание ИК2, оцениваемое по десятибалльной системе. В этом случае промежуточная оценка за осенний семестр

Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').

Промежуточной оценкой по дисциплине является оценка Э2.

Промежуточная аттестация (4 модуль) : В весеннем семестре проводятся две контрольные работы (КР3 и КР4); выдается и проверяется домашнее задание (ДЗ34). Оценки выставляются так же, как и в осеннем семестре. Накопленная оценка НК4 за весенний семестр вычисляется по формулам:

НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ34)

НК4 = ОКРУГЛ (НК4').

Если НК4 >= 4, то итоговая оценка за весенний семестр Э4 = НК4. Если НК4 < 4 или сам студент о том попросит, студенту предлагается выполнить итоговое контрольное задание ИК4, оцениваемое по десятибалльной системе. В этом случае итоговая оценка за весенний семестр

Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').

Результирующей оценкой по дисциплине является оценка Э4.

Литература

  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.