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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Материалы курса)
(Материалы лектора)
Строка 74: Строка 74:
 
[https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]
 
[https://drive.google.com/file/d/1YFYHP3oHlv6zPI6d0k96Intjyu0qZpus/view?usp=drive_link Основной конспект (на англ. языке)]
  
[https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов добровольцев: берегитесть ошибок и подключайтесь к ней сами!)
+
[https://drive.google.com/drive/folders/1cTCdJtVVtO9uDgIKE8HY0qhl285tzOo1?usp=drive_link Перевод основного конспекта] (работа студентов-добровольцев: берегитесть ошибок и подключайтесь к ней сами!)
  
 
=== Записи лекций этого года ===
 
=== Записи лекций этого года ===

Версия 17:30, 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.