Просмотр кода страницы Дискретная математика ВШЭ+СмолГУ 26/27

== <big>Общая информация и важные объявления</big> ==

Первая лекция пройдёт 9 сентября. 

=== <big>Коммуникация</big> ===

Чат курса: [https://t.me/+lgJqW2h5kO83ZDE6 тык].

=== <big>Преподаватели и  ассистенты</big> ===
Лектор: [https://t.me/ansidiana Оноприенко Анастасия Александровна]. Лекции проходят по средам, 9:30 - 10:50

Семинарист: [https://t.me/NRPerelman Перельман Наталья Романовна]

Ассистенты: [https://t.me/dpilyasova Пилясова Дарья], [https://t.me/pineappleambassador Москаленко Антон].

== Формула оценивания ==
В каждом из двух семестров формула следующая.

'''О = 0.1* О<sub>ДЗ</sub> + 0.05* О<sub>СР</sub> + 0.175*О<sub>КР</sub> + 0.275*О<sub>КЛ</sub> + 0.4*О<sub>ЭКЗ</sub>''' <br/>
* ДЗ — оценка за домашние задания,
* СР — оценка за самостоятельные работы,
* КР - оценка за контрольную работу,
* КЛ - оценка за коллоквиум,  
* ЭКЗ = оценка за экзамен.

В вычислениях текущие оценки и промежуточные величины не округляются. Результат вычисляется точно и округляется только в момент окончательной оценки за курс. При выставлении окончательной оценки используется арифметическое округление.

===Домашние задания===
Оценка считается в 10-балльной шкале. Домашние задания выдаются раз в неделю и должны быть выполнены в течение недели. Оценка за полное решение каждой задачи из домашнего задания равна 4. Предварительная оценка за домашнее задание выставляется в десятибалльной шкале и пропорциональна доле решённых задач (с учётом неполных решений, за которые выставляется неполный балл). Для проверки остаточных знаний по темам домашних заданий для каждого домашнего задания проводится выборочная защита (устная беседа) по решённым (хотя бы частично) задачам. В случае, если студент не может ответить на ключевые вопросы по решению задачи или сформулировать используемые при решении задач теоремы и определения, преподаватель уменьшает предварительную оценку за данное домашнее задание на 50%. При неудаче ответа по двум задачам оценка за данное домашнее задание обнуляется.

'''Комментарий.''' Помимо обязательных домашних заданий будут выдаваться дополнительные домашние задания. Они не являются элементом контроля, играют чисто учебную роль и служат для тренировки в решении более трудных задач по материалам курса. Дополнительные домашние задания проверяются, но оценки за них не учитываются в оценке за курс.

===Самостоятельные работы===
Проводятся в письменном виде на лекциях или семинарах по материалам последней лекции. Предполагается 5-7 самостоятельных работ в семестре. Длительность одной самостоятельной работы — не более 10 минут. Оценка за самостоятельные работы вычисляется как среднее арифметическое оценок.

===Контрольная работа===
Проводится в конце семестра в письменной форме. На контрольной работе будут выданы задачи, выдаваемые ранее в качестве домашних заданий и не вошедшие в оценку за домашние задания. Контрольная оценивается по 10-балльной шкале, точные критерии объявляются после проверки.

===Коллоквиум===
Проводится в конце семестра в устной форме преимущественно по теоретическому материалу, изученному к моменту проведения коллоквиума. На коллоквиуме могут быть заданы вопросы по известным заранее определениям, формулировкам утверждений, доказательствам утверждений. Также на коллоквиуме могут быть заданы заранее известные задачи. Принимающий по ходу рассказа может задавать уточняющие вопросы. Оценка за коллоквиум выставляется в 10-балльной шкале.

===Экзамен===
Проводится в сессию. Предполагается очная форма сдачи экзамена. При невозможности проведения очного экзамена проводится дистанционный экзамен (при условии согласования с учебным офисом) по правилам, которые дополнительно сообщаются студентам. Экзамен проводится в письменной форме. Письменный экзамен служит для проверки умения творчески использовать полученные знания при решении новых для студента задач. Задания в итоговом письменном экзамене возможны по всем темам, которые изучались в семестре. Критерии проверки и правила оценивания экзаменационных работ объявляются после проверки работ. Оценка за экзамен выставляется в 10-балльной шкале.

===Пересдачи===
Пересдачи домашних заданий невозможны, так как предполагается выполнение домашнего задания в определенный временной промежуток. 

Пересдачи самостоятельных работ невозможны, так как предполагается их выполнение непосредственно на лекциях или семинарах.

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

Пересдача коллоквиума до сессии допустима лишь при пропуске коллоквиума по уважительной причине (не позже дня последнего занятия в соответствующем семестре). Пересдача коллоквиума в более позднее время невозможна. 

Пересдачи письменного экзамена после сессии возможны в 2 случаях:

1) неудовлетворительная оценка за семестр, вычисленная по формуле (меньше 4). Оценка по итогам сессии корректируется после сдачи экзамена. В этом случае сдача экзамена считается за вторую попытку.

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

Пересдача комиссии. Если обе попытки сдать экзамен исчерпаны, происходит пересдача комиссии. Форма пересдачи комиссии аналогична форме экзамена.

== Материалы курса ==

* [https://publications.hse.ru/mirror/pubs/share/direct/393719078.pdf  Черновик учебника.] В этой книге излагается почти всё, что будет в курсе (за исключением задач - те меняются чаще, чем пишутся книги). Как нетрудно догадаться, мы рекомендуем читать эту книгу (окончательный вариант есть на бумаге - издан издательством ВШЭ, см. ниже).
* [Конспекты лекций.] В этом файле будут собираться конспекты лекций. Обратите внимание: файл будет обновляться по мере чтения лекций, ссылка останется той же самой.
* Задачи для разбора на семинарах и домашние задания.
* [Дополнительные домашние задания.] (в одном файле ко всем занятиям). Рекомендуется решать и сдавать эти задачи для подготовки к коллоквиумам и экзаменам. Они проверяются, но не учитываются в оценке за курс.

==Коллоквиум==
Коллоквиум пройдёт ...

==Результаты==
По ссылке ниже (скоро будет) можно посмотреть результаты проверки ДЗ. Также там будут результаты самостоятельных работ, коллоквиумов и экзаменов.

Домашние задания следует сдавать вовремя. В случае опоздания не более чем на час штраф 20%; от часа до двух - 40%; от двух до трёх - 60%; от трёх до четырёх - 80%; в случае опоздания более чем на четыре часа ДЗ не проверяется.

== Литература ==

Список литературы содержит, помимо учебников, разнообразные научно-популярные книги и даже брошюрки для самых маленьких. Это сделано для того, чтобы студенты могли изучить более доступное изложение материала. У свободно распространяемых изданий указана ссылка на полную версию книги.

<ol><li>  М.Вялый, В.Подольский, А.Рубцов, Д.Шварц, А.Шень. Лекции по дискретной математике. Изд. Дом ВШЭ, 2021. 495 с. ''(Окончательный вариант  учебника, изданный ВШЭ. Выше есть ссылка на черновик.)''</li>

<li>[https://mccme.ru/mmmf-lectures/books/books/book.34.pdf В.А.Успенский. Простейшие примеры математических доказательств.] ''(Эта небольшая брошюра рекомендуется в первую очередь для повышения уровня математической культуры. Если вы чувствуете, что вы не очень разобрались в основных методах доказательств в математике, эта книга - для вас.)''</li>

<li>[http://www.mvo.unn.ru/files/2020/03/9-%D0%A0%D0%B5%D0%BC%D0%B8%D0%B7%D0%BE%D0%B2-%D0%98.%D0%94.-%D0%A1%D0%A2%D0%90%D0%9D%D0%94%D0%90%D0%A0%D0%A2%D0%9D%D0%AB%D0%95-%D0%9E%D0%91%D0%9E%D0%97%D0%9D%D0%90%D0%A7%D0%95%D0%9D%D0%98%D0%AF-%D0%98-%D0%A4%D0%90%D0%9A%D0%A2%D0%AB-%D0%A2%D0%95%D0%9E%D0%A0%D0%98%D0%98-%D0%9C%D0%9D%D0%9E%D0%96%D0%95%D0%A1%D0%A2%D0%92.pdf И. Д. Ремизов. Стандартные обозначения и факты теории множеств.] ''(Конспект всего лишь на 20 страниц, являющийся азбукой высшей математики. В нём коротко изложены основные понятия, которые повсюду встречаются при изучении математики.)''</li>

'''Логика (булевы связки, высказывания)'''

<li> А.Н.Колмогоров, А.Г.Драгалин. Математическая логика. ''(Классический университетский учебник. Для первого чтения может быть тяжеловато.)''</li>

<li> [https://uchebnik.mos.ru/system_2/atomic_objects/files/008/411/807/original/Logika2-text.pdf И.В.Раскина. Логика для всех: от пиратов до мудрецов.] ''(Спокойное, обстоятельное объяснение сути булевых связок и метода доказательства от противного. В книге много задач, доступных школьникам.)'' </li>

<li> Р.М.Смаллиан. Как же называется эта книга? ''(Книга для любителей логических головоломок. Горячо советую эту и другие книги Смаллиана.)'' </li>

'''Индукция'''

<li>[https://mccme.ru/free-books/shen/shen-induction.pdf А.Шень. Математическая индукция] ''(Небольшая брошюра от издательства МЦНМО.)''</li> 

<li>Э.Мендельсон. Введение в математическую логику. ''(Для более глубокого знакомства с фундаментальным значением математической индукции можно изучить главу 3.)''</li>

'''Комбинаторика'''
<li>Н.Я.Виленкин, А.Н.Виленкин, П.А.Виленкин. Комбинаторика. ''(Довольно популярное изложение, при этом в книге есть весьма сложные темы.)''</li>

'''Теория множеств'''
<li>[https://mccme.ru/free-books/vilenkin-rasomn.pdf Н.Я.Виленкин. Рассказы о множествах.] ''(Книжечка по теории множеств для самых маленьких. Ещё там весьма увлекательно рассказывается о красивых математических примерах.)''</li>
<li>[https://mccme.ru/free-books/shen/shen-logic-part1-2.pdf Н.К.Верещагин, А.Шень. Начала теории множеств.] ''(Немного потруднее, но вполне доступно. Авторы нашли удачный баланс между наивной и формальной теорией множеств.)''</li>
<li>[http://www.mvo.unn.ru/wp-includes/ms-files.php?file=2020/03/9-%D0%91%D0%B5%D0%B3%D1%83%D0%BD%D1%86-%D0%90.%D0%92.-%D0%A2%D0%A0%D0%98-%D0%94%D0%9E%D0%9A%D0%90%D0%97%D0%90%D0%A2%D0%95%D0%9B%D0%AC%D0%A1%D0%A2%D0%92%D0%90-%D0%A2%D0%95%D0%9E%D0%A0%D0%95%D0%9C%D0%AB-%D0%9A%D0%90%D0%9D%D0%A2%D0%9E%D0%A0%D0%90-%D0%91%D0%95%D0%A0%D0%9D%D0%A8%D0%A2%D0%95%D0%99%D0%9D%D0%90.pdf А.В.Бегунц. Три доказательства теоремы Кантора-Бернштейна.] ''(Эта теорема - одна из самых трудных, но самых важных в курсе. Так что предлагаю изучить различные подходы к ней.)''</li>

'''Графы'''
<li>О.Оре. Теория графов. ''(Пожалуй, одна из самых известных монографий по теории графов. Что приятно, в ней много картинок.)''</li>
<li>[https://www.mccme.ru/circles/oim/materials/spivak-04-2.pdf А.В.Спивак. Цепи и антицепи.] ''(Небольшая заметка, которая поможет лучше разобраться с теоремой Дилуорса.)''</li>

'''Теория вероятностей'''
<li>Н.Я.Виленкин, О.С. Ивашев-Мусатов, С.И.Шварцбурд. Алгебра и начала математического анализа. 11 класс. Углубленный уровень. ''(Странно видеть в этом списке школьный учебник, но всё же я его включила. "Настоящая" теория вероятностей - крайне тяжёлая наука. Мы же пока изучаем только её азы, поэтому учебники по "настоящей" теории вероятностей я в список включать не буду. В этом школьном учебнике приводится максимально культурное изложение этих азов.)''</li>
<li>[https://mccme.ru/free-books/shen/shen-probability.pdf А.Шень. Вероятность: примеры и задачи.] ''(Снова брошюрка от МЦНМО. В сжатой форме изложены базовые понятия теории вероятностей.)''</li>

'''Теория чисел'''
<li>[https://mccme.ru/free-books/pdf/alfutova.pdf Н.Б.Алфутова, А.В.Устинов. Алгебра и теория чисел для математических школ.] ''(В этой же книге можно порешать задачи по индукции и комбинаторике.)''</li>
</ol>