DM1-2020-21

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск

ОБЪЯВЛЕНИЯ

17.12.2020 Открыта запись в гугло класс для сдачи работ экзамена основного потока, код класса fyw7fdi. Настоятельно рекомендуем записаться как можно скорее: возможны проблемы с ёмкостью класса, лучше их решить заранее.

06.12.2020 Добавлены билеты основного потока (см. ниже раздел про зимний коллоквиум).

06.11.2020 Со следующей лекции (13.11) для лекций основного потока используйте вот эту ссылку на zoom. Вход будет по паролю.

04.11.2020 Запись 8й лекции основного потока (29.10) доступна по ссылке. В дальнейшем записи будут появляться в плейлисте Дискретная математика, ПМИ Основной поток.

23.10.2020 Со второго модуля лекции проводятся онлайн. Это ссылка на конференцию в zoom, в которой будут проходить лекции основного потока. Лекции по прежнему расписанию: пятница, начало 11:10.

28.09.2020 Начал работу факультатив "Дополнительные главы дискретной математики" (см. по ссылке расписание и листки с задачами). Факультатив рассчитан на студентов пилотного потока. Но если кто-то из основного потока захочет туда ходить, возражений не будет (будет чуть сложнее заниматься, но было бы желание - все трудности преодолимы).

Общая информация о курсе Дискретная математика-1, ПМИ ФКН, 1 курс

Правила выставления оценок за курс

Важные уточнения.

  1. К сожалению, в тексте ПУД по дискретной математике обнаружены ошибки в формуле промежуточной оценки (после второго модуля), формула для итоговой оценки там написана верно. Для вычисления промежуточной оценки пользуйтесь той формулой, которая написана в файле по ссылке выше.
  2. (Основной поток). Учет домашних заданий в оценках основного потока будет проходить так: в первую оценку Одз1 включаются первые 4 задания, во вторую Одз2 - следующие 4. Остальные задания будут учтены в Одз3.

Программа и правила проведения коллоквиума в марте 2021 года

Коллоквиум будет проводиться дистанционно, по группам. Сроки: от 5 марта до 26 марта. Расписание будет объявлено дополнительно.

Программа и правила проведения коллоквиума основного потока. Основное отличие от правил первого коллоквиума: теперь не разрешается использовать дополнительные источники, ответ должен быть полностью самостоятельным.

Билеты основного потока Рекомендуем перед сдачей коллоквиума сохранить файл с билетами на локальное устройство. Опыт показывает, что из дропбокса файл такого размера грузится долго.

Важное замечание: в программу коллоквиума вошли не все темы, изучавшиеся в 3 модуле или которые будут изучаться параллельно с проведением коллоквиума. Нужно иметь в виду, что итоговый письменный экзамен в сессию третьего модуля будет содержать задачи по всем темам, изученным в 3 модуле.

Программа и правила проведения коллоквиума пилотного потока. Основное отличие от правил первого коллоквиума: не разрешается использовать дополнительные источники, ответ должен быть полностью самостоятельным.

Расписание коллоквиума в марте 2021 года

203 группа: 05.03 (пятница); 06.03 (суббота); 09.03 (вторник)

205 группа: 18.03

206 группа: 15.03, 19.03, 20.03

207 группа: 11.03 (четверг), 16:30-21:00; 12.03 (пятница), 14:00-21:00; 13.03 (суббота), 13:30-18:00

208 группа: 12.03, 19.03

209, 212 группы: 12.03; 17.03; 19.03 расписание

2010 группа: 13.03 (суббота)

2011 группа: 10.03 (среда)


Программа и правила проведения коллоквиума в декабре 2020 года

Коллоквиум будет проводиться дистанционно, по группам. Сроки: от 5 декабря до 19 декабря.

Программа основного потока Важное замечание: в программу коллоквиума вошли не все темы, изучавшиеся в 1-2 модулях. Нужно иметь в виду, что письменный экзамен в конце второго модуля может содержать задачи по всем темам, изученным в 1-2 модялх. Не очень важное замечание: в текст программы внесены некоторые изменения (с учетом появившихся вопросов). Пока они касаются только уточнения правил (правила те же, формулировки более тщательные).

Билеты основного потока На коллоквиуме вы получите случайный билет из этого множества.

Программа пилотного потока

Билеты пилотного потока На коллоквиуме вы получите случайный билет из этого множества.

Расписание коллоквиума в декабре 2020 года

201 группа: 9.12 (среда), 14:40-21:00; 10.12 (четверг), 16:20-21:00

202 группа: 9.12 (среда), 15:20-21:00; 10.12 (четверг), 18:10-21:00

204 группа: 9.12 (среда), 16:40-21:00; 10.12 (четверг), 16:20-21:00 (подгруппа 204-1 с 19:40)

203, 206 группы: 13.12 (воскресенье), 15:00-21:00; 17.12 (четверг), 17:00-20:00; 18.12 (пятница), 13:00-19:00

207 группа: 11.12 (пятница), 14:00-21:00; 12.12 (суббота), 10:00-14:00

209, 212 группы: 8.12 (вторник), 14:40-21:00; 11.12 (пятница), 15:00-21:00; 15.12 (вторник), 13:00-16:30

2010 группа: 07.12 (понедельник), 08.12 (вторник), 14.30-21.00

2011 группа: 12.12 (суббота), 14.30-21.00

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

Пилотный поток

Лекции: Владимир Подольский

Семинары: Алексей Леонидович Таламбуца, Владимир Владимирович Подольский, Артем Максимович Максаев

Основной поток

Лекции: Михаил Николаевич Вялый

Семинары: Никита Сергеевич Лукьяненко, Илья Глебович Райко, Михаил Николаевич Вялый, Артем Максимович Максаев, Алина Эдуардовна Хузиева

Учебные ассистенты: Арсений Алексеевич Абрамов, Аъзам Бехруз Хусан угли, Станислав Сергеевич Динер, Анна Тиграновна Енгоян, Александр Александрович Соколихин, Юлия Александровна Василевская, Даниэль Рустамович Хабиров, Елизавета Игоревна Шатская, Фома Александрович Шипилов, Владимир Сахатович Якшимамедов, Александр Всеволодович Крупецков, Даниил Иванович Иваник, Даниил Юрьевич Трошин

Распределение по группам

Официальная система наименования с этого года имеет вид ДМ_Б2020_ПМИИ_<номер группы>#Г#Дискретная математика. В наших материалах мы будем придерживаться более простого наименования 20<номер группы>

Группа 201 202 204 203 205 206 (online) 207 208 209 2010 2011 2012
Лектор Владимир Владимирович Подольский Михаил Николаевич Вялый
Семинарист Алексей Леонидович Таламбуца Владимир Владимирович Подольский Артем Максимович Максаев Никита Сергеевич Лукьяненко Илья Глебович Райко Никита Сергеевич Лукьяненко Михаил Николаевич Вялый Илья Глебович Райко Артем Максимович Максаев Алина Эдуардовна Хузиева Алина Эдуардовна Хузиева Артем Максимович Максаев
Ассистент Даниил Иванович Иваник Павел Александрович Захаров Владимир Сахатович Якшимамедов Аъзам Бехруз Хусан угли Даниэль Рустамович Хабиров Александр Александрович Соколихин, Юлия Александровна Василевская Анна Тиграновна Енгоян Елизавета Игоревна Шатская Даниил Юрьевич Трошин Арсений Алексеевич Абрамов Фома Александрович Шипилов Станислав Сергеевич Динер

Результаты

В файлах по ссылкам содержатся

  • Оценки за домашние задания, на каждое свой лист (обратите внимание на колонки "защищено" и "вклад защиты" - если вклад 0, то это задание не дает очков в итоговую оценку! По поводу защит домашних заданий обращайтесь к своим преподавателям).
  • Оценки коллоквиумов и экзаменов (на листе "итог") по мере их появления. Сейчас там ничего нет, конечно.
  • Промежуточные и итоговые оценки за курс (имеют смысл после сдачи коллоквиумов и экзаменов).
201 группа 202 группа 204 группа 203 группа 205 группа 206 группа 207 группа 208 группа 209 группа 2010 группа 2011 группа 2012 группа

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


  • Черновик учебника. В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (осенью она должна и на бумаге появиться).
  • Конспекты лекций основного потока. В этом файле будут собираться конспекты лекций основного потока. Эти конспекты будут, скорее всего, короче учебника. Это может кому-нибудь понравиться. При этом само качество текста будет почти заведомо хуже: М.Н.Вялый надеется успевать записывать конспекты, но не надеется успевать их вычитывать. Замеченные ошибки и неточности будут исправляться, конечно. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой.
  • Задачи для разбора в классе и домашние задания. В файле "Занятие <номер занятия>" содержатся и задачи для разбора в классе, и задачи домашнего задания. Про занятия основного потока планируется давать анонсы - что будет в следующий раз.
  • Для пилотного потока: доказательство теоремы Кенига можно прочитать в книге Р. Дистеля "Теория графов"
  • Пилотный поток: про производящие функции можно почитать в лекции 12 по ссылке
Листок основного потока Листок пилотного потока
Занятие 1, основной поток

Занятие 1, пилотный поток

Основной поток, занятие 2: множества, теоретико-множественные тождества, индукция

Занятие 2, пилотный поток

Основной поток, занятие 3 (комбинаторика-1): правило произведения, правило суммы, формула включений-исключений

Занятие 3, пилотный поток

Основной поток, занятие 4: Простые неориентированные графы. Основные определения. Связность графов Занятие 4, пилотный поток
Занятие 5, основной поток: деревья и леса

Занятие 5, пилотный поток

Занятие 6, основной поток: ориентированные графы, ациклические графы, эйлеровы графы

Занятие 6, пилотный поток

Занятие 7, основной поток: правильные раскраски графов, двудольные графы, теорема Холла. Комбинаторика: размещения, сочетания, биномиальные коэффициенты Занятие 7, пилотный поток
Занятие 8, основной поток: свойства биномиальных коэффициентов, мультиномиальные коэффициенты, сочетания с повторениями Занятие 8, пилотный поток
Занятие 9, основной поток: отношения и функции Занятие 9, пилотный поток
Занятие 10, основной поток: теорема об обратной функции, перечисление функций разных видов, отношения эквивалентности

Занятие 10, пилотный поток

Занятие 11, основной поток: (частично) упорядоченные множества

Занятие 11, пилотный поток

Занятие 12, основной поток: делимость чисел и арифметика остатков, обратимые остатки, расширенный алгоритм Евклида

Занятие 12, пилотный поток

Занятие 13, основной поток: основная теорема арифметики, малая теорема Ферма, теорема Эйлера Занятие 13, пилотный поток
Занятие 14, основной поток: китайская теорема об остатках, мультипликативность функции Эйлера

Занятие 14, пилотный поток

Занятие 15, основной поток: элементарная теория вероятностей, оценка объединения, вероятностный метод, формула включений и исключений

Занятие 15, пилотный поток

Занятие 16, основной поток: условные вероятности, независимые события, формула Байеса, формула полной вероятности

Занятие 16, пилотный поток

Занятие 17, основной поток: случайные величины

Занятие 17, пилотный поток

Занятие 18, основной поток: разрешающие деревья

Занятие 18, пилотный поток

Занятие 19, основной поток: сложность булевых функций в модели разрешающих деревьев; представление функций формулами; полные и неполные системы функций

Занятие 19, пилотный поток

Занятие 20, основной поток: доказательство теоремы Поста. Булевы схемы

Занятие 20, пилотный поток

Занятие 21, основной поток: схемная сложность

Занятие 21, пилотный поток

Занятие 22, основной поток: формулы и схемы. Равномощность. Счетные множества

Занятие 22, пилотный поток

Занятие 23, основной поток: мощность континуум, теорема Кантора. Индукция по фундированным множествам

Занятие 23, пилотный поток

Варианты зимних экзаменов прошлых лет

Варианты зимнего экзамена 2019-2020: Основной поток, Пилотный поток.

Решения: Пилотный поток.

Варианты зимнего экзамена 2018-2019: Основной поток, Пилотный поток.

Решения: Основной поток, Пилотный поток.

Варианты зимнего экзамена 2017-2018: Основной поток, Пилотный поток.


Решения: Основной поток, Пилотный поток.

Варианты зимнего экзамена 2016-2017: Пилотный поток.


Решения: Основной поток, Пилотный поток.

Варианты зимнего экзамена 2015-2016: Основной поток, Пилотный поток.


Решения: Пилотный поток.

Зимний экзамен 2014-2015: Вариант.

Решения 2014-2015