DM 2 2017 2018

Дискретная математика на 2-ом курсе ПМИ (основной поток)

Лекции проходят по вторникам в аудитории 622 в 10:30-11:50. Первая лекция 5 сентября.

Новости

• Лекции 12 и 26 сентября переносятся на 15 и 29 сентября, соответственно (на то же время). Это относится и к семинарам в группе 164.

• Выложено Домашнее задание №1

Лектор

Н.К. Верещагин nikolay.vereshchagin@gmail.com

Семинаристы

163, 165 Дашков Евгений Владимирович edashkov@gmail.com, ассистент Дискин Михаил Сергеевич msdiskin@edu.hse.ru

164 Верещагин Николай Константинович nikolay.vereshchagin@gmail.com, ассистент Денисова Елена Алексеевна lena97denisova@mail.ru

166 Милованов Алексей Сергеевич, almas239@gmail.com, ассистент Денисова Елена Алексеевна lena97denisova@mail.ru

Краткое описание

Курс состоит из двух частей. В первом модуле будет рассказан о линейном программировании: что это такое, в каких областях оно применяется, двойственность в линейном программировании и симплекс метод решения линейных программ. Во втором модуле будет изучаться математическая логика: формулы логики высказываний и логики предикатов, определение истинности, выразимость средствами логики предикатов, исчисление резолюций.

Отчётность по курсу и критерии оценки

6 домашних заданий, коллоквиум и экзамен.

Оценка за домашние задания равна доле решенных задач, умноженной на 10. На решение каждого ДЗ дается 14 дней, решение ДЗ нужно сдавать семинаристу до начала семинара. Сдача домашних заданий после их срока невозможна.

Каждое ДЗ будут проверено в течение 10 дней после дедлайна. Домашнее задание должно быть защищено в течение 5 недель после дедлайна. Для защиты студент должен прийти на консультацию и убедить преподавателя, что он понимает, что у него написано, и тем самым работа не списана.

Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме и экзамене можно пользоваться своими рукописными конспектами (не копиями чужих).

Оценки за коллоквиум и экзамен входят в общую оценку с коэффициентами 0.4, а оценка за домашние задания - с коэффициентом 0.2. Коллоквиум состоит из двух теоретических вопросов (один по линейному программированию, другой по логике) и одной задачи, которые оцениваются в 3, 3 и 4 баллов соответственно. Эти задачи берутся из заранее опубликованного списка задач (с точностью до выбора конкретных чисел), подобных тем, что были в домашних заданиях. Экзамен (письменный) состоит из 8 задач с указанием количества баллов за каждую задачу. Эти баллы в сумме дают 10 баллов. Задачи нужно решить за две пары.

Сумма оценки за коллоквиум и оценки за домашние задания с коэффициентами 1/3 и 2/3, соответсвенно, составляют накопленную оценку. Те, кто не смог прийти на экзамен и коллоквиум по болезни, могут его сдать отдельно. Не набравшие в конце второго модуля нужное количество баллов (4) могут пересдать экзамен, а если и это не поможет, то сдавать экзамен комиссии. В последнем случае накопленная оценка аннулируется и оценка, полученная на экзамене, и является окончательной.

Правила округления

В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления накопленной и итоговой оценок. Округление при выставлении итоговой оценки арифметическое, а при выставлении накопленной оценки используется следующее правило округления: между 1 и 5 округление вниз, между 5 и 6 округление арифметическое, а в остальных случаях округление вверх. Т.е. 3,92 округляется до 3, 5,48 – до 5, 5,54 – до 6, 7.12 – до 8.

Сроки контрольных мероприятий

Эти сроки немного различаются для разных групп (поскольку семинары в разные дни).

Сроки для 164 группы:

Первое домашнее задание 16 сентября. Второе домашнее задание 30 сентября. Третье домашнее задание 14 октября. Четвертое домашнее задание 18 ноября (защита до 7 декабря). Пятое домашнее задание 2 декабря (защита до 14 декабря). Шестое домашнее задание 9 декабря (защита до 21 декабря).

Коллоквиум пройдет 13 декабря. Вопросы к коллоквиуму.

Экзамен (письменный) - 22 декабря в 13:40 ауд. 509 (основной поток) и 622 (пилотный), показ работ 24 декабря в 16:40 ауд. 509.

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

Оценки за домашние задания (группа 153)

Оценки за домашние задания (группа 154)

Оценки за домашние задания (группа 155)

Домашнее задание №1 -- дедлайны: для сдачи 16 сентября, для защиты 21 октября (для пятничных групп), 19 сентября и 24 октября(для групп по понедельникам) и 20 сентября, 25 октября (для вторничных групп)

Домашнее задание №2 -- дедлайны: 30 сентября и 4 ноября (для пятничных групп), 3 октября и 7 ноября (для групп по понедельникам) и 4 октября и 8 ноября(для вторничных групп)

Домашнее задание №3 -- дедлайны: 14 октября и 18 ноября для групп 153,155, 17 октября и 21 ноября для группы 156, 18 октября и 22 ноября для группы 154. Студенты группы 153 могут сдать домашнее задание семинаристу группы 155 А. Милованову.

Домашнее задание №4 -- дедлайны: 18 ноября (сдача) и 2 декабря (защита) для групп 153,155, 14 ноября и 28 ноября для группы 156, 15 ноября и 29 ноября для группы 154.