|
|
| Строка 1: |
Строка 1: |
| Лекции проходят по пятницам в аудитории 509 в 12:10-13:30. Первая лекция 2 сентября.
| |
|
| |
|
|
| |
|
| |
| ===Лектор:===
| |
|
| |
| Н.К. Верещагин nikolay.vereshchagin@gmail.com
| |
|
| |
| ===Семинаристы:===
| |
|
| |
| 153 Верещагин Николай Константинович, nikolay.vereshchagin@gmail.com, ассистент Федор Андреевич Коган, taskmage@inbox.ru,
| |
|
| |
| 154 Козачинский Александр Николаевич, kozlach@mail.ru,ассистент Гущенко-Чеверда Иван, vania1997qwerty@gmail.com,
| |
|
| |
| 155 Милованов Алексей Сергеевич, almas239@gmail.com, ассистент Пособин Глеб Игоревич posobin@gmail.com,
| |
|
| |
| 156 Таламбуца Алексей Леонидович, alexey.talambutsa@gmail.com, ассистент Акимова Дина Александровна, akidina14@yandex.ru
| |
|
| |
| ===Краткое описание===
| |
|
| |
| Курс состоит из двух частей. В первом модуле будет рассказан о линейном программировании:
| |
| что это такое, в каких областях оно применяется, двойственность в линейном программировании и
| |
| симплекс метод решения линейных программ. Во втором модуле будет изучаться математическая логика:
| |
| формулы логики высказываний и логики предикатов, определение истинности, выразимость средствами
| |
| логики предикатов, исчисление резолюций.
| |
|
| |
| ===Отчётность по курсу и критерии оценки===
| |
|
| |
| 6 домашних заданий, коллоквиум и экзамен.
| |
| Всего будет 6 заданий и каждое оценивается по десятибальной системе (10 означает решение всех задач ДЗ). Оценка за домашние задания равна доле решенных задач, умноженной на 10.
| |
| На решение каждого ДЗ дается 14 дней, решение ДЗ нужно сдавать семинаристу до начала семинара.
| |
| Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.
| |
| Сдача домашних заданий после их срока невозможна.
| |
| Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме и
| |
| экзамене можно
| |
| пользоваться своими рукописными конспектами (не копиями чужих).
| |
|
| |
| Оценки за коллоквиум и экзамен входят в общую оценку с коэффициентами 0.3, а оценка за домашние задания - с коэффициентом 0.4.
| |
|
| |
|
| |
|
| |
|
| |
|
| |
| ====Контрольные мероприятия и их сроки====
| |
|
| |
| Эти сроки немного различаются для разных групп (поскольку семинары в разные дни). Сроки для групп, в которых семинары по пятницам следующие:
| |
|
| |
| Первое домашнее задание 16 сентября.
| |
| Второе домашнее задание 30 сентября.
| |
| Третье домашнее задание 14 октября.
| |
| Четвертое домашнее задание 28 октября.
| |
| Пятое домашнее задание 18 ноября.
| |
| Шестое домашнее задание 2 декабря.
| |
|
| |
| Коллоквиум пройдет с 12 по 16 декабря (скорей всего 13 декабря).
| |
|
| |
| Экзамен - 27 декабря (дата предварительная.
| |
|
| |
| ===Домашние задания ===
| |
|
| |
| Домашнее задание №1 https://drive.google.com/file/d/0By-nGAT52Ee3NnFiN0IxeWdMb1E/view?usp=sharing -- дедлайн 16 сентября (для пятничных групп) и 20 сентября (для вторничных групп)
| |
|
| |
| ===Примерное содержание лекций===
| |
|
| |
| * Общая задача линейного программирования.
| |
|
| |
| * Примеры линейных программ: смешивание растворов, транспортная задача, потоки в сетях
| |
|
| |
| * Метод исключения переменных.
| |
|
| |
| * Способы докательства оптимальности линейных программ.
| |
|
| |
| * Общая теория двойственности. Двойственная линейная программа. Лемма Фаркаша и теорема
| |
| двойственности
| |
|
| |
| * Применения двойственности: потоки и разрезы в сетях, игры с нулевой суммой.
| |
|
| |
| * Полиэдры и политопы.
| |
|
| |
| * Симплекс метод.
| |
|
| |
| * Определение формулы логики высказываний.
| |
|
| |
| * Тавтологии, выполнимые, общезначимые и равносильные формулы.
| |
|
| |
| * Исчисление резолюций.
| |
|
| |
| * Языки первого порядка и их модели. Изоморфные и элементарно эквивалентные модели.
| |
|
| |
| * Выразимые в данной модели отношения. Метод автоморфизмов доказательства невыразимости.
| |
|
| |
| * Логическое следование и аксиоматические теории.
| |
|
| |
|
| |
| ==Прочитанные лекции==
| |
|
| |
| ====Лекция 1 (2 сентября). ====
| |
|
| |
| ==Проведённые семинары (153 группа) ==
| |
|
| |
| ===Семинар 1 (2 сентября)===
| |
|
| |
|
| |
|
| |
|
| |
|
| |
| ===Рекомендуемая литература ===
| |
|
| |
| 1. Alexander Schrijver. Theory of linear and integer programming. John Wiley and Sons. 1998 https://promathmedia.files.wordpress.com/2013/10/alexander_schrijver_theory_of_linear_and_integerbookfi-org.pdf
| |
|
| |
| 2. Ашманов С.А., Тимохов А.В. Теория оптимизации в задачах и упражнениях. М.: Наука, 1991. — 446 с.
| |