Информация о курсе ДМ-2 (правила оценивания) — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 43: Строка 43:
 
Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.
 
Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.
 
Сдача домашних заданий после их срока невозможна.
 
Сдача домашних заданий после их срока невозможна.
Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме и
+
Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.
экзамене можно
+
пользоваться своими рукописными конспектами (не копиями чужих).
+
 
+
  
 
Формула итоговой оценки  
 
Формула итоговой оценки  

Версия 14:54, 12 декабря 2016

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

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

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


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

  • Общая задача линейного программирования. Примеры линейных программ
  • Метод исключения переменных. Лемма Фаркаша
  • Двойственность в линейном программировании.
  • Матричные игры с нулевой суммой.
  • Полиэдры и политопы.
  • Симплекс-метод.
  • Функции, предикаты. Формулы первого порядка. Определение истинности формулы.
  • Выразимые предикаты. Выразимость в арифметике.
  • Невыразимые предикаты: автоморфизмы. Элиминация кванторов.
  • Элементарная эквивалентность. Игры Эренфойхта.
  • Общезначимые формулы. Предваренная нормальная форма. Проверка общезначимости: идея системы доказательств.
  • Метод резолюций.

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

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

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

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

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

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


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

Первое домашнее задание 19 сентября.

Второе домашнее задание 3 октября.

Третье домашнее задание 17 октября.

Четвертое домашнее задание 14 ноября.

Пятое домашнее задание 28 ноября.

Шестое домашнее задание 5 декабря (на это задание будет дана одна неделя).

Коллоквиум пройдет с 12 по 16 декабря.

Экзамен - 27 декабря (дата предварительная).