DM DRIP-2025-26 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Ansidiana (обсуждение | вклад) (Новая страница: «== <big>Общая информация</big> == === <big>Коммуникация</big> === [https://t.me/+VrDVC161ghM4Yzhi '''Чат курса''']. В нём…») |
Ansidiana (обсуждение | вклад) |
||
| Строка 15: | Строка 15: | ||
|- | |- | ||
|} | |} | ||
| + | |||
| + | == Объявления, важные даты и информация об элементах контроля: == | ||
| + | '''1. Коллоквиум:''' | ||
| + | |||
| + | '''2. Экзамен:''' | ||
| + | == Формула оценивания == | ||
| + | '''О = 0.275* О<sub>ДЗ</sub> + 0.05* О<sub>СР</sub> + 0.275*О<sub>КЛ</sub> + 0.4*О<sub>ЭКЗ</sub>''' <br/> | ||
| + | * ЭКЗ = оценка за экзамен | ||
| + | * КЛ - оценка за коллоквиум, | ||
| + | * ДЗ — оценка за домашние задания, | ||
| + | * СР — оценка за самостоятельные работы. | ||
| + | |||
| + | == Материалы курса == | ||
| + | |||
| + | * [https://publications.hse.ru/mirror/pubs/share/direct/393719078.pdf Черновик учебника.] В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (окончательный вариант есть на бумаге - издан издательством ВШЭ, см. ниже). | ||
| + | * [https://www.dropbox.com/scl/fi/fgf1q0i10rawsf4rs8xm5/DMlec-ead.pdf?rlkey=nwrvydereofkgh89jp083mc9y&dl=0 Конспекты лекций.] В этом файле будут собираться конспекты лекций. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой. | ||
| + | * Задачи для разбора на семинарах и домашние задания. | ||
| + | ** [https://www.dropbox.com/scl/fi/510i990vtrog0tv84uzz2/cw01ead25.pdf?rlkey=d1buhlzvxo844z8gwtza96v4h&dl=0 Занятие 1.] Срок сдачи ДЗ - 18 сентября 21:00. | ||
| + | * [https://www.dropbox.com/scl/fi/t3yytv3yk61wa90g98706/extra.pdf?rlkey=h0qclgg6dsx3nsreochmt5dt3&dl=0 Дополнительные домашние задания] (в одном файле ко всем занятиям). Рекомендуется решать и сдавать эти задачи для подготовки к коллоквиумам и экзаменам. Они проверяются, но не учитываются в оценке за курс. | ||
| + | |||
| + | ==Результаты== | ||
| + | По ссылке ниже можно посмотреть результаты проверки ДЗ. Также там будут результаты самостоятельных работ, коллоквиумов и экзаменов. | ||
| + | |||
| + | [TODO <big>'''Таблица с результатами'''</big>] | ||
| + | |||
| + | Домашние задания следует сдавать вовремя. В случае опоздания не более чем на час штраф 20%; от часа до двух - 40%; от двух до трёх - 60%; от трёх до четырёх - 80%; в случае опоздания более чем на четыре часа ДЗ не проверяется. | ||
| + | |||
| + | '''Комментарий.''' Домашние задания можно писать в системе LaTeX и сдавать в виде скомпилированного pdf-файла. В таком случае вы получаете <b>бонус</b> — дедлайны для соответствующего домашнего задания сдвигаются вперёд на 2 часа. Например, если сдать заТеХанное ДЗ в 23:30, то вы получите штраф не 60%, а 20%. А если сдать заТеХанное ДЗ в 22:55, то никакого штрафа не будет! | ||
| + | |||
| + | {| class="wikitable" style="text-align:center" | ||
| + | |- | ||
| + | ! Группа !! Куда сдавать ДЗ | ||
| + | |- | ||
| + | || БДРИП251 || [TODO тык] | ||
| + | |- | ||
| + | || БДРИП252 || [TODO тык] | ||
| + | |- | ||
| + | |} | ||
| + | |||
| + | == Литература == | ||
| + | |||
| + | Список литературы содержит, помимо учебников, разнообразные научно-популярные книги и даже брошюрки для самых маленьких. Это сделано для того, чтобы студенты могли изучить более доступное изложение материала. У свободно распространяемых изданий указана ссылка на полную версию книги. | ||
| + | |||
| + | <ol><li> М.Вялый, В.Подольский, А.Рубцов, Д.Шварц, А.Шень. Лекции по дискретной математике. Изд. Дом ВШЭ, 2021. 495 с. ''(Окончательный вариант учебника, изданный ВШЭ. Выше есть ссылка на черновик.)''</li> | ||
| + | |||
| + | <li>[https://mccme.ru/mmmf-lectures/books/books/book.34.pdf В.А.Успенский. Простейшие примеры математических доказательств.] ''(Эта небольшая брошюра рекомендуется в первую очередь для повышения уровня математической культуры. Если вы чувствуете, что вы не очень разобрались в основных методах доказательств в математике, эта книга - для вас.)''</li> | ||
| + | |||
| + | <li>[http://www.mvo.unn.ru/files/2020/03/9-%D0%A0%D0%B5%D0%BC%D0%B8%D0%B7%D0%BE%D0%B2-%D0%98.%D0%94.-%D0%A1%D0%A2%D0%90%D0%9D%D0%94%D0%90%D0%A0%D0%A2%D0%9D%D0%AB%D0%95-%D0%9E%D0%91%D0%9E%D0%97%D0%9D%D0%90%D0%A7%D0%95%D0%9D%D0%98%D0%AF-%D0%98-%D0%A4%D0%90%D0%9A%D0%A2%D0%AB-%D0%A2%D0%95%D0%9E%D0%A0%D0%98%D0%98-%D0%9C%D0%9D%D0%9E%D0%96%D0%95%D0%A1%D0%A2%D0%92.pdf И. Д. Ремизов. Стандартные обозначения и факты теории множеств.] ''(Конспект всего лишь на 20 страниц, являющийся азбукой высшей математики. В нём коротко изложены основные понятия, которые повсюду встречаются при изучении математики.)''</li> | ||
| + | |||
| + | '''Логика (булевы связки, высказывания)''' | ||
| + | |||
| + | <li> А.Н.Колмогоров, А.Г.Драгалин. Математическая логика. ''(Классический университетский учебник. Для первого чтения может быть тяжеловато.)''</li> | ||
| + | |||
| + | <li> [https://uchebnik.mos.ru/system_2/atomic_objects/files/008/411/807/original/Logika2-text.pdf И.В.Раскина. Логика для всех: от пиратов до мудрецов.] ''(Спокойное, обстоятельное объяснение сути булевых связок и метода доказательства от противного. В книге много задач, доступных школьникам.)'' </li> | ||
| + | |||
| + | <li> Р.М.Смаллиан. Как же называется эта книга? ''(Книга для любителей логических головоломок. Горячо советую эту и другие книги Смаллиана.)'' </li> | ||
| + | |||
| + | '''Индукция''' | ||
| + | |||
| + | <li>[https://mccme.ru/free-books/shen/shen-induction.pdf А.Шень. Математическая индукция] ''(Небольшая брошюра от издательства МЦНМО.)''</li> | ||
| + | |||
| + | <li>Э.Мендельсон. Введение в математическую логику. ''(Для более глубокого знакомства с фундаментальным значением математической индукции можно изучить главу 3.)''</li> | ||
| + | |||
| + | '''Комбинаторика''' | ||
| + | <li>Н.Я.Виленкин, А.Н.Виленкин, П.А.Виленкин. Комбинаторика. ''(Довольно популярное изложение, при этом в книге есть весьма сложные темы.)''</li> | ||
| + | |||
| + | '''Теория множеств''' | ||
| + | <li>[https://mccme.ru/free-books/vilenkin-rasomn.pdf Н.Я.Виленкин. Рассказы о множествах.] ''(Книжечка по теории множеств для самых маленьких. Ещё там весьма увлекательно рассказывается о красивых математических примерах.)''</li> | ||
| + | <li>[https://mccme.ru/free-books/shen/shen-logic-part1-2.pdf Н.К.Верещагин, А.Шень. Начала теории множеств.] ''(Немного потруднее, но вполне доступно. Авторы нашли удачный баланс между наивной и формальной теорией множеств.)''</li> | ||
| + | <li>[http://www.mvo.unn.ru/wp-includes/ms-files.php?file=2020/03/9-%D0%91%D0%B5%D0%B3%D1%83%D0%BD%D1%86-%D0%90.%D0%92.-%D0%A2%D0%A0%D0%98-%D0%94%D0%9E%D0%9A%D0%90%D0%97%D0%90%D0%A2%D0%95%D0%9B%D0%AC%D0%A1%D0%A2%D0%92%D0%90-%D0%A2%D0%95%D0%9E%D0%A0%D0%95%D0%9C%D0%AB-%D0%9A%D0%90%D0%9D%D0%A2%D0%9E%D0%A0%D0%90-%D0%91%D0%95%D0%A0%D0%9D%D0%A8%D0%A2%D0%95%D0%99%D0%9D%D0%90.pdf А.В.Бегунц. Три доказательства теоремы Кантора-Бернштейна.] ''(Эта теорема - одна из самых трудных, но самых важных в курсе. Так что предлагаю изучить различные подходы к ней.)''</li> | ||
| + | |||
| + | '''Графы''' | ||
| + | <li>О.Оре. Теория графов. ''(Пожалуй, одна из самых известных монографий по теории графов. Что приятно, в ней много картинок.)''</li> | ||
| + | |||
| + | '''Теория чисел''' | ||
| + | <li>[https://mccme.ru/free-books/pdf/alfutova.pdf Н.Б.Алфутова, А.В.Устинов. Алгебра и теория чисел для математических школ.] ''(В этой же книге можно порешать задачи по индукции и комбинаторике.)''</li> | ||
| + | </ol> | ||
Версия 23:18, 5 сентября 2025
Содержание
Общая информация
Коммуникация
Чат курса. В нём продублирована информация с Вики и подробнее публикуется организационная информация.
Преподаватели и ассистенты
Лектор: Оноприенко Анастасия Александровна. Лекции проходят по понедельникам, 13:00 - 14:20
| Группа | Семинарист | Учебный ассистент |
|---|---|---|
| БДРИП251 | Корнеев Сергей Александрович | Шамаев Александр |
| БЭАД252 | Зайцева Анна Тиграновна | Клушин Артём |
Объявления, важные даты и информация об элементах контроля:
1. Коллоквиум:
2. Экзамен:
Формула оценивания
О = 0.275* ОДЗ + 0.05* ОСР + 0.275*ОКЛ + 0.4*ОЭКЗ
- ЭКЗ = оценка за экзамен
- КЛ - оценка за коллоквиум,
- ДЗ — оценка за домашние задания,
- СР — оценка за самостоятельные работы.
Материалы курса
- Черновик учебника. В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (окончательный вариант есть на бумаге - издан издательством ВШЭ, см. ниже).
- Конспекты лекций. В этом файле будут собираться конспекты лекций. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой.
- Задачи для разбора на семинарах и домашние задания.
- Занятие 1. Срок сдачи ДЗ - 18 сентября 21:00.
- Дополнительные домашние задания (в одном файле ко всем занятиям). Рекомендуется решать и сдавать эти задачи для подготовки к коллоквиумам и экзаменам. Они проверяются, но не учитываются в оценке за курс.
Результаты
По ссылке ниже можно посмотреть результаты проверки ДЗ. Также там будут результаты самостоятельных работ, коллоквиумов и экзаменов.
[TODO Таблица с результатами]
Домашние задания следует сдавать вовремя. В случае опоздания не более чем на час штраф 20%; от часа до двух - 40%; от двух до трёх - 60%; от трёх до четырёх - 80%; в случае опоздания более чем на четыре часа ДЗ не проверяется.
Комментарий. Домашние задания можно писать в системе LaTeX и сдавать в виде скомпилированного pdf-файла. В таком случае вы получаете бонус — дедлайны для соответствующего домашнего задания сдвигаются вперёд на 2 часа. Например, если сдать заТеХанное ДЗ в 23:30, то вы получите штраф не 60%, а 20%. А если сдать заТеХанное ДЗ в 22:55, то никакого штрафа не будет!
| Группа | Куда сдавать ДЗ |
|---|---|
| БДРИП251 | [TODO тык] |
| БДРИП252 | [TODO тык] |
Литература
Список литературы содержит, помимо учебников, разнообразные научно-популярные книги и даже брошюрки для самых маленьких. Это сделано для того, чтобы студенты могли изучить более доступное изложение материала. У свободно распространяемых изданий указана ссылка на полную версию книги.
- М.Вялый, В.Подольский, А.Рубцов, Д.Шварц, А.Шень. Лекции по дискретной математике. Изд. Дом ВШЭ, 2021. 495 с. (Окончательный вариант учебника, изданный ВШЭ. Выше есть ссылка на черновик.)
- В.А.Успенский. Простейшие примеры математических доказательств. (Эта небольшая брошюра рекомендуется в первую очередь для повышения уровня математической культуры. Если вы чувствуете, что вы не очень разобрались в основных методах доказательств в математике, эта книга - для вас.)
- И. Д. Ремизов. Стандартные обозначения и факты теории множеств. (Конспект всего лишь на 20 страниц, являющийся азбукой высшей математики. В нём коротко изложены основные понятия, которые повсюду встречаются при изучении математики.)
- А.Н.Колмогоров, А.Г.Драгалин. Математическая логика. (Классический университетский учебник. Для первого чтения может быть тяжеловато.)
- И.В.Раскина. Логика для всех: от пиратов до мудрецов. (Спокойное, обстоятельное объяснение сути булевых связок и метода доказательства от противного. В книге много задач, доступных школьникам.)
- Р.М.Смаллиан. Как же называется эта книга? (Книга для любителей логических головоломок. Горячо советую эту и другие книги Смаллиана.)
- А.Шень. Математическая индукция (Небольшая брошюра от издательства МЦНМО.)
- Э.Мендельсон. Введение в математическую логику. (Для более глубокого знакомства с фундаментальным значением математической индукции можно изучить главу 3.)
- Н.Я.Виленкин, А.Н.Виленкин, П.А.Виленкин. Комбинаторика. (Довольно популярное изложение, при этом в книге есть весьма сложные темы.)
- Н.Я.Виленкин. Рассказы о множествах. (Книжечка по теории множеств для самых маленьких. Ещё там весьма увлекательно рассказывается о красивых математических примерах.)
- Н.К.Верещагин, А.Шень. Начала теории множеств. (Немного потруднее, но вполне доступно. Авторы нашли удачный баланс между наивной и формальной теорией множеств.)
- А.В.Бегунц. Три доказательства теоремы Кантора-Бернштейна. (Эта теорема - одна из самых трудных, но самых важных в курсе. Так что предлагаю изучить различные подходы к ней.)
- О.Оре. Теория графов. (Пожалуй, одна из самых известных монографий по теории графов. Что приятно, в ней много картинок.)
- Н.Б.Алфутова, А.В.Устинов. Алгебра и теория чисел для математических школ. (В этой же книге можно порешать задачи по индукции и комбинаторике.)
Логика (булевы связки, высказывания)
Индукция
Комбинаторика
Теория множеств
Графы
Теория чисел
