NIS-TCS-23-24 — различия между версиями

Версия 18:42, 13 января 2024

Общая информация

Участие в НИС состоит из трех частей: посещение научных мероприятий, участие в разборе статей и экзамен.

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

О некоторых мероприятиях, которые можно засчитывать в НИС появляется информация в канале специализации.

Разбор статей организован следующим образом. Студентам предлагается одна тема на модуль, которую нужно самостоятельно изучить по 1-2 статьям. В конце модуля проводится семинар, на котором обсуждается содержание статей и возникшие вопросы, а также пишется небольшая письменная работа по статье. Информация о статьях для разбора и сроках семинара по разбору статьи публикуется в телеграмм канале Курсы по выбору и НИС ТИ, на который нужно обязательно подписаться. Для этого свяжитесь с М.Н. Вялым.

Экзамен проводится в конце курса в формате собеседования. На экзамене обсуждается содержание посещенных студентом семинаров в целом, а также какая-то одна из прослушанных тем по выбору студента.

Продолжительность НИС

Курс проходит в следующих модулях
3 курс ПМИ: 1-4 модули
4 курс ПМИ: 1-3 модули
1 курс СКН: 1-4 модули
2 курс СКН: 1-2 модули

Статьи для разбора

1 модуль. Требуется прочитать статью A. Razborov, S. Rudich Natural proofs Необходимо понять все определения и формулировки из статьи, а также доказательство основной теоремы 4.1.

Занятие с разбором этой статьи планируется 21.10, начало 15:00. Ориентировочное время - 1 пара, в конце занятия будет тест на 25 минут. Ссылка на zoom. Просьба перед занятием зарегистрироваться в гугл классе НИС ТИ, ссылка, если почему-то не сработает, то код курса ocd43fw Это нужно, чтобы сдать тестовые задания. Кто регистрировался в прошлом году, повторно регистрироваться не нужно.

2 модуль. Требуется разобраться с содержанием статьи O. Goldreich Notes on Levin’s Theory of Average-Case Complexity.

Разбор этой статьи пройдет в два занятия (занятия аналогичны, достаточно участвовать в одном из них). Ссылки на zoom суббота, 09.12, 15:00, и понедельник, 11.12, 13:00.

3 модуль. Разобрать статью Eric Allender, Harry Buhrman, Michal Koucký, Dieter van Melkebeek, and Detlef Ronneburger Power from Random Strings Нужно понять определения основных видов колмогоровской сложности с ограничениями на ресурсы (и без), соотношения между ними и основные результаты об алгоритмической сложности связанных с ними задач. Предлагается разобрать доказательства из раздела 2.2, уяснить основную идею доказательств трудности (раздел 1.1) и технику ее применения на примере теоремы 31 и следствия 32 (раздел 3.2).

Дата и время занятия по этой статье будет объявлена дополнительно (ориентировочно конец февраля - начало марта).

Правила оценивания

Вес посещения мероприятий в итоговой оценке составляет 30%, разбора статей — 40%, экзамена — 30%.

Оценка за разбор статей выставляется на основании письменных работ.