DM DRIP-2025-26 — различия между версиями
Ansidiana (обсуждение | вклад) |
Ansidiana (обсуждение | вклад) |
||
| Строка 12: | Строка 12: | ||
|| БДРИП251 || [https://t.me/SubjectNameHere4444 Корнеев Сергей Александрович] || [https://t.me/Inspt159 Шамаев Александр] | || БДРИП251 || [https://t.me/SubjectNameHere4444 Корнеев Сергей Александрович] || [https://t.me/Inspt159 Шамаев Александр] | ||
|- | |- | ||
| − | || | + | || БДРИП252 || [https://t.me/yaognennaya Зайцева Анна Тиграновна] || [https://t.me/arklual Клушин Артём] |
|- | |- | ||
|} | |} | ||
Версия 23:34, 5 сентября 2025
Содержание
Общая информация
Коммуникация
Чат курса. В нём продублирована информация с Вики и подробнее публикуется организационная информация.
Преподаватели и ассистенты
Лектор: Оноприенко Анастасия Александровна. Лекции проходят по понедельникам, 13:00 - 14:20
| Группа | Семинарист | Учебный ассистент |
|---|---|---|
| БДРИП251 | Корнеев Сергей Александрович | Шамаев Александр |
| БДРИП252 | Зайцева Анна Тиграновна | Клушин Артём |
Объявления, важные даты и информация об элементах контроля:
1. Коллоквиум:
2. Экзамен:
Формула оценивания
О = 0.275* ОДЗ + 0.05* ОСР + 0.275*ОКЛ + 0.4*ОЭКЗ
- ЭКЗ = оценка за экзамен
- КЛ - оценка за коллоквиум,
- ДЗ — оценка за домашние задания,
- СР — оценка за самостоятельные работы.
Материалы курса
- Черновик учебника. В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (окончательный вариант есть на бумаге - издан издательством ВШЭ, см. ниже).
- Конспекты лекций. В этом файле будут собираться конспекты лекций. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой.
- Задачи для разбора на семинарах и домашние задания.
- Занятие 1. Срок сдачи ДЗ - 18 сентября 21:00.
- Дополнительные домашние задания (в одном файле ко всем занятиям). Рекомендуется решать и сдавать эти задачи для подготовки к коллоквиумам и экзаменам. Они проверяются, но не учитываются в оценке за курс.
Результаты
По ссылке ниже можно посмотреть результаты проверки ДЗ. Также там будут результаты самостоятельных работ, коллоквиумов и экзаменов.
Домашние задания следует сдавать вовремя. В случае опоздания не более чем на час штраф 20%; от часа до двух - 40%; от двух до трёх - 60%; от трёх до четырёх - 80%; в случае опоздания более чем на четыре часа ДЗ не проверяется.
Комментарий. Домашние задания можно писать в системе LaTeX и сдавать в виде скомпилированного pdf-файла. В таком случае вы получаете бонус — дедлайны для соответствующего домашнего задания сдвигаются вперёд на 2 часа. Например, если сдать заТеХанное ДЗ в 23:30, то вы получите штраф не 60%, а 20%. А если сдать заТеХанное ДЗ в 22:55, то никакого штрафа не будет!
| Группа | Куда сдавать ДЗ |
|---|---|
| БДРИП251 | [TODO тык] |
| БДРИП252 | [TODO тык] |
Литература
Список литературы содержит, помимо учебников, разнообразные научно-популярные книги и даже брошюрки для самых маленьких. Это сделано для того, чтобы студенты могли изучить более доступное изложение материала. У свободно распространяемых изданий указана ссылка на полную версию книги.
- М.Вялый, В.Подольский, А.Рубцов, Д.Шварц, А.Шень. Лекции по дискретной математике. Изд. Дом ВШЭ, 2021. 495 с. (Окончательный вариант учебника, изданный ВШЭ. Выше есть ссылка на черновик.)
- В.А.Успенский. Простейшие примеры математических доказательств. (Эта небольшая брошюра рекомендуется в первую очередь для повышения уровня математической культуры. Если вы чувствуете, что вы не очень разобрались в основных методах доказательств в математике, эта книга - для вас.)
- И. Д. Ремизов. Стандартные обозначения и факты теории множеств. (Конспект всего лишь на 20 страниц, являющийся азбукой высшей математики. В нём коротко изложены основные понятия, которые повсюду встречаются при изучении математики.)
- А.Н.Колмогоров, А.Г.Драгалин. Математическая логика. (Классический университетский учебник. Для первого чтения может быть тяжеловато.)
- И.В.Раскина. Логика для всех: от пиратов до мудрецов. (Спокойное, обстоятельное объяснение сути булевых связок и метода доказательства от противного. В книге много задач, доступных школьникам.)
- Р.М.Смаллиан. Как же называется эта книга? (Книга для любителей логических головоломок. Горячо советую эту и другие книги Смаллиана.)
- А.Шень. Математическая индукция (Небольшая брошюра от издательства МЦНМО.)
- Э.Мендельсон. Введение в математическую логику. (Для более глубокого знакомства с фундаментальным значением математической индукции можно изучить главу 3.)
- Н.Я.Виленкин, А.Н.Виленкин, П.А.Виленкин. Комбинаторика. (Довольно популярное изложение, при этом в книге есть весьма сложные темы.)
- Н.Я.Виленкин. Рассказы о множествах. (Книжечка по теории множеств для самых маленьких. Ещё там весьма увлекательно рассказывается о красивых математических примерах.)
- Н.К.Верещагин, А.Шень. Начала теории множеств. (Немного потруднее, но вполне доступно. Авторы нашли удачный баланс между наивной и формальной теорией множеств.)
- А.В.Бегунц. Три доказательства теоремы Кантора-Бернштейна. (Эта теорема - одна из самых трудных, но самых важных в курсе. Так что предлагаю изучить различные подходы к ней.)
- О.Оре. Теория графов. (Пожалуй, одна из самых известных монографий по теории графов. Что приятно, в ней много картинок.)
- Н.Б.Алфутова, А.В.Устинов. Алгебра и теория чисел для математических школ. (В этой же книге можно порешать задачи по индукции и комбинаторике.)
Логика (булевы связки, высказывания)
Индукция
Комбинаторика
Теория множеств
Графы
Теория чисел