DM1-SE-2020-21

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

Экзамен

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

Контрольная работа № 1

Контрольная работа № 1 состоится 1-го декабря с 1810 до 2010 МСК. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).

Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.

Контрольная состоит из 8 заданий. За каждое можно получить 0, 1/2 или 1 балл. Оценка за контрольную равна сумме баллов за решенные задачи, деленной на 8 (без округления; для ясности можно еще умножить на 10 -- формально это делается лишь с итоговой оценкой за семестр).

Ссылка на форму для загргузки работы (ссылка на задание -- в форме): https://docs.google.com/forms/d/e/1FAIpQLSfOwQ23H-BqaMzOrnCh16VBegXmYTiYs9DiCgHe4kAVNIC0Pw/viewform?usp=sf_link

Контрольная работа № 2

Контрольная работа № 2 состоится 19-го декабря с 1300 до 1500 МСК. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).

Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.

Ссылка на форму: https://docs.google.com/forms/d/e/1FAIpQLSfbbVYjxm3OatSsqa-L0-gIfSjGKhrLUwx2fi0KOcNJyMW6ig/viewform?usp=sf_link. Ссылка на задание: https://drive.google.com/file/d/1vsVjVPzPps8_R7vgcEREuVUP7esNNX4U/view?usp=sharing.

Контрольная работа № 3

Контрольная работа № 3 состоится 5-го апреля с 16:20 до 18:40 МСК. Контрольная пройдет в очном формате, распределение по аудиториям можно узнать в данной таблице.

Пишущим оффлайн разрешается использовать любые бумажные материалы и запрещаются любые электронные.

Пишущие через Zoom могут пользоваться оффлайн материалами под надзором проктора. Использование интернет-ресурсов помимо Zoom и чата курса в Telegram запрещается.

Ссылки для пишущих онлайн:

Контрольная работа № 4

Контрольная работа № 4 состоится 19-го июня с 1300 до 1530 МСК (работы принимаются строго до 15:45:00 МСК). Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).

Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/U3mg-j0ibdH6SxJa. Там же можно будет задать вопросы во время проведения работы.

Ссылка на форму: https://docs.google.com/forms/d/e/1FAIpQLSeiGqcdHNKr0k9oWGohvTwEFaWqk3ga1ANI2q88yN7Vjfba2A/viewform?usp=sf_link

Ссылка на задание: https://drive.google.com/file/d/1egzZpUjyoPNLOCNk_k8akljv2q1spPp6/view?usp=sharing

Экзамен

Экзамен состоится 29-го декабря с 1100 до 1300 МСК. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).

Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.

Записи занятий

Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.

Лекции

Лекция 8. Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.

Лекция 9. Решение линейного сравнения; китайская теорема об остатках; практическое решение системы линейных сравнений.

Лекция 10. Множества: аксиоматический подход; отношение принадлежности; аксиома основания; включение и равенство множеств; аксиома равенства; "принцип замены"; построение новых множеств: группировка нескольких множеств; синглетоны; выделение подмножества; пустое множество; множество-степень; объединение двух множеств (и более общий случай); пересечение и разность двух множеств.

Лекция 11. Замена включения на равенство; тождества алгебры множеств и примеры их применения; упорядоченная пара (по Куратовскому); критерий равенства пар; декартово произведение множеств; декартова степень.

Лекция 12. Бинарные отношения между множествами; области определения и значений, поле отношения; диаграмма отношения; отношение на множестве; тождественное отношение; обратное отношение; обращения обращения и объединения; композиция отношений; ассоциативность композиции; обращение композиции; композиция с тождественным отношением; образ и прообраз множества под действием отношения.

Лекция 13. Функциональные, инъективные, тотальные и сюръективные отношения; обращение и композиция отношений с такими свойствами; функции и их значения; композиция функций; критерий равенства функций; инъекции, сюръекции и биекции.

Лекция 14. Критерий биективности отношения; "парадокс" Галилея; равномощные множества; \N^2 равномощно \N; теорема Кантора.

Лекция 15. Тождества для декартовых произведений и степеней; индикаторные (характеристические) функции и их применения.

Лекция 16. Упорядоченные наборы и функции с конечной областью определения; вложения; теорема Кантора--Шрёдера--Бернштейна и ее применения; континуум-гипотеза.

Лекция 17. Конечные, бесконечные и счетные множества; приницип Дирихле и его следствия; мощность конечного множества.

Доп. лекция 1. Замыкание множества булевых функций и его свойства; критерий Поста.

Записи последующих занятий можно найти здесь.

Семинары Е. В. Дашкова

Семинар № 11. Множества.

Семинар № 12. Тождества алгебры множеств. Декартово произведение.

Семинар № 13. Бинарные отношения. Композиция, обращение и операции алгебры множеств. Образ множества.

Семинар № 14. Образ и прообраз. Свойства функциональности, инъективности, тотальности и сюръективности.

Семинар № 15. Функции, инъекции, сюръекции и биекции.

Семинар № 16. Продолжение предыдущего.

Семинар № 17. Индикаторные функции. Теорема Кантора--Шрёдера--Бернштейна.

Семинар № 18. Теорема Кантора--Шрёдера--Бернштейна. Счетные множества.

Записи последующих занятий можно найти здесь.

Консультации

Практическое решение линейного уравнения в целых числах.

Если число кратно нескольким попарно взаимно простым числам, то кратно и их произведению (очень подробное скучное доказательство); практическое решение системы сравнений --- применение алгоритма из доказательства китайской теоремы об остатках; подсчет числа решений линейного сравнения на примере.

Варианты определения упорядоченной пары множеств; возведение числа в степень по модулю.

Формула для семестровой оценки; разные задачи арифметики.

Приложения задачи Муавра и формулы включений-исключений.

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

Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. Ведомость

Сроки сдачи домашних заданий

For Group 201

  • CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома
  • HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00
  • HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00
  • HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00
  • HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00
  • HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00
  • HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.
  • HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00
  • HW 8 (третий домашний лист, задачи 1-5) - 5.12, 22:00
  • HW 9 (третий домашний лист, задачи 6-12) - 19.12, 22:00
  • HW 10 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00
  • HW 11 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00
  • HW 12 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00
  • HW 13 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00
  • HW 14 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00
  • HW 15 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00
  • HW 16 (шестой домашний лист, весь!) - 20.03, 00:00
  • HW 17 (седьмой домашний лист, задачи 1-4, 6, 8) - 5.04, 00:00
  • HW 18 (седьмой домашний лист, задачи 5,7, 9-14) - 17.04, 00:00
  • HW 19 (восьмой домашний лист, задачи 1-4) - 23.05, 00:00


For Group 210:

  • CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома
  • HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00
  • HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00
  • HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00
  • HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00
  • HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.
  • HW 6 (второй домашний лист, задачи 18-20) - 21.11, 22:00
  • HW 7 (третий домашний лист, задачи 1-5) - 5.12, 22:00
  • HW 8 (третий домашний лист, задачи 6-12) - 19.12, 22:00
  • HW 9 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00
  • HW 10 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00
  • HW 11 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00
  • HW 12 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00
  • HW 13 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00
  • HW 14 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00
  • HW 15 (шестой домашний лист, весь!) - 20.03, 00:00
  • HW 16 (седьмой домашний лист, задачи 1-4, 6, 8) - 5.04, 00:00
  • HW 17 (седьмой домашний лист, задачи 5,7, 9-14) - 17.04, 00:00
  • HW 18 (восьмой домашний лист, задачи 1-4) - 23.05, 00:00


БПИ 202

  • 3 октября — ДЗ1
  • 21 ноября — ДЗ2
  • 18 декабря — ДЗ3
  • 5 февраля — ДЗ4
  • 12 марта — ДЗ5
  • 22 марта — ДЗ6
  • 25 апреля — ДЗ7
  • 28 мая — ДЗ8
  • 20 июня — ДЗ9

For Group 203,204:

  • HW 1 (задачи 1-6) -- 24.09, до начала семинара

БПИ 206:

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

Различные материалы, включая конспекты, можно найти здесь.

Наборы задач

Задачи для семинаров Домашние задания
С 1 ДЗ 1
С 2 ДЗ 2
С 3 ---
С 4 ---
С 5 ---
С 6 ДЗ 3
С 7 ---
С 8 ДЗ 4
С 9 ДЗ 5
С 10 ДЗ 6
С 11 ДЗ 7
C 12 ДЗ 8
С 13 ДЗ 9
С 14

Прочие

  • У нас есть сервер для видео-конференция.
  • Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к Google Classroom к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:
Group 201 Group 210
llytf2w jidg2qh

Преподаватели

Лектор

Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, ВК.

Семинаристы

БПИ201, БПИ2010 - Анастасия Трофимова, почта: atrofimova@hse.ru, телеграм: @AnastasiiaTrofimova.

БПИ202 - Евгений Владимирович Дашков, почта: edashkov@gmail.com, телеграм: @edashkov.

БПИ203, БПИ204 - Дмитрий (Александрович) Шварц, почта: dshvarts@mail.ru, телеграм: @dshvarts.

БПИ205 - Артем Максаев, почта: artmak95@mail.ru.

БПИ206 - Антон Гнатенко, почта: agnatenko@hse.ru, телеграм: @antongnatenko.

БПИ207 - Никита Лукьяненко, почта: nickita.zangezi@yandex.ru, телеграм: @vaulty.

БПИ208, БПИ209 - Михаил Хрыстик, почта: mihailkhrystik@gmail.com.

Учебные ассистенты

БПИ201 - Дмитрий Калмыков Вк Telegram

БПИ202 - Агроскин Александр Вк Telegram avagroskin@edu.hse.ru

БПИ203 - Михаил Кузнецов Вк Telegram

БПИ204 - Максим Савинов Вк Telegram

БПИ205 - Илья Снимщиков Вк Telegram

БПИ206 - Дмитрий Лямзин Вк Telegram dslyamzin@edu.hse.ru

БПИ207 - Владислав Масельскас Вк Telegram

БПИ208 - Павел Нижегородов Вк Telegram

БПИ209 - Дарья Ерёмина Вк Telegram

БПИ2010 - Игорь Попов Вк Telegram

Литература

Наш курс опирается на разые источники. Вот некоторые полезные издания:

  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).