Спецкурсы
База данных мехмата спецкурсов и спецсеминаров, засчитываемых студентам в текущем учебном году:
• спецкурсы | • спецсеминары |
Спецкурсы: осень 2023
- Современная теория множеств, дискретная оптимизация, математическая биология (В. А. Любецкий)
годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 25 сентября, далее по чётным неделям.
Курс можно сдавать как годовой или как один/два полугодовых (названия полугодовых «половинок»: «Современная теория множеств и дискретная оптимизация», «Математическая биология»).
- Интуиционистская логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры, пятница 18:30-20:05, начало 22 сентября, аудитория 425 (2ГУМ).
Этот спецкурс — первая часть годового спецкурса Конструктивность в математике и логике. - Колмогоровская сложность (Н. К. Верещагин)
полугодовой спецкурс по выбору кафедры, четверг 18:30-20:05, начало 21 сентября, дистанционно.
Информация о спецкурсе доступна по ссылке.
- Темы в системах счисления (А.Л.Семенов, А.Я.Белов, M.Golafshan)
спецкурс на английском языке, вторник 18:30-20:05, дистанционно.
Перед спецкурсом в 16:45 работает спецсеминар «Вычислимость и неклассические логики» (в той же аудитории 425).
Спецкурсы и семинары МИАН (тоже можно сдавать)
Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
- Доказуемость и формальная арифметика, часть 2 (Л.Д. Беклемишев, Т.Л. Яворская.)
вторник, 16:45, комн.303, начало 12 сентября. - Окрестностная семантика модальных логик (А.В. Кудинов, Д.С. Шамканов.)
вторник, 18:30, комн.430, начало 12 сентября. - Алгоритмические вопросы алгебры (И.Г. Лысенок.)
вторник, 14:45, комн.430, начало 12 сентября. - Дескриптивная теория множеств (В.Г. Кановей.)
среда, 18:00, комн.313, начало 13 сентября. - Введение в теорию сложности (Д.В. Мусатов.)
понедельник, 14:45, комн.430, начало 11 сентября. - Основы теории множеств (С.О. Сперанский.)
понедельник, 16:50, комн.530, начало 11 сентября. - Алгебраическая логика и категории (В.Б. Шехтман.)
четверг, 18:00, комн.104, начало 14 сентября.
Также в МИАН продолжают работу научные семинары:
- Семинар по геометрической теории групп (в рамках НОЦ). (И.Г. Лысенок, А.Л. Таламбуца.)
четверг, 18:00,, комн.430, начало 14 сентября. - Теория доказательств / Logic Online Seminar (Л.Д. Беклемишев.)
Какие спецкурсы нужно сдавать студенту мехмата?
Остальным необходимо смотреть рабочие планы мехмата.
Спецкурсы по выбору кафедры ⊆ спецкурсы по выбору студента.
Курс | Сдаваемые спецкурсы |
3 курс | годовой спецкурс по выбору кафедры (экзамен) |
4 курс | годовой спецкурс по выбору студента (экзамен) |
4 курс осень | Курс ЕНС (любой на выбор студента) (экзамен) |
4 курс весна | Курс ЕНС (любой на выбор студента) (экзамен) |
5 курс осень | 3 полугодовых с/к по выбору кафедры (экз+экз+зач) Курс ЕНС (любой на выбор студента) (экзамен) |
5 курс весна | 2 полугодовых с/к по выбору кафедры (экз + зачет) Спецкурс на иностранном языке (экзамен) Курс ЕНС (любой на выбор студента) (зачет) |
6 курс осень | Курс ЕНС (любой на выбор студента) (зачет) ЕНС на иностранном языке (зачет) 4 полугодовых спецкурса по выбору студента (экз+экз+экз+экз) |
6 курс весна | — |