К сожалению, работы только с часа можно будет посмотреть

Напоминаю про опрос о спецкурсе. Если кто ещё хочет высказаться, прошу. Начальство уже хочет определённости.

📊 Традиционно осенью я читаю продвинутый спецкурс для узкой аудитории по тематике, связанной со сложностью вычислений. На что вам было бы интересно ходить? (Можно выбрать несколько вариантов).

Вероятностно проверяемые доказательства (PCP-теорема с полным доказательством, unique game conjecture, приближения для конкретных задач) [2]
‎├ Nikita Sveshnikov
‎└ Yan Slabodich

Псевдослучайность и дерандомизация (экспандеры, экстракторы, генераторы псевдослучайных чисел и связи между ними. Почему мы думаем, что BPP=P) [4]
‎├ Yan Slabodich
‎├ Ruslan Ishmukhametov
‎├ Илья Курузов
‎└ Andrei Asanau

Тотальные задачи поиска и теоремы о неподвижных точках (подробно про класс PPAD и прочие, связи с теорией игр, экономическими равновесиями и топологией) [1]
‎└ Matvey Bezlepkin

Рациональные интерактивные доказательства (обзор моделей, в том числе с несколькими Мерлинами и различными способами взаимодействия между ними) [2]
‎├ Yan Slabodich
‎└ Matvey Bezlepkin

👥 6 людей проголосовали

Большинство высказалось за спецкурс по псевдослучайности. Присоединяйтесь к чату, оставшемуся от прошлого года: https://t.me/joinchat/DZlFTRI3Dvope1VxBqmUng

Домашние работы в целом проверены, оценки в табличке. Желающие повысить оценку могут дорешивать ранее не сделанные задачи, но не исправлять уже присланные. Желательно прислать не позднее среды, в любом случае в пятницу 28 июня все ведомости будут закрыты. Желающие посмотреть бумажные домашки могут искать меня завтра в КПМ (с утра в 302 на защите дипломов).

Как и год назад, канал в новом семестре продолжит работу для нового курса. Теперь он связан с чатом посредством функционала телеграма. Все желающие, прошедшие курс, приглашаются остаться для помощи новым слушателям.

А тех, кто будет слушать криптографию на 4-м курсе, приглашаю в чат https://t.me/joinchat/DZlFTQ8qiK7Ymz7GXLiaKw

В этом году будет ещё и интересный спецкурс по теории множеств, вот его программа. Занятия по вторникам с 19 часов в 409 ГК, начало 17 сентября. Читает ваш однокурсник Иван Смирнов. Подписывайтесь на канал курса!

В этом семестре будет происходить спецкурс "Концепции теории игр". Программа в приложении, никаких глубоких знаний заранее не требуется, с прошлогодним спецкурсом пересечение небольшое. Занятия по пятницам с 18:45 в 115 КПМ. Первое занятие уже послезавтра, 13 сентября. На нём разыграем две шоколадки! Приглашалка в чат по курсу: https://t.me/joinchat/DZlFTUmeY2z_4jOgSymv0g

А это книга по нашему курсу в состоянии "как есть" (некоторые разделы могут быть не дописаны или походить на черновик).

Готова программа по курсу. В частности, прописаны правила выставления оценки.

Программа обновлена. Добавлен пункт про олимпиадный балл.

https://docs.google.com/spreadsheets/d/11vw4sUo720tuEFmqKXsNMiJ2DY9oeS_HkYMIiJjhCAY/edit#gid=0 - табличка для записи на проекты. Она открыта по ссылке на редактирование, так что, пожалуйста, без вандализма (история в любом случае сохраняется). Файл со списком проектов выложу следующим сообщением. Каждый проект могут взять максимум двое студентов, так что, скорее всего, спрос на программистские проекты сильно превысит предложение. На этот случай есть проект номер 0 (своя тема, это вообще самый предпочтительный вариант) или различные спецификации, которые нужно прописывать в табличке всем, взявшим один и тот же проект. В нижней части таблицы написано, сколько раз какой проект взяли, так что если желаемый проект уже взяли двое, нужно либо переключаться на другой, либо прописывать спецификацию. Обратите внимание на тему 41, там особые условия.

А вот сам список проектов. Рекомендую не торопиться с выбором, а немного изучить, что предлагается.

Тренировочный вариант первой (маленькой) контрольной. Она будет на семинарах, даты проведения указаны в файле.

По этой ссылке будут появляться оценки за контрольные и проекты: https://docs.google.com/spreadsheets/d/1yAZsNh5L_tf0J67CQksoPbG4j6Ofzfo7Z8FlCgHduls/edit?usp=sharing

Случайно написал вчера только в чат. Дублирую.
На этой неделе меня не будет, но пары заменят. Семинар в группе 7910 в понедельник проведёт Артём Жук, лекцию в среду - Илья Степанов.

Тренировочный вариант контрольной. Точную дату уточняйте у своих семинаристов.

Это в 17:05, 115 КПМ