DM1-2020-21

ОБЪЯВЛЕНИЯ

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.

Итоговый письменный экзамен по курсу

Правила проведения итогового письменного экзамена

Итоговый экзамен назначен на 30 марта (вторник), начало 11:00. Длительность 1 час 30 мин. На экзамене разрешено пользоваться любыми печатными материалами и не разрешается использование электронных устройств (за исключением тех, кто пишет экзамен дистанционно: эти студенты могут взять вариант экзамена электронно и сдать написанную работу так же, как на зимнем экзамене, другое использование электронных устройств также не разрешается).

Для тех, кто сдает очно

Распределение (под-)групп по аудиториям.

R201: 201, 204-1

R207: 202, 204-2

R401: 205-1, 207-1, 2012

R404: 205-2, 208-2, 209-2, 2010-2

R405: 203-1, 209-1, 2011

R406: 203-2, 207-2, 208-1, 2010-1

Важное предупреждение Из-за ковидных ограничений в аудитории может находиться не более 50 студентов. Поэтому возможно, что ваc попросят перейти в другую, менее заполненную, аудиторию.

Для тех, кто сдает дистанционно

Задание будет выдано в том же гуглклассе, что и на зимнем экзамене. Код класса fyw7fdi (основной поток) Просьба зарегистрироваться под именем в формате (Фамилия Имя группа) по возможности кириллицей. Если вы уже зарегистрировались под другим именем просьба поменять его на это. Иначе вы рискуете не получить вовремя задание экзамена.

Ссылка на конференцию зум, в которой пройдет экзамен: https://zoom.us/j/95191107459

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

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

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

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

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

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

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

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

201 группа: 15.03 (понедельник), 14:40

202 группа: 15.03 (понедельник), 16:40

204 группа: 15.03 (понедельник), 15:40

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, пилотный поток
Занятие 24, основной поток: задачи на повторение	Занятие 24, пилотный поток

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

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

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

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

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

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

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

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

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

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

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

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

Решения 2014-2015

Варианты итоговых экзаменов прошлых лет (New!)

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

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

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

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

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

• Итоговый экзамен 2014-2015: Вариант.