Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Колмогоровский семинар

Руководят семинаром Н. К. Верещагин, А. Л. Семёнов, А. Е. Ромащенко и А. Х. Шень. Семинар работает по понедельникам с 16:20 до 17:55. Колмогоровский семинар имеет свой сайт.

Это научный семинар. На каждом занятии один из участников или гостей семинара делает доклад, в котором рассказывает о своих результатах или об изученных новых научных статьях, интересных остальным участникам. В докладах даются определения используемых понятий, формулировки доказанных теорем и объясняется их смысл и чем они интересны. Затем обычно излагаются доказательства и формулируются открытые вопросы. Довольно часто ответы на такие вопросы находятся потом участниками семинара, решения докладываются и т. д. Таким образом, семинар является важным двигателем научного исследования.

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

Можно также прослушать спецкурсы по этим дисциплинам, читаемые руководителями семинара: «Колмогоровская сложность и теория информации»«Сложность вычислений». Второй спецкурс читается иногда в Московском центре непрерывного математического образования (МЦНМО), расположенном по адресу Б. Власьевский пер., 11.