DM DRIP-2025-26 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 48: Строка 48:
 
! Группа !! Куда сдавать ДЗ
 
! Группа !! Куда сдавать ДЗ
 
|-
 
|-
|| БДРИП251 || [TODO тык]
+
|| БДРИП251 || [https://classroom.google.com/c/ODEzNjM4MTMxNjY1?cjc=rmfreklx тык]
 
|-
 
|-
 
|| БДРИП252 || [TODO тык]
 
|| БДРИП252 || [TODO тык]

Версия 23:35, 5 сентября 2025

Общая информация

Коммуникация

Чат курса. В нём продублирована информация с Вики и подробнее публикуется организационная информация.

Преподаватели и ассистенты

Лектор: Оноприенко Анастасия Александровна. Лекции проходят по понедельникам, 13:00 - 14:20

Группа Семинарист Учебный ассистент
БДРИП251 Корнеев Сергей Александрович Шамаев Александр
БДРИП252 Зайцева Анна Тиграновна Клушин Артём

Объявления, важные даты и информация об элементах контроля:

1. Коллоквиум:

2. Экзамен:

Формула оценивания

О = 0.275* ОДЗ + 0.05* ОСР + 0.275*ОКЛ + 0.4*ОЭКЗ

  • ЭКЗ = оценка за экзамен
  • КЛ - оценка за коллоквиум,
  • ДЗ — оценка за домашние задания,
  • СР — оценка за самостоятельные работы.

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

  • Черновик учебника. В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (окончательный вариант есть на бумаге - издан издательством ВШЭ, см. ниже).
  • Конспекты лекций. В этом файле будут собираться конспекты лекций. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой.
  • Задачи для разбора на семинарах и домашние задания.
  • Дополнительные домашние задания (в одном файле ко всем занятиям). Рекомендуется решать и сдавать эти задачи для подготовки к коллоквиумам и экзаменам. Они проверяются, но не учитываются в оценке за курс.

Результаты

По ссылке ниже можно посмотреть результаты проверки ДЗ. Также там будут результаты самостоятельных работ, коллоквиумов и экзаменов.

Таблица с результатами

Домашние задания следует сдавать вовремя. В случае опоздания не более чем на час штраф 20%; от часа до двух - 40%; от двух до трёх - 60%; от трёх до четырёх - 80%; в случае опоздания более чем на четыре часа ДЗ не проверяется.

Комментарий. Домашние задания можно писать в системе LaTeX и сдавать в виде скомпилированного pdf-файла. В таком случае вы получаете бонус — дедлайны для соответствующего домашнего задания сдвигаются вперёд на 2 часа. Например, если сдать заТеХанное ДЗ в 23:30, то вы получите штраф не 60%, а 20%. А если сдать заТеХанное ДЗ в 22:55, то никакого штрафа не будет!

Группа Куда сдавать ДЗ
БДРИП251 тык
БДРИП252 [TODO тык]

Литература

Список литературы содержит, помимо учебников, разнообразные научно-популярные книги и даже брошюрки для самых маленьких. Это сделано для того, чтобы студенты могли изучить более доступное изложение материала. У свободно распространяемых изданий указана ссылка на полную версию книги.

  1. М.Вялый, В.Подольский, А.Рубцов, Д.Шварц, А.Шень. Лекции по дискретной математике. Изд. Дом ВШЭ, 2021. 495 с. (Окончательный вариант учебника, изданный ВШЭ. Выше есть ссылка на черновик.)
  2. В.А.Успенский. Простейшие примеры математических доказательств. (Эта небольшая брошюра рекомендуется в первую очередь для повышения уровня математической культуры. Если вы чувствуете, что вы не очень разобрались в основных методах доказательств в математике, эта книга - для вас.)
  3. И. Д. Ремизов. Стандартные обозначения и факты теории множеств. (Конспект всего лишь на 20 страниц, являющийся азбукой высшей математики. В нём коротко изложены основные понятия, которые повсюду встречаются при изучении математики.)
  4. Логика (булевы связки, высказывания)

  5. А.Н.Колмогоров, А.Г.Драгалин. Математическая логика. (Классический университетский учебник. Для первого чтения может быть тяжеловато.)
  6. И.В.Раскина. Логика для всех: от пиратов до мудрецов. (Спокойное, обстоятельное объяснение сути булевых связок и метода доказательства от противного. В книге много задач, доступных школьникам.)
  7. Р.М.Смаллиан. Как же называется эта книга? (Книга для любителей логических головоломок. Горячо советую эту и другие книги Смаллиана.)
  8. Индукция

  9. А.Шень. Математическая индукция (Небольшая брошюра от издательства МЦНМО.)
  10. Э.Мендельсон. Введение в математическую логику. (Для более глубокого знакомства с фундаментальным значением математической индукции можно изучить главу 3.)
  11. Комбинаторика

  12. Н.Я.Виленкин, А.Н.Виленкин, П.А.Виленкин. Комбинаторика. (Довольно популярное изложение, при этом в книге есть весьма сложные темы.)
  13. Теория множеств

  14. Н.Я.Виленкин. Рассказы о множествах. (Книжечка по теории множеств для самых маленьких. Ещё там весьма увлекательно рассказывается о красивых математических примерах.)
  15. Н.К.Верещагин, А.Шень. Начала теории множеств. (Немного потруднее, но вполне доступно. Авторы нашли удачный баланс между наивной и формальной теорией множеств.)
  16. А.В.Бегунц. Три доказательства теоремы Кантора-Бернштейна. (Эта теорема - одна из самых трудных, но самых важных в курсе. Так что предлагаю изучить различные подходы к ней.)
  17. Графы

  18. О.Оре. Теория графов. (Пожалуй, одна из самых известных монографий по теории графов. Что приятно, в ней много картинок.)
  19. Теория чисел

  20. Н.Б.Алфутова, А.В.Устинов. Алгебра и теория чисел для математических школ. (В этой же книге можно порешать задачи по индукции и комбинаторике.)