#матлог #учёба #спецкурс

А.В.Кудинов прочитает спецкурс НОЦ МИАН «Сложность неклассических логик».

Первая лекция: 10 сентября

Место проведения: МИАН, ком. 303

Время проведения: вторник 18:00-19:30

Страница спецкурса: https://www.mathnet.ru/conf2469

Аннотация. В курсе мы сделаем краткое введение в теорию сложности и неклассические логики. Далее мы докажем все основные результаты о сложности неклассических логик, среди которых встречаются как и относительно несложные логики, так и очень сложные, вплоть до неразрешимых.

Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

🔗 Курс А. В. Кудинова "Сложность неклассических логик"


➰ ВК