https://www.wikicshse.ru/index.php?action=history&feed=atom&title=%D0%98%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%86%D0%B8%D1%8F_%D0%BE_%D0%BA%D1%83%D1%80%D1%81%D0%B5_%D0%94%D0%9C-2_%28%D0%BF%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%B0_%D0%BE%D1%86%D0%B5%D0%BD%D0%B8%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F%29 2026-06-06T18:18:02Z История изменений этой страницы в вики MediaWiki 1.45.3 https://www.wikicshse.ru/index.php?title=%D0%98%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%86%D0%B8%D1%8F_%D0%BE_%D0%BA%D1%83%D1%80%D1%81%D0%B5_%D0%94%D0%9C-2_(%D0%BF%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%B0_%D0%BE%D1%86%D0%B5%D0%BD%D0%B8%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)&diff=2264&oldid=prev 2018-09-02T13:14:38Z

<p>Migrated current public revision from wiki.cs.hse.ru</p> <p><b>Новая страница</b></p><div>= Общая информация о курсе Дискретная математика (2 курс ПМИ, пилотный поток)=<br /> <br /> ===Краткое описание===<br /> <br /> Курс состоит из двух частей. В первом модуле будет рассказан о линейном программировании:<br /> что это такое, в каких областях оно применяется, двойственность в линейном программировании и<br /> симплекс метод решения линейных программ. Во втором модуле будет изучаться математическая логика:<br /> формулы логики высказываний и логики предикатов, определение истинности, выразимость средствами<br /> логики предикатов, исчисление резолюций.<br /> <br /> <br /> ===Примерное содержание лекций===<br /> <br /> * Общая задача линейного программирования. Примеры линейных программ<br /> <br /> * Метод исключения переменных. Лемма Фаркаша<br /> <br /> * Двойственность в линейном программировании.<br /> <br /> * Матричные игры с нулевой суммой.<br /> <br /> * Полиэдры и политопы. <br /> <br /> * Симплекс-метод.<br /> <br /> * Функции, предикаты. Формулы первого порядка. Определение истинности формулы. <br /> <br /> * Исчисление резолюций.<br /> <br /> * Общезначимые формулы. Предваренная нормальная форма. Сколемизация.<br /> <br /> * Невыразимые предикаты: автоморфизмы. Элиминация кванторов.<br /> <br /> * Элементарная эквивалентность. Игры Эренфойхта.<br /> <br /> * Выразимые предикаты. Выразимость в арифметике.<br /> <br /> ===Отчётность по курсу и критерии оценки===<br /> <br /> 6 домашних заданий, коллоквиум и экзамен.<br /> Всего будет 6 заданий и каждое оценивается по десятибалльной системе (10 означает решение всех задач ДЗ). Оценка за домашние задания равна доле решенных задач, умноженной на 10. <br /> На решение каждого ДЗ дается 14 дней (возможны исключения в конце курса), решение ДЗ нужно сдавать семинаристу до начала семинара.<br /> Оценки за каждое ДЗ будут выставляться примерно через неделю после дедлайна.<br /> Сдача домашних заданий после их срока невозможна.<br /> <br /> Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. <br /> На коллоквиуме не разрешается пользоваться никакими записями. На экзамене разрешается пользоваться любыми бумажными источниками и нельзя никакими электронными.<br /> <br /> Коллоквиум состоит из двух теоретических вопросов (один по линейному<br /> программированию, другой по логике) и одной задачи, которые оцениваются в 3, 3 и 4 баллов<br /> соответственно. Эти задачи берутся из заранее опубликованного списка задач (с точностью до выбора конкретных чисел), подобных тем, что были в домашних заданиях. <br /> Экзамен состоит из 8 задач с указанием количества баллов за каждую<br /> задачу. Эти баллы в сумме дают 10 баллов. Задачи нужно решить за две пары.<br /> <br /> <br /> Формула итоговой оценки <br /> Оитог = 0,6·Онакопленная + 0,4·Оэкз, <br /> Где Онакопленная =(2/3)Окол1+ (1/6)(Одз1 + Одз2)<br /> <br /> Или, более просто, вес коллоквиума в итоговой оценке – 40%, экзамена – 40%, всех домашних заданий – 20%. <br /> <br /> Допускается оценка 0 в тех случаях, когда студент не сдавал домашних заданий (или не решил ни одной задачи на экзамене). Оценка 0 также ставится в случаях доказанного списывания на экзамене.<br /> <br /> Те, кто не смог прийти на экзамен или на коллоквиум по болезни, могут его <br /> сдать отдельно. Не набравшие в конце второго модуля нужное количество баллов (4) могут пересдать экзамен, а если и это не поможет, то сдавать экзамен комиссии. В последнем случае накопленная оценка аннулируется и оценка, полученная на экзамене, и является окончательной. <br /> <br /> ====Правила округления==== <br /> <br /> В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент выставления накопленной и итоговой оценок. Округление при выставлении итоговой оценки арифметическое, а при выставлении накопленной оценки используется следующее правило округления: между 1 и 5 округление вниз, между 5 и 6 округление арифметическое, а в остальных случаях округление вверх. Т.е. 3,92 округляется до 3, 5,48 – до 5, 5,54 – до 6, 7,12 – до 8.<br /> <br /> <br /> ====Контрольные мероприятия и их сроки (примерное расписание)====<br /> <br /> <br /> Первое домашнее задание: сдать на неделе 17-22 сентября.<br /> <br /> Второе домашнее задание: сдать на неделе 1-6 октября. <br /> <br /> Третье домашнее задание: сдать на неделе 15-20 октября.<br /> <br /> Четвертое домашнее задание: сдать на неделе 5-10 ноября.<br /> <br /> Пятое домашнее задание: сдать на неделе 19-24 ноября.<br /> <br /> Шестое домашнее задание: сдать на неделе 3-8 декабря. <br /> <br /> Коллоквиум пройдет на неделе с 10 по 15 декабря.<br /> <br /> Экзамен - в зимнюю сессию, дата будет объявлена дополнительно.</div>

imported>Vyalyi