https://wiki.cs.hse.ru/api.php?action=feedcontributions&feedformat=atom&user=Avagr 2026-09-22T04:21:27Z Вклад MediaWiki 1.43.9 https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=52791 2021-04-04T19:00:08Z

<p>Avagr: /* Контрольная работа № 3 */ уточнил про онлайн</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> === Контрольная работа № 1 ===<br /> <br /> Контрольная работа № 1 состоится '''1-го декабря с 1810 до 2010 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Контрольная состоит из 8 заданий. За каждое можно получить 0, 1/2 или 1 балл. Оценка за контрольную равна сумме баллов за решенные задачи, деленной на 8 (без округления; для ясности можно еще умножить на 10 -- формально это делается лишь с итоговой оценкой за семестр).<br /> <br /> Ссылка на форму для загргузки работы (ссылка на задание -- в форме):<br /> https://docs.google.com/forms/d/e/1FAIpQLSfOwQ23H-BqaMzOrnCh16VBegXmYTiYs9DiCgHe4kAVNIC0Pw/viewform?usp=sf_link<br /> <br /> === Контрольная работа № 2 ===<br /> <br /> Контрольная работа № 2 состоится '''19-го декабря с 1300 до 1500 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Ссылка на форму: 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.<br /> <br /> === Контрольная работа № 3 ===<br /> <br /> Контрольная работа № 3 состоится '''5-го апреля с 16:20 до 18:40 МСК'''. Контрольная пройдет в очном формате, распределение по аудиториям можно узнать [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit#gid=1112772367 в данной таблице].<br /> <br /> Пишущим оффлайн разрешается использовать любые бумажные материалы и запрещаются любые электронные.<br /> <br /> Пишущие через Zoom могут пользоваться оффлайн материалами под надзором проктора. Использование интернет-ресурсов помимо Zoom и чата курса в Telegram запрещается.<br /> <br /> Ссылки для пишущих онлайн:<br /> * Zoom 1: https://zoom.us/j/97765870179<br /> * Zoom 2: https://zoom.us/j/96548397846<br /> <br /> === Экзамен ===<br /> <br /> Экзамен состоится '''29-го декабря с 1100 до 1300 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> == Записи занятий ==<br /> Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.<br /> <br /> === Лекции ===<br /> <br /> [https://youtu.be/FeHKd8FSJhc Лекция 8.] Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.<br /> <br /> [https://youtu.be/oj6RNUKKCZY Лекция 9.] Решение линейного сравнения; китайская теорема об остатках; практическое решение системы линейных сравнений.<br /> <br /> [https://youtu.be/xvU3EDJwHO8 Лекция 10.] Множества: аксиоматический подход; отношение принадлежности; аксиома основания; включение и равенство множеств; аксиома равенства; &quot;принцип замены&quot;; построение новых множеств: группировка нескольких множеств; синглетоны; выделение подмножества; пустое множество; множество-степень; объединение двух множеств (и более общий случай); пересечение и разность двух множеств.<br /> <br /> [https://youtu.be/iGfNt3Q8IC0 Лекция 11.] Замена включения на равенство; тождества алгебры множеств и примеры их применения; упорядоченная пара (по Куратовскому); критерий равенства пар; декартово произведение множеств; декартова степень.<br /> <br /> [https://youtu.be/yQF9PwmYFF4 Лекция 12.] Бинарные отношения между множествами; области определения и значений, поле отношения; диаграмма отношения; отношение на множестве; тождественное отношение; обратное отношение; обращения обращения и объединения; композиция отношений; ассоциативность композиции; обращение композиции; композиция с тождественным отношением; образ и прообраз множества под действием отношения.<br /> <br /> [https://youtu.be/kQDy3mfWzHI Лекция 13.] Функциональные, инъективные, тотальные и сюръективные отношения; обращение и композиция отношений с такими свойствами; функции и их значения; композиция функций; критерий равенства функций; инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/dGtm4T_YI9U Лекция 14.] Критерий биективности отношения; &quot;парадокс&quot; Галилея; равномощные множества; \N^2 равномощно \N; теорема Кантора.<br /> <br /> [https://youtu.be/nueQ-K4FZz4 Лекция 15.] Тождества для декартовых произведений и степеней; индикаторные (характеристические) функции и их применения.<br /> <br /> [https://youtu.be/yO5o_Ys-erI Лекция 16.] Упорядоченные наборы и функции с конечной областью определения; вложения; теорема Кантора--Шрёдера--Бернштейна и ее применения; континуум-гипотеза.<br /> <br /> [https://youtu.be/ZHQG0KKY8oY Лекция 17.] Конечные, бесконечные и счетные множества; приницип Дирихле и его следствия; мощность конечного множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Семинары Е. В. Дашкова ===<br /> <br /> [https://youtu.be/zx3yBDq7IlY Семинар № 11.] Множества.<br /> <br /> [https://youtu.be/6rMR5OSG49w Семинар № 12.] Тождества алгебры множеств. Декартово произведение.<br /> <br /> [https://youtu.be/RjFAU3Y-TmA Семинар № 13.] Бинарные отношения. Композиция, обращение и операции алгебры множеств. Образ множества.<br /> <br /> [https://youtu.be/3FpyaPZ2GmY Семинар № 14.] Образ и прообраз. Свойства функциональности, инъективности, тотальности и сюръективности.<br /> <br /> [https://youtu.be/Z96oZ4Uh-z8 Семинар № 15.] Функции, инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/fRQAxwCUZEE Семинар № 16.] Продолжение предыдущего.<br /> <br /> [https://youtu.be/rZn8qkTZZ4s Семинар № 17.] Индикаторные функции. Теорема Кантора--Шрёдера--Бернштейна.<br /> <br /> [https://youtu.be/yMYCvx8rNOU Семинар № 18.] Теорема Кантора--Шрёдера--Бернштейна. Счетные множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Консультации ===<br /> [https://youtu.be/ZsdkO3d8Su8 Практическое решение] линейного уравнения в целых числах.<br /> <br /> [https://youtu.be/nEaekzoVZJg Если число] кратно нескольким попарно взаимно простым числам, то кратно и их произведению (очень подробное скучное доказательство); практическое решение системы сравнений --- применение алгоритма из доказательства китайской теоремы об остатках; подсчет числа решений линейного сравнения на примере.<br /> <br /> [https://youtu.be/gEp_mQTEZQA Варианты определения] упорядоченной пары множеств; возведение числа в степень по модулю.<br /> <br /> [https://youtu.be/8lU0F_SXTGY Формула] для семестровой оценки; разные задачи арифметики.<br /> <br /> [https://youtu.be/edylFiIfKgs Приложения] задачи Муавра и формулы включений-исключений.<br /> <br /> == Текущая успеваемость ==<br /> Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit?usp=sharing Ведомость]<br /> <br /> == Сроки сдачи домашних заданий ==<br /> '''For Group 201 '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00<br /> * HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00<br /> * HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.<br /> * HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> * HW 8 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 9 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 10 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 11 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 15 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> * HW 16 (шестой домашний лист, весь!) - 20.03, 00:00<br /> <br /> <br /> '''For Group 210: '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00<br /> * HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.<br /> * HW 6 (второй домашний лист, задачи 18-20) - 21.11, 22:00<br /> * HW 7 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 8 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 9 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 10 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 11 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> * HW 15 (шестой домашний лист, весь!) - 20.03, 00:00<br /> <br /> <br /> ''' БПИ 202 '''<br /> * 3 октября — ДЗ1<br /> * 21 ноября — ДЗ2<br /> * 18 декабря — ДЗ3<br /> * 5 февраля — ДЗ4<br /> * 12 марта — ДЗ5<br /> * 22 марта — ДЗ6<br /> <br /> '''For Group 203,204:'''<br /> <br /> * HW 1 (задачи 1-6) -- 24.09, до начала семинара<br /> <br /> '''БПИ 206:'''<br /> * HW1 5 октября, 23:59 ([https://vk.com/away.php?to=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLScKY8amB1e0R8lLjBNeC3p_l8F3L6UYx3RpWuz_akYwdO3s9g%2Fviewform%3Fusp%3Dsf_link Гугл-форма])<br /> <br /> * HW2 20 ноября, 23:59 ([https://forms.gle/s7xYYVtDYBRKvfiP9 Гугл-форма])<br /> <br /> * HW3 18 декабря, 23:59 ([https://forms.gle/mcJwfkb5AP8w9udDA Гугл-форма])<br /> <br /> * HW4 10 февраля, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW5 10 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW6 28 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]<br /> |- <br /> || [https://drive.google.com/file/d/1zSdte9Y4mtlHSS561C8Fb7l5IjJA9Ltd/view?usp=sharing С 2] || [https://drive.google.com/file/d/1aaEE2Z-PlzX_gVK2q77IKrG2E_g_4BKH/view?usp=sharing ДЗ 2] <br /> |-<br /> || [https://drive.google.com/file/d/1FkSSImQIQ2JA8UppbfETB2huipmP1J3E/view?usp=sharing С 3] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1Xe0jE1V9RwRg2Ur_QOwTbzKayDvyqkwF/view?usp=sharing С 4] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1FejzUUPYxKzkdvjsUHPKD4C6qmyyDYBu/view?usp=sharing С 5] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1mluHqwEKDDHWbd2G3nKl38B6WZNWC_wU/view?usp=sharing С 6] || [https://drive.google.com/file/d/133C1bmtE4qR03plJkuhnLz7axFqkP39W/view?usp=sharing ДЗ 3]<br /> |-<br /> || [https://drive.google.com/file/d/16AQmnu-HXsUb8lPJjiEmeTY3RAD146Km/view?usp=sharing С 7] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1SRfnZ30ydIfqoMRQ3YkJidGdTKDpF4aC/view?usp=sharing С 8] || [https://drive.google.com/file/d/1UHaD7MNG7rUSSYFtKTkDGJheyA7kETJL/view?usp=sharing ДЗ 4]<br /> |-<br /> || [https://drive.google.com/file/d/1-EmLktTlL8BqI_qvR-S5jkE7k4v0bOwD/view?usp=sharing С 9] || [https://drive.google.com/file/d/1fQwWDrgxDGTplk4LFVKpxwKyiYQ9EIuX/view?usp=sharing ДЗ 5]<br /> |-<br /> || [https://drive.google.com/file/d/1RaHJTUIJaJwt2j6L8bPNF-uepFQ-XHwZ/view?usp=sharing С 10] || [https://drive.google.com/file/d/1pHXSa_-tJ-glD1kwgo_raScaUTRwTvzt/view?usp=sharing ДЗ 6]<br /> |-<br /> || [https://drive.google.com/file/d/1teV4wC8wioRFFNrFsTWi62UQxt88KSpx/view?usp=sharing С 11] || [https://drive.google.com/file/d/1PgZZBWelhs3gxhqkbpL_zUA76mEqLVjB/view?usp=sharing ДЗ 7]<br /> <br /> |}<br /> <br /> == Прочие ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * У нас есть [https://meet.edashkov.net сервер] для видео-конференция.<br /> <br /> * Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к [https://classroom.google.com Google Classroom] к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Group 201 || Group 210 <br /> |-<br /> || llytf2w || jidg2qh<br /> <br /> |}<br /> <br /> == Преподаватели ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> БПИ201, БПИ2010 - [https://www.hse.ru/org/persons/14300157 Анастасия Трофимова], почта: [mailto:atrofimova@hse.ru atrofimova@hse.ru], телеграм: [https://t.me/AnastasiiaTrofimova @AnastasiiaTrofimova].<br /> <br /> БПИ202 - Евгений Владимирович Дашков, почта: [mailto:edashkov@gmail.com edashkov@gmail.com], телеграм: [https://t.me/edashkov @edashkov].<br /> <br /> БПИ203, БПИ204 - [https://www.hse.ru/org/persons/64944 Дмитрий (Александрович) Шварц], почта: [mailto:dshvarts@mail.ru dshvarts@mail.ru], телеграм: [https://t.me/dshvarts @dshvarts].<br /> <br /> БПИ205 - [https://www.hse.ru/org/persons/310667694 Артем Максаев], почта: [mailto:artmak95@mail.ru artmak95@mail.ru].<br /> <br /> БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].<br /> <br /> БПИ207 - Никита Лукьяненко, почта: [mailto:nickita.zangezi@yandex.ru nickita.zangezi@yandex.ru], телеграм: [https://t.me/vaulty @vaulty].<br /> <br /> БПИ208, БПИ209 - Михаил Хрыстик, почта: [mailto:mihailkhrystik@gmail.com mihailkhrystik@gmail.com].<br /> <br /> === Учебные ассистенты ===<br /> БПИ201 - Дмитрий Калмыков [https://vk.com/de.kalmykov Вк] [https://t.me/DimaPI196 Telegram]<br /> <br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru<br /> <br /> БПИ207 - Владислав Масельскас [https://vk.com/maselskas Вк] [https://t.me/VladPobeda Telegram]<br /> <br /> БПИ208 - Павел Нижегородов [https://vk.com/admiralpavel Вк] [https://t.me/AdmiralPavel Telegram]<br /> <br /> БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]<br /> <br /> БПИ2010 - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=52788 2021-04-04T18:54:10Z

<p>Avagr: Добавил дату проведения кр3</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> === Контрольная работа № 1 ===<br /> <br /> Контрольная работа № 1 состоится '''1-го декабря с 1810 до 2010 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Контрольная состоит из 8 заданий. За каждое можно получить 0, 1/2 или 1 балл. Оценка за контрольную равна сумме баллов за решенные задачи, деленной на 8 (без округления; для ясности можно еще умножить на 10 -- формально это делается лишь с итоговой оценкой за семестр).<br /> <br /> Ссылка на форму для загргузки работы (ссылка на задание -- в форме):<br /> https://docs.google.com/forms/d/e/1FAIpQLSfOwQ23H-BqaMzOrnCh16VBegXmYTiYs9DiCgHe4kAVNIC0Pw/viewform?usp=sf_link<br /> <br /> === Контрольная работа № 2 ===<br /> <br /> Контрольная работа № 2 состоится '''19-го декабря с 1300 до 1500 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Ссылка на форму: 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.<br /> <br /> === Контрольная работа № 3 ===<br /> <br /> Контрольная работа № 3 состоится '''5-го апреля с 16:20 до 18:40 МСК'''. Контрольная пройдет в очном формате, распределение по аудиториям можно узнать [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit#gid=1112772367 в данной таблице].<br /> <br /> Пишущим оффлайн разрешается использовать любые бумажные материалы и запрещаются любые электронные.<br /> <br /> Ссылки для пишущих онлайн:<br /> * Zoom 1: https://zoom.us/j/97765870179<br /> * Zoom 2: https://zoom.us/j/96548397846<br /> <br /> === Экзамен ===<br /> <br /> Экзамен состоится '''29-го декабря с 1100 до 1300 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> == Записи занятий ==<br /> Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.<br /> <br /> === Лекции ===<br /> <br /> [https://youtu.be/FeHKd8FSJhc Лекция 8.] Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.<br /> <br /> [https://youtu.be/oj6RNUKKCZY Лекция 9.] Решение линейного сравнения; китайская теорема об остатках; практическое решение системы линейных сравнений.<br /> <br /> [https://youtu.be/xvU3EDJwHO8 Лекция 10.] Множества: аксиоматический подход; отношение принадлежности; аксиома основания; включение и равенство множеств; аксиома равенства; &quot;принцип замены&quot;; построение новых множеств: группировка нескольких множеств; синглетоны; выделение подмножества; пустое множество; множество-степень; объединение двух множеств (и более общий случай); пересечение и разность двух множеств.<br /> <br /> [https://youtu.be/iGfNt3Q8IC0 Лекция 11.] Замена включения на равенство; тождества алгебры множеств и примеры их применения; упорядоченная пара (по Куратовскому); критерий равенства пар; декартово произведение множеств; декартова степень.<br /> <br /> [https://youtu.be/yQF9PwmYFF4 Лекция 12.] Бинарные отношения между множествами; области определения и значений, поле отношения; диаграмма отношения; отношение на множестве; тождественное отношение; обратное отношение; обращения обращения и объединения; композиция отношений; ассоциативность композиции; обращение композиции; композиция с тождественным отношением; образ и прообраз множества под действием отношения.<br /> <br /> [https://youtu.be/kQDy3mfWzHI Лекция 13.] Функциональные, инъективные, тотальные и сюръективные отношения; обращение и композиция отношений с такими свойствами; функции и их значения; композиция функций; критерий равенства функций; инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/dGtm4T_YI9U Лекция 14.] Критерий биективности отношения; &quot;парадокс&quot; Галилея; равномощные множества; \N^2 равномощно \N; теорема Кантора.<br /> <br /> [https://youtu.be/nueQ-K4FZz4 Лекция 15.] Тождества для декартовых произведений и степеней; индикаторные (характеристические) функции и их применения.<br /> <br /> [https://youtu.be/yO5o_Ys-erI Лекция 16.] Упорядоченные наборы и функции с конечной областью определения; вложения; теорема Кантора--Шрёдера--Бернштейна и ее применения; континуум-гипотеза.<br /> <br /> [https://youtu.be/ZHQG0KKY8oY Лекция 17.] Конечные, бесконечные и счетные множества; приницип Дирихле и его следствия; мощность конечного множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Семинары Е. В. Дашкова ===<br /> <br /> [https://youtu.be/zx3yBDq7IlY Семинар № 11.] Множества.<br /> <br /> [https://youtu.be/6rMR5OSG49w Семинар № 12.] Тождества алгебры множеств. Декартово произведение.<br /> <br /> [https://youtu.be/RjFAU3Y-TmA Семинар № 13.] Бинарные отношения. Композиция, обращение и операции алгебры множеств. Образ множества.<br /> <br /> [https://youtu.be/3FpyaPZ2GmY Семинар № 14.] Образ и прообраз. Свойства функциональности, инъективности, тотальности и сюръективности.<br /> <br /> [https://youtu.be/Z96oZ4Uh-z8 Семинар № 15.] Функции, инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/fRQAxwCUZEE Семинар № 16.] Продолжение предыдущего.<br /> <br /> [https://youtu.be/rZn8qkTZZ4s Семинар № 17.] Индикаторные функции. Теорема Кантора--Шрёдера--Бернштейна.<br /> <br /> [https://youtu.be/yMYCvx8rNOU Семинар № 18.] Теорема Кантора--Шрёдера--Бернштейна. Счетные множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Консультации ===<br /> [https://youtu.be/ZsdkO3d8Su8 Практическое решение] линейного уравнения в целых числах.<br /> <br /> [https://youtu.be/nEaekzoVZJg Если число] кратно нескольким попарно взаимно простым числам, то кратно и их произведению (очень подробное скучное доказательство); практическое решение системы сравнений --- применение алгоритма из доказательства китайской теоремы об остатках; подсчет числа решений линейного сравнения на примере.<br /> <br /> [https://youtu.be/gEp_mQTEZQA Варианты определения] упорядоченной пары множеств; возведение числа в степень по модулю.<br /> <br /> [https://youtu.be/8lU0F_SXTGY Формула] для семестровой оценки; разные задачи арифметики.<br /> <br /> [https://youtu.be/edylFiIfKgs Приложения] задачи Муавра и формулы включений-исключений.<br /> <br /> == Текущая успеваемость ==<br /> Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit?usp=sharing Ведомость]<br /> <br /> == Сроки сдачи домашних заданий ==<br /> '''For Group 201 '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00<br /> * HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00<br /> * HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.<br /> * HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> * HW 8 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 9 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 10 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 11 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 15 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> * HW 16 (шестой домашний лист, весь!) - 20.03, 00:00<br /> <br /> <br /> '''For Group 210: '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00<br /> * HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.<br /> * HW 6 (второй домашний лист, задачи 18-20) - 21.11, 22:00<br /> * HW 7 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 8 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 9 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 10 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 11 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> * HW 15 (шестой домашний лист, весь!) - 20.03, 00:00<br /> <br /> <br /> ''' БПИ 202 '''<br /> * 3 октября — ДЗ1<br /> * 21 ноября — ДЗ2<br /> * 18 декабря — ДЗ3<br /> * 5 февраля — ДЗ4<br /> * 12 марта — ДЗ5<br /> * 22 марта — ДЗ6<br /> <br /> '''For Group 203,204:'''<br /> <br /> * HW 1 (задачи 1-6) -- 24.09, до начала семинара<br /> <br /> '''БПИ 206:'''<br /> * HW1 5 октября, 23:59 ([https://vk.com/away.php?to=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLScKY8amB1e0R8lLjBNeC3p_l8F3L6UYx3RpWuz_akYwdO3s9g%2Fviewform%3Fusp%3Dsf_link Гугл-форма])<br /> <br /> * HW2 20 ноября, 23:59 ([https://forms.gle/s7xYYVtDYBRKvfiP9 Гугл-форма])<br /> <br /> * HW3 18 декабря, 23:59 ([https://forms.gle/mcJwfkb5AP8w9udDA Гугл-форма])<br /> <br /> * HW4 10 февраля, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW5 10 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW6 28 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]<br /> |- <br /> || [https://drive.google.com/file/d/1zSdte9Y4mtlHSS561C8Fb7l5IjJA9Ltd/view?usp=sharing С 2] || [https://drive.google.com/file/d/1aaEE2Z-PlzX_gVK2q77IKrG2E_g_4BKH/view?usp=sharing ДЗ 2] <br /> |-<br /> || [https://drive.google.com/file/d/1FkSSImQIQ2JA8UppbfETB2huipmP1J3E/view?usp=sharing С 3] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1Xe0jE1V9RwRg2Ur_QOwTbzKayDvyqkwF/view?usp=sharing С 4] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1FejzUUPYxKzkdvjsUHPKD4C6qmyyDYBu/view?usp=sharing С 5] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1mluHqwEKDDHWbd2G3nKl38B6WZNWC_wU/view?usp=sharing С 6] || [https://drive.google.com/file/d/133C1bmtE4qR03plJkuhnLz7axFqkP39W/view?usp=sharing ДЗ 3]<br /> |-<br /> || [https://drive.google.com/file/d/16AQmnu-HXsUb8lPJjiEmeTY3RAD146Km/view?usp=sharing С 7] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1SRfnZ30ydIfqoMRQ3YkJidGdTKDpF4aC/view?usp=sharing С 8] || [https://drive.google.com/file/d/1UHaD7MNG7rUSSYFtKTkDGJheyA7kETJL/view?usp=sharing ДЗ 4]<br /> |-<br /> || [https://drive.google.com/file/d/1-EmLktTlL8BqI_qvR-S5jkE7k4v0bOwD/view?usp=sharing С 9] || [https://drive.google.com/file/d/1fQwWDrgxDGTplk4LFVKpxwKyiYQ9EIuX/view?usp=sharing ДЗ 5]<br /> |-<br /> || [https://drive.google.com/file/d/1RaHJTUIJaJwt2j6L8bPNF-uepFQ-XHwZ/view?usp=sharing С 10] || [https://drive.google.com/file/d/1pHXSa_-tJ-glD1kwgo_raScaUTRwTvzt/view?usp=sharing ДЗ 6]<br /> |-<br /> || [https://drive.google.com/file/d/1teV4wC8wioRFFNrFsTWi62UQxt88KSpx/view?usp=sharing С 11] || [https://drive.google.com/file/d/1PgZZBWelhs3gxhqkbpL_zUA76mEqLVjB/view?usp=sharing ДЗ 7]<br /> <br /> |}<br /> <br /> == Прочие ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * У нас есть [https://meet.edashkov.net сервер] для видео-конференция.<br /> <br /> * Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к [https://classroom.google.com Google Classroom] к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Group 201 || Group 210 <br /> |-<br /> || llytf2w || jidg2qh<br /> <br /> |}<br /> <br /> == Преподаватели ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> БПИ201, БПИ2010 - [https://www.hse.ru/org/persons/14300157 Анастасия Трофимова], почта: [mailto:atrofimova@hse.ru atrofimova@hse.ru], телеграм: [https://t.me/AnastasiiaTrofimova @AnastasiiaTrofimova].<br /> <br /> БПИ202 - Евгений Владимирович Дашков, почта: [mailto:edashkov@gmail.com edashkov@gmail.com], телеграм: [https://t.me/edashkov @edashkov].<br /> <br /> БПИ203, БПИ204 - [https://www.hse.ru/org/persons/64944 Дмитрий (Александрович) Шварц], почта: [mailto:dshvarts@mail.ru dshvarts@mail.ru], телеграм: [https://t.me/dshvarts @dshvarts].<br /> <br /> БПИ205 - [https://www.hse.ru/org/persons/310667694 Артем Максаев], почта: [mailto:artmak95@mail.ru artmak95@mail.ru].<br /> <br /> БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].<br /> <br /> БПИ207 - Никита Лукьяненко, почта: [mailto:nickita.zangezi@yandex.ru nickita.zangezi@yandex.ru], телеграм: [https://t.me/vaulty @vaulty].<br /> <br /> БПИ208, БПИ209 - Михаил Хрыстик, почта: [mailto:mihailkhrystik@gmail.com mihailkhrystik@gmail.com].<br /> <br /> === Учебные ассистенты ===<br /> БПИ201 - Дмитрий Калмыков [https://vk.com/de.kalmykov Вк] [https://t.me/DimaPI196 Telegram]<br /> <br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru<br /> <br /> БПИ207 - Владислав Масельскас [https://vk.com/maselskas Вк] [https://t.me/VladPobeda Telegram]<br /> <br /> БПИ208 - Павел Нижегородов [https://vk.com/admiralpavel Вк] [https://t.me/AdmiralPavel Telegram]<br /> <br /> БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]<br /> <br /> БПИ2010 - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=52058 2021-03-12T15:24:59Z

<p>Avagr: Сдвинул дедлайн дз6 для БПИ202</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> === Контрольная работа № 1 ===<br /> <br /> Контрольная работа № 1 состоится '''1-го декабря с 1810 до 2010 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Контрольная состоит из 8 заданий. За каждое можно получить 0, 1/2 или 1 балл. Оценка за контрольную равна сумме баллов за решенные задачи, деленной на 8 (без округления; для ясности можно еще умножить на 10 -- формально это делается лишь с итоговой оценкой за семестр).<br /> <br /> Ссылка на форму для загргузки работы (ссылка на задание -- в форме):<br /> https://docs.google.com/forms/d/e/1FAIpQLSfOwQ23H-BqaMzOrnCh16VBegXmYTiYs9DiCgHe4kAVNIC0Pw/viewform?usp=sf_link<br /> <br /> === Контрольная работа № 2 ===<br /> <br /> Контрольная работа № 2 состоится '''19-го декабря с 1300 до 1500 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Ссылка на форму: 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.<br /> <br /> === Экзамен ===<br /> <br /> Экзамен состоится '''29-го декабря с 1100 до 1300 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> == Записи занятий ==<br /> Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.<br /> <br /> === Лекции ===<br /> <br /> [https://youtu.be/FeHKd8FSJhc Лекция 8.] Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.<br /> <br /> [https://youtu.be/oj6RNUKKCZY Лекция 9.] Решение линейного сравнения; китайская теорема об остатках; практическое решение системы линейных сравнений.<br /> <br /> [https://youtu.be/xvU3EDJwHO8 Лекция 10.] Множества: аксиоматический подход; отношение принадлежности; аксиома основания; включение и равенство множеств; аксиома равенства; &quot;принцип замены&quot;; построение новых множеств: группировка нескольких множеств; синглетоны; выделение подмножества; пустое множество; множество-степень; объединение двух множеств (и более общий случай); пересечение и разность двух множеств.<br /> <br /> [https://youtu.be/iGfNt3Q8IC0 Лекция 11.] Замена включения на равенство; тождества алгебры множеств и примеры их применения; упорядоченная пара (по Куратовскому); критерий равенства пар; декартово произведение множеств; декартова степень.<br /> <br /> [https://youtu.be/yQF9PwmYFF4 Лекция 12.] Бинарные отношения между множествами; области определения и значений, поле отношения; диаграмма отношения; отношение на множестве; тождественное отношение; обратное отношение; обращения обращения и объединения; композиция отношений; ассоциативность композиции; обращение композиции; композиция с тождественным отношением; образ и прообраз множества под действием отношения.<br /> <br /> [https://youtu.be/kQDy3mfWzHI Лекция 13.] Функциональные, инъективные, тотальные и сюръективные отношения; обращение и композиция отношений с такими свойствами; функции и их значения; композиция функций; критерий равенства функций; инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/dGtm4T_YI9U Лекция 14.] Критерий биективности отношения; &quot;парадокс&quot; Галилея; равномощные множества; \N^2 равномощно \N; теорема Кантора.<br /> <br /> [https://youtu.be/nueQ-K4FZz4 Лекция 15.] Тождества для декартовых произведений и степеней; индикаторные (характеристические) функции и их применения.<br /> <br /> [https://youtu.be/yO5o_Ys-erI Лекция 16.] Упорядоченные наборы и функции с конечной областью определения; вложения; теорема Кантора--Шрёдера--Бернштейна и ее применения; континуум-гипотеза.<br /> <br /> [https://youtu.be/ZHQG0KKY8oY Лекция 17.] Конечные, бесконечные и счетные множества; приницип Дирихле и его следствия; мощность конечного множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Семинары Е. В. Дашкова ===<br /> <br /> [https://youtu.be/zx3yBDq7IlY Семинар № 11.] Множества.<br /> <br /> [https://youtu.be/6rMR5OSG49w Семинар № 12.] Тождества алгебры множеств. Декартово произведение.<br /> <br /> [https://youtu.be/RjFAU3Y-TmA Семинар № 13.] Бинарные отношения. Композиция, обращение и операции алгебры множеств. Образ множества.<br /> <br /> [https://youtu.be/3FpyaPZ2GmY Семинар № 14.] Образ и прообраз. Свойства функциональности, инъективности, тотальности и сюръективности.<br /> <br /> [https://youtu.be/Z96oZ4Uh-z8 Семинар № 15.] Функции, инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/fRQAxwCUZEE Семинар № 16.] Продолжение предыдущего.<br /> <br /> [https://youtu.be/rZn8qkTZZ4s Семинар № 17.] Индикаторные функции. Теорема Кантора--Шрёдера--Бернштейна.<br /> <br /> [https://youtu.be/yMYCvx8rNOU Семинар № 18.] Теорема Кантора--Шрёдера--Бернштейна. Счетные множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Консультации ===<br /> [https://youtu.be/ZsdkO3d8Su8 Практическое решение] линейного уравнения в целых числах.<br /> <br /> [https://youtu.be/nEaekzoVZJg Если число] кратно нескольким попарно взаимно простым числам, то кратно и их произведению (очень подробное скучное доказательство); практическое решение системы сравнений --- применение алгоритма из доказательства китайской теоремы об остатках; подсчет числа решений линейного сравнения на примере.<br /> <br /> [https://youtu.be/gEp_mQTEZQA Варианты определения] упорядоченной пары множеств; возведение числа в степень по модулю.<br /> <br /> [https://youtu.be/8lU0F_SXTGY Формула] для семестровой оценки; разные задачи арифметики.<br /> <br /> [https://youtu.be/edylFiIfKgs Приложения] задачи Муавра и формулы включений-исключений.<br /> <br /> == Текущая успеваемость ==<br /> Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit?usp=sharing Ведомость]<br /> <br /> == Сроки сдачи домашних заданий ==<br /> '''For Group 201 '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00<br /> * HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00<br /> * HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.<br /> * HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> * HW 8 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 9 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 10 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 11 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 15 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> * HW 16 (шестой домашний лист, весь!) - 20.03, 00:00<br /> <br /> <br /> '''For Group 210: '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00<br /> * HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.<br /> * HW 6 (второй домашний лист, задачи 18-20) - 21.11, 22:00<br /> * HW 7 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 8 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 9 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 10 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 11 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> * HW 15 (шестой домашний лист, весь!) - 20.03, 00:00<br /> <br /> <br /> ''' БПИ 202 '''<br /> * 3 октября — ДЗ1<br /> * 21 ноября — ДЗ2<br /> * 18 декабря — ДЗ3<br /> * 5 февраля — ДЗ4<br /> * 12 марта — ДЗ5<br /> * 22 марта — ДЗ6<br /> <br /> '''For Group 203,204:'''<br /> <br /> * HW 1 (задачи 1-6) -- 24.09, до начала семинара<br /> <br /> '''БПИ 206:'''<br /> * HW1 5 октября, 23:59 ([https://vk.com/away.php?to=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLScKY8amB1e0R8lLjBNeC3p_l8F3L6UYx3RpWuz_akYwdO3s9g%2Fviewform%3Fusp%3Dsf_link Гугл-форма])<br /> <br /> * HW2 20 ноября, 23:59 ([https://forms.gle/s7xYYVtDYBRKvfiP9 Гугл-форма])<br /> <br /> * HW3 18 декабря, 23:59 ([https://forms.gle/mcJwfkb5AP8w9udDA Гугл-форма])<br /> <br /> * HW4 10 февраля, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW5 10 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]<br /> |- <br /> || [https://drive.google.com/file/d/1zSdte9Y4mtlHSS561C8Fb7l5IjJA9Ltd/view?usp=sharing С 2] || [https://drive.google.com/file/d/1aaEE2Z-PlzX_gVK2q77IKrG2E_g_4BKH/view?usp=sharing ДЗ 2] <br /> |-<br /> || [https://drive.google.com/file/d/1FkSSImQIQ2JA8UppbfETB2huipmP1J3E/view?usp=sharing С 3] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1Xe0jE1V9RwRg2Ur_QOwTbzKayDvyqkwF/view?usp=sharing С 4] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1FejzUUPYxKzkdvjsUHPKD4C6qmyyDYBu/view?usp=sharing С 5] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1mluHqwEKDDHWbd2G3nKl38B6WZNWC_wU/view?usp=sharing С 6] || [https://drive.google.com/file/d/133C1bmtE4qR03plJkuhnLz7axFqkP39W/view?usp=sharing ДЗ 3]<br /> |-<br /> || [https://drive.google.com/file/d/16AQmnu-HXsUb8lPJjiEmeTY3RAD146Km/view?usp=sharing С 7] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1SRfnZ30ydIfqoMRQ3YkJidGdTKDpF4aC/view?usp=sharing С 8] || [https://drive.google.com/file/d/1UHaD7MNG7rUSSYFtKTkDGJheyA7kETJL/view?usp=sharing ДЗ 4]<br /> |-<br /> || [https://drive.google.com/file/d/1-EmLktTlL8BqI_qvR-S5jkE7k4v0bOwD/view?usp=sharing С 9] || [https://drive.google.com/file/d/1fQwWDrgxDGTplk4LFVKpxwKyiYQ9EIuX/view?usp=sharing ДЗ 5]<br /> |-<br /> || [https://drive.google.com/file/d/1RaHJTUIJaJwt2j6L8bPNF-uepFQ-XHwZ/view?usp=sharing С 10] || [https://drive.google.com/file/d/1pHXSa_-tJ-glD1kwgo_raScaUTRwTvzt/view?usp=sharing ДЗ 6]<br /> |}<br /> <br /> == Прочие ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * У нас есть [https://meet.edashkov.net сервер] для видео-конференция.<br /> <br /> * Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к [https://classroom.google.com Google Classroom] к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Group 201 || Group 210 <br /> |-<br /> || llytf2w || jidg2qh<br /> <br /> |}<br /> <br /> == Преподаватели ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> БПИ201, БПИ2010 - [https://www.hse.ru/org/persons/14300157 Анастасия Трофимова], почта: [mailto:atrofimova@hse.ru atrofimova@hse.ru], телеграм: [https://t.me/AnastasiiaTrofimova @AnastasiiaTrofimova].<br /> <br /> БПИ202 - Евгений Владимирович Дашков, почта: [mailto:edashkov@gmail.com edashkov@gmail.com], телеграм: [https://t.me/edashkov @edashkov].<br /> <br /> БПИ203, БПИ204 - [https://www.hse.ru/org/persons/64944 Дмитрий (Александрович) Шварц], почта: [mailto:dshvarts@mail.ru dshvarts@mail.ru], телеграм: [https://t.me/dshvarts @dshvarts].<br /> <br /> БПИ205 - [https://www.hse.ru/org/persons/310667694 Артем Максаев], почта: [mailto:artmak95@mail.ru artmak95@mail.ru].<br /> <br /> БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].<br /> <br /> БПИ207 - Никита Лукьяненко, почта: [mailto:nickita.zangezi@yandex.ru nickita.zangezi@yandex.ru], телеграм: [https://t.me/vaulty @vaulty].<br /> <br /> БПИ208, БПИ209 - Михаил Хрыстик, почта: [mailto:mihailkhrystik@gmail.com mihailkhrystik@gmail.com].<br /> <br /> === Учебные ассистенты ===<br /> БПИ201 - Дмитрий Калмыков [https://vk.com/de.kalmykov Вк] [https://t.me/DimaPI196 Telegram]<br /> <br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru<br /> <br /> БПИ207 - Владислав Масельскас [https://vk.com/maselskas Вк] [https://t.me/VladPobeda Telegram]<br /> <br /> БПИ208 - Павел Нижегородов [https://vk.com/admiralpavel Вк] [https://t.me/AdmiralPavel Telegram]<br /> <br /> БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]<br /> <br /> БПИ2010 - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=51871 2021-03-07T21:46:13Z

<p>Avagr: Дедлайн дз6 для БПИ202</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> === Контрольная работа № 1 ===<br /> <br /> Контрольная работа № 1 состоится '''1-го декабря с 1810 до 2010 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Контрольная состоит из 8 заданий. За каждое можно получить 0, 1/2 или 1 балл. Оценка за контрольную равна сумме баллов за решенные задачи, деленной на 8 (без округления; для ясности можно еще умножить на 10 -- формально это делается лишь с итоговой оценкой за семестр).<br /> <br /> Ссылка на форму для загргузки работы (ссылка на задание -- в форме):<br /> https://docs.google.com/forms/d/e/1FAIpQLSfOwQ23H-BqaMzOrnCh16VBegXmYTiYs9DiCgHe4kAVNIC0Pw/viewform?usp=sf_link<br /> <br /> === Контрольная работа № 2 ===<br /> <br /> Контрольная работа № 2 состоится '''19-го декабря с 1300 до 1500 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Ссылка на форму: 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.<br /> <br /> === Экзамен ===<br /> <br /> Экзамен состоится '''29-го декабря с 1100 до 1300 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> == Записи занятий ==<br /> Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.<br /> <br /> === Лекции ===<br /> <br /> [https://youtu.be/FeHKd8FSJhc Лекция 8.] Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.<br /> <br /> [https://youtu.be/oj6RNUKKCZY Лекция 9.] Решение линейного сравнения; китайская теорема об остатках; практическое решение системы линейных сравнений.<br /> <br /> [https://youtu.be/xvU3EDJwHO8 Лекция 10.] Множества: аксиоматический подход; отношение принадлежности; аксиома основания; включение и равенство множеств; аксиома равенства; &quot;принцип замены&quot;; построение новых множеств: группировка нескольких множеств; синглетоны; выделение подмножества; пустое множество; множество-степень; объединение двух множеств (и более общий случай); пересечение и разность двух множеств.<br /> <br /> [https://youtu.be/iGfNt3Q8IC0 Лекция 11.] Замена включения на равенство; тождества алгебры множеств и примеры их применения; упорядоченная пара (по Куратовскому); критерий равенства пар; декартово произведение множеств; декартова степень.<br /> <br /> [https://youtu.be/yQF9PwmYFF4 Лекция 12.] Бинарные отношения между множествами; области определения и значений, поле отношения; диаграмма отношения; отношение на множестве; тождественное отношение; обратное отношение; обращения обращения и объединения; композиция отношений; ассоциативность композиции; обращение композиции; композиция с тождественным отношением; образ и прообраз множества под действием отношения.<br /> <br /> [https://youtu.be/kQDy3mfWzHI Лекция 13.] Функциональные, инъективные, тотальные и сюръективные отношения; обращение и композиция отношений с такими свойствами; функции и их значения; композиция функций; критерий равенства функций; инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/dGtm4T_YI9U Лекция 14.] Критерий биективности отношения; &quot;парадокс&quot; Галилея; равномощные множества; \N^2 равномощно \N; теорема Кантора.<br /> <br /> [https://youtu.be/nueQ-K4FZz4 Лекция 15.] Тождества для декартовых произведений и степеней; индикаторные (характеристические) функции и их применения.<br /> <br /> [https://youtu.be/yO5o_Ys-erI Лекция 16.] Упорядоченные наборы и функции с конечной областью определения; вложения; теорема Кантора--Шрёдера--Бернштейна и ее применения; континуум-гипотеза.<br /> <br /> [https://youtu.be/ZHQG0KKY8oY Лекция 17.] Конечные, бесконечные и счетные множества; приницип Дирихле и его следствия; мощность конечного множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Семинары Е. В. Дашкова ===<br /> <br /> [https://youtu.be/zx3yBDq7IlY Семинар № 11.] Множества.<br /> <br /> [https://youtu.be/6rMR5OSG49w Семинар № 12.] Тождества алгебры множеств. Декартово произведение.<br /> <br /> [https://youtu.be/RjFAU3Y-TmA Семинар № 13.] Бинарные отношения. Композиция, обращение и операции алгебры множеств. Образ множества.<br /> <br /> [https://youtu.be/3FpyaPZ2GmY Семинар № 14.] Образ и прообраз. Свойства функциональности, инъективности, тотальности и сюръективности.<br /> <br /> [https://youtu.be/Z96oZ4Uh-z8 Семинар № 15.] Функции, инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/fRQAxwCUZEE Семинар № 16.] Продолжение предыдущего.<br /> <br /> [https://youtu.be/rZn8qkTZZ4s Семинар № 17.] Индикаторные функции. Теорема Кантора--Шрёдера--Бернштейна.<br /> <br /> [https://youtu.be/yMYCvx8rNOU Семинар № 18.] Теорема Кантора--Шрёдера--Бернштейна. Счетные множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Консультации ===<br /> [https://youtu.be/ZsdkO3d8Su8 Практическое решение] линейного уравнения в целых числах.<br /> <br /> [https://youtu.be/nEaekzoVZJg Если число] кратно нескольким попарно взаимно простым числам, то кратно и их произведению (очень подробное скучное доказательство); практическое решение системы сравнений --- применение алгоритма из доказательства китайской теоремы об остатках; подсчет числа решений линейного сравнения на примере.<br /> <br /> [https://youtu.be/gEp_mQTEZQA Варианты определения] упорядоченной пары множеств; возведение числа в степень по модулю.<br /> <br /> [https://youtu.be/8lU0F_SXTGY Формула] для семестровой оценки; разные задачи арифметики.<br /> <br /> [https://youtu.be/edylFiIfKgs Приложения] задачи Муавра и формулы включений-исключений.<br /> <br /> == Текущая успеваемость ==<br /> Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit?usp=sharing Ведомость]<br /> <br /> == Сроки сдачи домашних заданий ==<br /> '''For Group 201 '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00<br /> * HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00<br /> * HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.<br /> * HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> * HW 8 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 9 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 10 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 11 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 15 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> <br /> <br /> '''For Group 210: '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00<br /> * HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.<br /> * HW 6 (второй домашний лист, задачи 18-20) - 21.11, 22:00<br /> * HW 7 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 8 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 9 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 10 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 11 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> <br /> <br /> ''' БПИ 202 '''<br /> * 3 октября — ДЗ1<br /> * 21 ноября — ДЗ2<br /> * 18 декабря — ДЗ3<br /> * 5 февраля — ДЗ4<br /> * 12 марта — ДЗ5<br /> * 19 марта — ДЗ6<br /> <br /> '''For Group 203,204:'''<br /> <br /> * HW 1 (задачи 1-6) -- 24.09, до начала семинара<br /> <br /> '''БПИ 206:'''<br /> * HW1 5 октября, 23:59 ([https://vk.com/away.php?to=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLScKY8amB1e0R8lLjBNeC3p_l8F3L6UYx3RpWuz_akYwdO3s9g%2Fviewform%3Fusp%3Dsf_link Гугл-форма])<br /> <br /> * HW2 20 ноября, 23:59 ([https://forms.gle/s7xYYVtDYBRKvfiP9 Гугл-форма])<br /> <br /> * HW3 18 декабря, 23:59 ([https://forms.gle/mcJwfkb5AP8w9udDA Гугл-форма])<br /> <br /> * HW4 10 февраля, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW5 10 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]<br /> |- <br /> || [https://drive.google.com/file/d/1zSdte9Y4mtlHSS561C8Fb7l5IjJA9Ltd/view?usp=sharing С 2] || [https://drive.google.com/file/d/1aaEE2Z-PlzX_gVK2q77IKrG2E_g_4BKH/view?usp=sharing ДЗ 2] <br /> |-<br /> || [https://drive.google.com/file/d/1FkSSImQIQ2JA8UppbfETB2huipmP1J3E/view?usp=sharing С 3] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1Xe0jE1V9RwRg2Ur_QOwTbzKayDvyqkwF/view?usp=sharing С 4] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1FejzUUPYxKzkdvjsUHPKD4C6qmyyDYBu/view?usp=sharing С 5] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1mluHqwEKDDHWbd2G3nKl38B6WZNWC_wU/view?usp=sharing С 6] || [https://drive.google.com/file/d/133C1bmtE4qR03plJkuhnLz7axFqkP39W/view?usp=sharing ДЗ 3]<br /> |-<br /> || [https://drive.google.com/file/d/16AQmnu-HXsUb8lPJjiEmeTY3RAD146Km/view?usp=sharing С 7] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1SRfnZ30ydIfqoMRQ3YkJidGdTKDpF4aC/view?usp=sharing С 8] || [https://drive.google.com/file/d/1UHaD7MNG7rUSSYFtKTkDGJheyA7kETJL/view?usp=sharing ДЗ 4]<br /> |-<br /> || [https://drive.google.com/file/d/1-EmLktTlL8BqI_qvR-S5jkE7k4v0bOwD/view?usp=sharing С 9] || [https://drive.google.com/file/d/1fQwWDrgxDGTplk4LFVKpxwKyiYQ9EIuX/view?usp=sharing ДЗ 5]<br /> |-<br /> || [https://drive.google.com/file/d/1RaHJTUIJaJwt2j6L8bPNF-uepFQ-XHwZ/view?usp=sharing С 10] || [https://drive.google.com/file/d/1pHXSa_-tJ-glD1kwgo_raScaUTRwTvzt/view?usp=sharing ДЗ 6]<br /> |}<br /> <br /> == Прочие ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * У нас есть [https://meet.edashkov.net сервер] для видео-конференция.<br /> <br /> * Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к [https://classroom.google.com Google Classroom] к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Group 201 || Group 210 <br /> |-<br /> || llytf2w || jidg2qh<br /> <br /> |}<br /> <br /> == Преподаватели ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> БПИ201, БПИ2010 - [https://www.hse.ru/org/persons/14300157 Анастасия Трофимова], почта: [mailto:atrofimova@hse.ru atrofimova@hse.ru], телеграм: [https://t.me/AnastasiiaTrofimova @AnastasiiaTrofimova].<br /> <br /> БПИ202 - Евгений Владимирович Дашков, почта: [mailto:edashkov@gmail.com edashkov@gmail.com], телеграм: [https://t.me/edashkov @edashkov].<br /> <br /> БПИ203, БПИ204 - [https://www.hse.ru/org/persons/64944 Дмитрий (Александрович) Шварц], почта: [mailto:dshvarts@mail.ru dshvarts@mail.ru], телеграм: [https://t.me/dshvarts @dshvarts].<br /> <br /> БПИ205 - [https://www.hse.ru/org/persons/310667694 Артем Максаев], почта: [mailto:artmak95@mail.ru artmak95@mail.ru].<br /> <br /> БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].<br /> <br /> БПИ207 - Никита Лукьяненко, почта: [mailto:nickita.zangezi@yandex.ru nickita.zangezi@yandex.ru], телеграм: [https://t.me/vaulty @vaulty].<br /> <br /> БПИ208, БПИ209 - Михаил Хрыстик, почта: [mailto:mihailkhrystik@gmail.com mihailkhrystik@gmail.com].<br /> <br /> === Учебные ассистенты ===<br /> БПИ201 - Дмитрий Калмыков [https://vk.com/de.kalmykov Вк] [https://t.me/DimaPI196 Telegram]<br /> <br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru<br /> <br /> БПИ207 - Владислав Масельскас [https://vk.com/maselskas Вк] [https://t.me/VladPobeda Telegram]<br /> <br /> БПИ208 - Павел Нижегородов [https://vk.com/admiralpavel Вк] [https://t.me/AdmiralPavel Telegram]<br /> <br /> БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]<br /> <br /> БПИ2010 - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=51708 2021-03-01T19:45:30Z

<p>Avagr: Добавил дедлайн дз5 для группы БПИ202</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> === Контрольная работа № 1 ===<br /> <br /> Контрольная работа № 1 состоится '''1-го декабря с 1810 до 2010 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Контрольная состоит из 8 заданий. За каждое можно получить 0, 1/2 или 1 балл. Оценка за контрольную равна сумме баллов за решенные задачи, деленной на 8 (без округления; для ясности можно еще умножить на 10 -- формально это делается лишь с итоговой оценкой за семестр).<br /> <br /> Ссылка на форму для загргузки работы (ссылка на задание -- в форме):<br /> https://docs.google.com/forms/d/e/1FAIpQLSfOwQ23H-BqaMzOrnCh16VBegXmYTiYs9DiCgHe4kAVNIC0Pw/viewform?usp=sf_link<br /> <br /> === Контрольная работа № 2 ===<br /> <br /> Контрольная работа № 2 состоится '''19-го декабря с 1300 до 1500 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> Ссылка на форму: 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.<br /> <br /> === Экзамен ===<br /> <br /> Экзамен состоится '''29-го декабря с 1100 до 1300 МСК'''. Контрольная пройдет заочно: студенты получают задания и до окончания отведенного времени загружают скан или фото своей работы по указанной ссылке (Google Forms; требуется залогиниться в Гугле!).<br /> <br /> Задание и ссылка для загрузки будут выложены в нашей группе в Телеграме: https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg. Там же можно будет задать вопросы во время проведения работы.<br /> <br /> == Записи занятий ==<br /> Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.<br /> <br /> === Лекции ===<br /> <br /> [https://youtu.be/FeHKd8FSJhc Лекция 8.] Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.<br /> <br /> [https://youtu.be/oj6RNUKKCZY Лекция 9.] Решение линейного сравнения; китайская теорема об остатках; практическое решение системы линейных сравнений.<br /> <br /> [https://youtu.be/xvU3EDJwHO8 Лекция 10.] Множества: аксиоматический подход; отношение принадлежности; аксиома основания; включение и равенство множеств; аксиома равенства; &quot;принцип замены&quot;; построение новых множеств: группировка нескольких множеств; синглетоны; выделение подмножества; пустое множество; множество-степень; объединение двух множеств (и более общий случай); пересечение и разность двух множеств.<br /> <br /> [https://youtu.be/iGfNt3Q8IC0 Лекция 11.] Замена включения на равенство; тождества алгебры множеств и примеры их применения; упорядоченная пара (по Куратовскому); критерий равенства пар; декартово произведение множеств; декартова степень.<br /> <br /> [https://youtu.be/yQF9PwmYFF4 Лекция 12.] Бинарные отношения между множествами; области определения и значений, поле отношения; диаграмма отношения; отношение на множестве; тождественное отношение; обратное отношение; обращения обращения и объединения; композиция отношений; ассоциативность композиции; обращение композиции; композиция с тождественным отношением; образ и прообраз множества под действием отношения.<br /> <br /> [https://youtu.be/kQDy3mfWzHI Лекция 13.] Функциональные, инъективные, тотальные и сюръективные отношения; обращение и композиция отношений с такими свойствами; функции и их значения; композиция функций; критерий равенства функций; инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/dGtm4T_YI9U Лекция 14.] Критерий биективности отношения; &quot;парадокс&quot; Галилея; равномощные множества; \N^2 равномощно \N; теорема Кантора.<br /> <br /> [https://youtu.be/nueQ-K4FZz4 Лекция 15.] Тождества для декартовых произведений и степеней; индикаторные (характеристические) функции и их применения.<br /> <br /> [https://youtu.be/yO5o_Ys-erI Лекция 16.] Упорядоченные наборы и функции с конечной областью определения; вложения; теорема Кантора--Шрёдера--Бернштейна и ее применения; континуум-гипотеза.<br /> <br /> [https://youtu.be/ZHQG0KKY8oY Лекция 17.] Конечные, бесконечные и счетные множества; приницип Дирихле и его следствия; мощность конечного множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Семинары Е. В. Дашкова ===<br /> <br /> [https://youtu.be/zx3yBDq7IlY Семинар № 11.] Множества.<br /> <br /> [https://youtu.be/6rMR5OSG49w Семинар № 12.] Тождества алгебры множеств. Декартово произведение.<br /> <br /> [https://youtu.be/RjFAU3Y-TmA Семинар № 13.] Бинарные отношения. Композиция, обращение и операции алгебры множеств. Образ множества.<br /> <br /> [https://youtu.be/3FpyaPZ2GmY Семинар № 14.] Образ и прообраз. Свойства функциональности, инъективности, тотальности и сюръективности.<br /> <br /> [https://youtu.be/Z96oZ4Uh-z8 Семинар № 15.] Функции, инъекции, сюръекции и биекции.<br /> <br /> [https://youtu.be/fRQAxwCUZEE Семинар № 16.] Продолжение предыдущего.<br /> <br /> [https://youtu.be/rZn8qkTZZ4s Семинар № 17.] Индикаторные функции. Теорема Кантора--Шрёдера--Бернштейна.<br /> <br /> [https://youtu.be/yMYCvx8rNOU Семинар № 18.] Теорема Кантора--Шрёдера--Бернштейна. Счетные множества.<br /> <br /> Записи '''последующих занятий''' можно найти [https://eduhseru-my.sharepoint.com/:f:/g/personal/kroslovtseva_hse_ru/Ep35ftZAsIdBt0UQaIyEwQUBGrTQef85RqKcrBeofmYx0Q?e=FI0fwQ здесь].<br /> <br /> === Консультации ===<br /> [https://youtu.be/ZsdkO3d8Su8 Практическое решение] линейного уравнения в целых числах.<br /> <br /> [https://youtu.be/nEaekzoVZJg Если число] кратно нескольким попарно взаимно простым числам, то кратно и их произведению (очень подробное скучное доказательство); практическое решение системы сравнений --- применение алгоритма из доказательства китайской теоремы об остатках; подсчет числа решений линейного сравнения на примере.<br /> <br /> [https://youtu.be/gEp_mQTEZQA Варианты определения] упорядоченной пары множеств; возведение числа в степень по модулю.<br /> <br /> [https://youtu.be/8lU0F_SXTGY Формула] для семестровой оценки; разные задачи арифметики.<br /> <br /> [https://youtu.be/edylFiIfKgs Приложения] задачи Муавра и формулы включений-исключений.<br /> <br /> == Текущая успеваемость ==<br /> Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit?usp=sharing Ведомость]<br /> <br /> == Сроки сдачи домашних заданий ==<br /> '''For Group 201 '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00<br /> * HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00<br /> * HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.<br /> * HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> * HW 8 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 9 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 10 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 11 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 15 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> <br /> <br /> '''For Group 210: '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00<br /> * HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.<br /> * HW 6 (второй домашний лист, задачи 18-20) - 21.11, 22:00<br /> * HW 7 (третий домашний лист, задачи 1-5) - 5.12, 22:00<br /> * HW 8 (третий домашний лист, задачи 6-12) - 19.12, 22:00<br /> * HW 9 (четвертый домашний лист, задачи 1-9) - 30.01, 00:00<br /> * HW 10 (четвертый домашний лист, задачи 10-13) - 6.02, 00:00<br /> * HW 11 (пятый домашний лист, задачи 1,4,6,10) - 13.02, 00:00<br /> * HW 12 (пятый домашний лист, задачи 2,5,8,9,13) - 20.02, 00:00<br /> * HW 13 (пятый домашний лист, задачи 7,11,12) - 27.02, 00:00<br /> * HW 14 (пятый домашний лист, задачи 3,14-16) - 6.03, 00:00<br /> <br /> <br /> ''' БПИ 202 '''<br /> * 3 октября — ДЗ1<br /> * 21 ноября — ДЗ2<br /> * 18 декабря — ДЗ3<br /> * 5 февраля — ДЗ4<br /> * 12 марта — ДЗ5<br /> <br /> '''For Group 203,204:'''<br /> <br /> * HW 1 (задачи 1-6) -- 24.09, до начала семинара<br /> <br /> '''БПИ 206:'''<br /> * HW1 5 октября, 23:59 ([https://vk.com/away.php?to=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLScKY8amB1e0R8lLjBNeC3p_l8F3L6UYx3RpWuz_akYwdO3s9g%2Fviewform%3Fusp%3Dsf_link Гугл-форма])<br /> <br /> * HW2 20 ноября, 23:59 ([https://forms.gle/s7xYYVtDYBRKvfiP9 Гугл-форма])<br /> <br /> * HW3 18 декабря, 23:59 ([https://forms.gle/mcJwfkb5AP8w9udDA Гугл-форма])<br /> <br /> * HW4 10 февраля, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> * HW5 10 марта, 23:59 ([https://forms.gle/NbfYpTCm1a4qxwjH7 Гугл-форма])<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]<br /> |- <br /> || [https://drive.google.com/file/d/1zSdte9Y4mtlHSS561C8Fb7l5IjJA9Ltd/view?usp=sharing С 2] || [https://drive.google.com/file/d/1aaEE2Z-PlzX_gVK2q77IKrG2E_g_4BKH/view?usp=sharing ДЗ 2] <br /> |-<br /> || [https://drive.google.com/file/d/1FkSSImQIQ2JA8UppbfETB2huipmP1J3E/view?usp=sharing С 3] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1Xe0jE1V9RwRg2Ur_QOwTbzKayDvyqkwF/view?usp=sharing С 4] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1FejzUUPYxKzkdvjsUHPKD4C6qmyyDYBu/view?usp=sharing С 5] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1mluHqwEKDDHWbd2G3nKl38B6WZNWC_wU/view?usp=sharing С 6] || [https://drive.google.com/file/d/133C1bmtE4qR03plJkuhnLz7axFqkP39W/view?usp=sharing ДЗ 3]<br /> |-<br /> || [https://drive.google.com/file/d/16AQmnu-HXsUb8lPJjiEmeTY3RAD146Km/view?usp=sharing С 7] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1SRfnZ30ydIfqoMRQ3YkJidGdTKDpF4aC/view?usp=sharing С 8] || [https://drive.google.com/file/d/1UHaD7MNG7rUSSYFtKTkDGJheyA7kETJL/view?usp=sharing ДЗ 4]<br /> |-<br /> || [https://drive.google.com/file/d/1-EmLktTlL8BqI_qvR-S5jkE7k4v0bOwD/view?usp=sharing С 9] || [https://drive.google.com/file/d/1fQwWDrgxDGTplk4LFVKpxwKyiYQ9EIuX/view?usp=sharing ДЗ 5]<br /> |}<br /> <br /> == Прочие ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * У нас есть [https://meet.edashkov.net сервер] для видео-конференция.<br /> <br /> * Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к [https://classroom.google.com Google Classroom] к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Group 201 || Group 210 <br /> |-<br /> || llytf2w || jidg2qh<br /> <br /> |}<br /> <br /> == Преподаватели ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> БПИ201, БПИ2010 - [https://www.hse.ru/org/persons/14300157 Анастасия Трофимова], почта: [mailto:atrofimova@hse.ru atrofimova@hse.ru], телеграм: [https://t.me/AnastasiiaTrofimova @AnastasiiaTrofimova].<br /> <br /> БПИ202 - Евгений Владимирович Дашков, почта: [mailto:edashkov@gmail.com edashkov@gmail.com], телеграм: [https://t.me/edashkov @edashkov].<br /> <br /> БПИ203, БПИ204 - [https://www.hse.ru/org/persons/64944 Дмитрий (Александрович) Шварц], почта: [mailto:dshvarts@mail.ru dshvarts@mail.ru], телеграм: [https://t.me/dshvarts @dshvarts].<br /> <br /> БПИ205 - [https://www.hse.ru/org/persons/310667694 Артем Максаев], почта: [mailto:artmak95@mail.ru artmak95@mail.ru].<br /> <br /> БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].<br /> <br /> БПИ207 - Никита Лукьяненко, почта: [mailto:nickita.zangezi@yandex.ru nickita.zangezi@yandex.ru], телеграм: [https://t.me/vaulty @vaulty].<br /> <br /> БПИ208, БПИ209 - Михаил Хрыстик, почта: [mailto:mihailkhrystik@gmail.com mihailkhrystik@gmail.com].<br /> <br /> === Учебные ассистенты ===<br /> БПИ201 - Дмитрий Калмыков [https://vk.com/de.kalmykov Вк] [https://t.me/DimaPI196 Telegram]<br /> <br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru<br /> <br /> БПИ207 - Владислав Масельскас [https://vk.com/maselskas Вк] [https://t.me/VladPobeda Telegram]<br /> <br /> БПИ208 - Павел Нижегородов [https://vk.com/admiralpavel Вк] [https://t.me/AdmiralPavel Telegram]<br /> <br /> БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]<br /> <br /> БПИ2010 - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1RM6KX_reBFwUXesWGUEu0sFn2NCaBgvz/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=47196 2020-11-12T19:25:24Z

<p>Avagr: /* Добавил дедлайн для 202й группы */</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> == Записи занятий ==<br /> Начиная со второго модуля ведется регулярная запись заочных лекций и семинаров.<br /> <br /> === Лекции ===<br /> <br /> [https://youtu.be/FeHKd8FSJhc Лекция 8.] Расширенный алгортим Евклида; решение линейного уравнения с двумя неизвестными в целых числах.<br /> <br /> === Семинары ===<br /> <br /> === Консультации ===<br /> [https://youtu.be/ZsdkO3d8Su8 Практическое решение линейного уравнения в целых числах.]<br /> <br /> == Текущая успеваемость ==<br /> Таблица с результатами проверки домашних заданий, самостоятельных работ и т.д. [https://docs.google.com/spreadsheets/d/1O3mNmi43Lh-Mipb-VP-hb7GdfL8i2OxsWGjRbtvmsk8/edit?usp=sharing Ведомость]<br /> <br /> == Сроки сдачи домашних заданий ==<br /> '''For Group 201 '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 15.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-10) — 25.10, 22:00<br /> * HW 5 (второй домашний лист, задачи 11-15) — 5.11, 22:00<br /> *HW 6 (второй домашний лист, задачи 16,17, 21,22) - 12.11, 22:00.<br /> * HW 7 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> <br /> '''For Group 210: '''<br /> <br /> * CW 1 (задачи 3b)d), 4 b)c)e)f)), выполнить дома<br /> * HW 1 (первый домашний лист, задачи 1-4) — 1.10, 22:00<br /> * HW 2 (первый домашний лист, задачи 5-9) — 8.10, 22:00<br /> * HW 3 (второй домашний лист, задачи 1-3) — 18.10, 22:00<br /> * HW 4 (второй домашний лист, задачи 4-7 и 9-12) — 8.11, 22:00<br /> * HW 5 (второй домашний лист, задачи 8, 13-17, 21,22) - 15.11, 22:00.<br /> * HW 6 (второй домашний лист, задачи 18-20) - 19.11, 22:00<br /> <br /> <br /> ''' БПИ 202 '''<br /> * 3 октября — ДЗ1<br /> * 21 ноября — ДЗ2<br /> <br /> <br /> '''For Group 203,204:'''<br /> <br /> * HW 1 (задачи 1-6) -- 24.09, до начала семинара<br /> <br /> '''БПИ 206:'''<br /> * 5 октября, 23:59 ([https://vk.com/away.php?to=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLScKY8amB1e0R8lLjBNeC3p_l8F3L6UYx3RpWuz_akYwdO3s9g%2Fviewform%3Fusp%3Dsf_link Гугл-форма])<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1]<br /> |- <br /> || [https://drive.google.com/file/d/1zSdte9Y4mtlHSS561C8Fb7l5IjJA9Ltd/view?usp=sharing С 2] || [https://drive.google.com/file/d/1aaEE2Z-PlzX_gVK2q77IKrG2E_g_4BKH/view?usp=sharing ДЗ 2] <br /> |-<br /> || [https://drive.google.com/file/d/1FkSSImQIQ2JA8UppbfETB2huipmP1J3E/view?usp=sharing С 3] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1Xe0jE1V9RwRg2Ur_QOwTbzKayDvyqkwF/view?usp=sharing С 4] || ---<br /> |-<br /> || [https://drive.google.com/file/d/1FejzUUPYxKzkdvjsUHPKD4C6qmyyDYBu/view?usp=sharing С 5] || ---<br /> |}<br /> <br /> == Прочие ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * У нас есть [https://meet.edashkov.net сервер] для видео-конференция.<br /> <br /> * Если вы студент 201 или 210 группы, пожалуйста, присоединитесь к [https://classroom.google.com Google Classroom] к своей группе для сдачи домашнего задания. Используйте следующие коды и обязательно своё настоящее имя:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Group 201 || Group 210 <br /> |-<br /> || llytf2w || jidg2qh<br /> <br /> |}<br /> <br /> == Преподаватели ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> БПИ201, БПИ2010 - [https://www.hse.ru/org/persons/14300157 Анастасия Трофимова], почта: [mailto:atrofimova@hse.ru atrofimova@hse.ru], телеграм: [https://t.me/AnastasiiaTrofimova @AnastasiiaTrofimova].<br /> <br /> БПИ202 - Евгений Владимирович Дашков, почта: [mailto:edashkov@gmail.com edashkov@gmail.com], телеграм: [https://t.me/edashkov @edashkov].<br /> <br /> БПИ203, БПИ204 - [https://www.hse.ru/org/persons/64944 Дмитрий (Александрович) Шварц], почта: [mailto:dshvarts@mail.ru dshvarts@mail.ru], телеграм: [https://t.me/dshvarts @dshvarts].<br /> <br /> БПИ205 - [https://www.hse.ru/org/persons/310667694 Артем Максаев], почта: [mailto:artmak95@mail.ru artmak95@mail.ru].<br /> <br /> БПИ206 - [https://www.hse.ru/org/persons/305069360 Антон Гнатенко], почта: [mailto:agnatenko@hse.ru agnatenko@hse.ru], телеграм: [https://t.me/antongnatenko @antongnatenko].<br /> <br /> БПИ207 - Никита Лукьяненко, почта: [mailto:nickita.zangezi@yandex.ru nickita.zangezi@yandex.ru], телеграм: [https://t.me/vaulty @vaulty].<br /> <br /> БПИ208, БПИ209 - Михаил Хрыстик, почта: [mailto:mihailkhrystik@gmail.com mihailkhrystik@gmail.com].<br /> <br /> === Учебные ассистенты ===<br /> БПИ201 - Дмитрий Калмыков [https://vk.com/de.kalmykov Вк] [https://t.me/DimaPI196 Telegram]<br /> <br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ204 - Максим Савинов [https://vk.com/id139918569 Вк] [https://t.me/Orlett Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> БПИ206 - Дмитрий Лямзин [https://vk.com/entifier Вк] [https://t.me/entifier Telegram] dslyamzin@edu.hse.ru<br /> <br /> БПИ207 - Владислав Масельскас [https://vk.com/maselskas Вк] [https://t.me/VladPobeda Telegram]<br /> <br /> БПИ208 - Павел Нижегородов [https://vk.com/admiralpavel Вк] [https://t.me/AdmiralPavel Telegram]<br /> <br /> БПИ209 - Дарья Ерёмина [https://vk.com/dariaeremina Вк] [https://t.me/darrria_e Telegram]<br /> <br /> БПИ2010 - Александр Мишуткин [https://vk.com/luke_notskywalker Вк] [https://t.me/UnsignedUser Telegram]<br /> <br /> Ассистент лектора - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1DBwUuZhHjAJhKmyDeAwQGf9R69YDAeAZ/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr https://wiki.cs.hse.ru/index.php?title=DM1-SE-2020-21&diff=43916 2020-09-09T17:22:47Z

<p>Avagr: Внес себя в список ассистентов</p> <hr /> <div>== Экзамен ==<br /> <br /> == Контрольные работы ==<br /> <br /> <br /> <br /> == Текущая успеваемость ==<br /> You can check your progress up to now via the<br /> [ DM1 Register Online].<br /> <br /> == Homework Deadlines ==<br /> '''For Group ?:'''<br /> <br /> * HW 1 -- September ?<br /> <br /> == Материалы курса ==<br /> <br /> Различные материалы, включая конспекты, можно найти [https://drive.google.com/drive/folders/1vJQkWLMxA-3_T9pb3EelOCd_3wsUvcXC?usp=sharing здесь].<br /> <br /> === Наборы задач ===<br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Задачи для семинаров || Домашние задания<br /> |-<br /> || [https://drive.google.com/file/d/19da3AHNlChr937bT-f1YxuzIzHzv3mA1/view?usp=sharing С 1] || [https://drive.google.com/file/d/10QacqgKwC9ecCvLgJGebNb1DQETNobu2/view?usp=sharing ДЗ 1] <br /> |}<br /> <br /> == Other Resources ==<br /> <br /> * НАСТОЯТЕЛЬНО советуем примкнуть к нашей [https://t.me/joinchat/M0dUGBfT1uRLAa41-ksSWg группе в Телеграме].<br /> <br /> * We have a [https://meet.edashkov.net dedicated server] to hold an online meeting if we need one.<br /> <br /> == Professors ==<br /> <br /> === Лектор ===<br /> <br /> Евгений Владимирович Дашков. Мои контакты: edashkov@gmail.com, ТГ: @edashkov, [https://vk.com/evgeny.v.dashkov ВК].<br /> <br /> === Семинаристы ===<br /> <br /> === Учебные ассистенты ===<br /> БПИ202 - Агроскин Александр [https://vk.com/avagrthefirst Вк] [http://t.me/McAvagr Telegram] avagroskin@edu.hse.ru <br /> <br /> БПИ203 - Михаил Кузнецов [https://vk.com/rokymiel Вк] [https://t.me/rokymiel Telegram]<br /> <br /> БПИ205 - Илья Снимщиков [https://vk.com/snimshchikov Вк] [https://t.me/snimshchikov Telegram]<br /> <br /> Ассистент лектора - Игорь Попов [https://vk.com/rlnddschn Вк] [https://t.me/dtrlnddschn Telegram]<br /> <br /> == Литература ==<br /> Наш курс опирается на разые источники. Вот некоторые полезные издания:<br /> <br /> # Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1--3. 5-е изд., М: МЦНМО, 2017.<br /> # Виноградов И. М. Основы теории чисел. 9-е изд., М.: Наука, 1981.<br /> # [http://rubtsov.su/public/DM-HSE-Draft.pdf Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А. Лекции по дискретной математике.]<br /> # Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. 3-е изд., М.: ФИЗМАТЛИТ, 2004.<br /> # [https://drive.google.com/file/d/1DBwUuZhHjAJhKmyDeAwQGf9R69YDAeAZ/view?usp=sharing Дашков Е. В. Введение в математическую логику. Множества и отношения. М.: МФТИ, 2019.]<br /> # Зубков А. М., Севастьянов Б. А., Чистяков В. П. Сборник задач по теории вероятностей. 2-е изд., М.: Наука, 1989.<br /> # Ландо С. К., Лекции о производящих функциях. 3-е изд, М.: МЦНМО, 2007.<br /> # Мельников О. И. Теория графов в занимательных задачах. 5-е изд., М.: Книжный дом &quot;ЛИБРОКОМ&quot;, 2013.<br /> # [http://www.mccme.ru/free-books/shen/shen-induction.pdf Шень А., Математическая индукция. 5-е изд, М.: МЦНМО, 2016.]<br /> <br /> == Аттестация и оценки ==<br /> <br /> Во 2-ом модуле производится промежуточная аттестация за осенний<br /> семестр.<br /> <br /> В осеннем семестре проводятся две контрольные работы (КР1 и<br /> КР2); выдается и проверяется домашнее задание (ДЗ2). Оценка за<br /> контрольную работу выставляется в долях единицы без округления (т.е. с<br /> максимальной доступной используемым вычислительным средствам<br /> точностью). Оценка ДЗ2 также выставляется в долях единицы без<br /> округления. Оценка ДЗ2 может быть больше единицы за счет &quot;бонусных<br /> баллов&quot;.<br /> <br /> Накопленная оценка НК2 за осенний семестр вычисляется по формулам:<br /> <br /> НК2' = 10 * min (1, 0.35 * КР1 + 0.35 * КР2 + 0.3 * ДЗ2)<br /> <br /> НК2 = ОКРУГЛ (НК2').<br /> <br /> Здесь и далее ОКРУГЛение производится к ближайшему целому числу, причем<br /> полуцелые числа округляются вверх.<br /> <br /> Если НК2 &gt;= 4, то промежуточная оценка за осенний семестр Э2 = НК2.<br /> <br /> Если НК2 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК2, оцениваемое по десятибалльной системе. В этом случае<br /> промежуточная оценка за осенний семестр<br /> <br /> Э2 = ОКРУГЛ (0.7 * ИК2 + 0.3 * НК2').<br /> <br /> В весеннем семестре проводятся две контрольные работы (КР3 и<br /> КР4); выдается и проверяется домашнее задание (ДЗ4). Оценки<br /> выставляются так же, как и в осеннем семестре.<br /> <br /> Накопленная оценка НК4 за весенний семестр вычисляется по формулам:<br /> <br /> НК4' = 10 * min (1, 0.35 * КР3 + 0.35 * КР4 + 0.3 * ДЗ4)<br /> <br /> НК4 = ОКРУГЛ (НК4').<br /> <br /> Если НК4 &gt;= 4, то итоговая оценка за весенний семестр Э4 = НК4.<br /> <br /> Если НК4 &lt; 4, студенту предлагается выполнить итоговое контрольное<br /> задание ИК4, оцениваемое по десятибалльной системе. В этом случае<br /> итоговая оценка за весенний семестр<br /> <br /> Э4 = ОКРУГЛ (0.7 * ИК4 + 0.3 * НК4').<br /> <br /> Результирующая оценка Р по дисциплине выставляется по десятибалльной<br /> шкале согласно формуле<br /> <br /> Р = ОКРУГЛ (0.5 * Э2 + 0.5 * Э4).</div>

Avagr