Просмотр кода страницы Информация о курсе ДМ-2 (правила оценивания)

= Общая информация о курсе Дискретная математика (2 курс ПМИ, пилотный поток)=

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

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


===Примерное содержание лекций===

* Общая задача линейного программирования. Примеры линейных программ

* Метод исключения переменных. Лемма Фаркаша

* Двойственность в линейном программировании.

* Матричные игры с нулевой суммой.

* Полиэдры и политопы. 

* Симплекс-метод.

* Функции, предикаты. Формулы первого порядка. Определение истинности формулы. 

* Исчисление резолюций.

* Общезначимые формулы. Предваренная нормальная форма. Сколемизация.

* Невыразимые предикаты: автоморфизмы. Элиминация кванторов.

* Элементарная эквивалентность. Игры Эренфойхта.

* Выразимые предикаты. Выразимость в арифметике.

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

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

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

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


Формула итоговой оценки 
Оитог = 0,6·Онакопленная + 0,4·Оэкз, 
Где Онакопленная =(2/3)Окол1+ (1/6)(Одз1 + Одз2)

Или, более просто, вес коллоквиума в итоговой оценке – 40%, экзамена – 40%,  всех домашних заданий – 20%. 

Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.

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

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

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


====Контрольные мероприятия и их сроки (примерное расписание)====

 
Первое домашнее задание: сдать на неделе  17-22 сентября.

Второе домашнее задание: сдать на неделе 1-6 октября. 

Третье домашнее задание: сдать на неделе 15-20 октября.

Четвертое домашнее  задание: сдать на неделе 5-10 ноября.

Пятое домашнее задание: сдать на неделе 19-24 ноября.

Шестое домашнее задание: сдать на неделе 3-8 декабря. 

Коллоквиум пройдет на неделе с 10 по 15 декабря.

Экзамен - в зимнюю сессию, дата будет объявлена дополнительно.