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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск

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

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

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


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

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

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

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

Оценки за коллоквиум и экзамен входят в общую оценку с коэффициентами 0.3, а оценка за домашние задания - с коэффициентом 0.4.

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

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

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

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

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

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

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

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

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