DM DRIP 24

Дискретная математика ДРИП

Осенний обязательный курс для студентов 1 курса ОП "Дизайн и разработка информационных продуктов" ФКН ВШЭ.

Контакты

Группа	БДРИП241	БДРИП242
Лектор	Соколов Павел Павлович
Семинарист	Соколов Павел Павлович	Зайцева Анна Тиграновна
Ассистенты	Леонович Матвей	Дмитриев Максим
Сдача ДЗ	Классрум	Классрум
Чат курса	Telegram

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

Листочки

Свежайшие семинар и ДЗ и их исходник

Все листочки

Инструкции к контрольным мероприятиям

Инструкция к коллоквиуму I

Конспекты лекций

Здесь. PDF — скомпилированные конспекты, TEX — исходники. Отзывы, комментарии и правки приветствуются!

Оценивание

Текущие оценки

241

242

Формула оценки

Итог = Округление(0.175 * ДЗ + 0.15 * СР + 0.125 * (КЛ1 + ЛР + КЛ2) + 0.3 * Э),

где ДЗ — средняя оценка за все домашние задания, СР — средняя оценка за все самостоятельные работы, КЛ1 — оценка за первый коллоквиум, ЛР — оценка за лабораторную работу, КЛ2 — оценка за второй коллоквиум, Э — оценка за экзамен.

Округление арифметическое.

Элементы контроля

Домашние задания

Самостоятельное заочное письменное решение задач по темам курса. Выдаются после каждого семинара сроком на 1 неделю. К проверке принимаются читаемые решения задач, оформленные одним файлом PDF. Рекомендуется использовать LaTeX, но возможны и другие способы (Word, сканы, качественные хорошо освещённые фотографии...).

Самостоятельные работы

Проводятся по мотивам крайней лекции на сайте для проведения квизов. Выдаются в начале случайным образом выбранных семинаров на 5-10 минут.

Коллоквиум 1

Устная сдача формулировок, определений, решений задач и доказательств первой половины курса. Использование любых письменных либо электронных источников запрещено. Проводят преподаватели и ассистенты в конце 1 модуля.

Лабораторная работа

Самостоятельная заочная реализация алгоритмов, решающих вычислительные задачи по темам курса. Выдаётся в начале 2 модуля на 3 недели.

Коллоквиум 2

Устная сдача формулировок, определений, решений задач и доказательств второй половины курса. Использование любых письменных либо электронных источников запрещено. Проводят преподаватели и ассистенты в середине-конце 2 модуля.

Экзамен

Самостоятельное очное письменное решение задач по мотивам курса длительностью 2 часа. Разрешено использование заранее подготовленных письменных источников. Проводится во время зимней сессии.

Литература

Основная литература

1. Lovász, L., Pelikán, J., & Vsztergombi, K. Discrete Mathematics : Elementary and Beyond.
2. Верещагин, Н. К. Лекции по математической логике и теории алгоритмов : учебное пособие. Часть 1 : Начала теории множеств

Дополнительная литература

1. Верещагин, Н. К. Лекции по математической логике и теории алгоритмов : учебное пособие. Часть 2 : Языки и исчисления
2. Блинков, А.Д. Учимся на чужих ошибках