Спецкурсы

База данных мехмата спецкурсов и спецсеминаров, засчитываемых студентам в текущем учебном году:

• спецкурсы		• архив спецкурсов
• спецсеминары		• архив спецсеминаров
Какие спецкурсы надо сдавать студенту?

Спецкурсы: весна 2022

Построение генераторов псевдослучайных чисел (Н.К. Верещагин)
полугодовой спецкурс по выбору кафедры
вторник 18:30–20:05, он-лайн (Zoom), начало 8 февраля.
Дополнительные главы математической логики (Н.К. Верещагин, Е.Е. Золин)
полугодовой спецкурс на английском языке для 5-го курса
четверг 15:00–16:35, он-лайн (Zoom), начало 10 февраля.
Статистическая геометрия (2) / Statistical geometry (2)
(Г. Мехди, А.Я. Канель-Белов)
полугодовой спецкурс по выбору кафедры,
четверг 17:00–19:00, онлайн (Zoom), начало 3 марта.
Математическая биология и дискретная оптимизация (В. А. Любецкий)
полугодовой спецкурс по выбору кафедры,
понедельник 16:45–18:20, онлайн (Zoom), начало 21 февраля.
Символическая динамика (2) / Symbolic dynamics (2)
(А.Л. Семенов, А.Я. Канель-Белов, Г. Мехди, И. Митрофанов)
полугодовой спецкурс по выбору кафедры,
среда 19:00–21:00, онлайн (Zoom), начало 2 марта.
Конструктивная логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры,
вторник 16:45–18:20 онлайн (Zoom). Для получения ссылки следует обратиться по адресу veplisko@yandex.ru.
ЕНС Математическая логика и алгоритмы (В.Б. Шехтман)
четверг 16:45-18:20, начало 10 февраля

Спецкурсы МИАН (тоже можно сдавать)

Геометрическая теория групп (И. Г. Лысёнок)
годовой (= два полугодовых) спецкурс по выбору кафедры,
понедельник 11:30–12:55, онлайн (Zoom), начало 7 февраля.
Теория множеств (Д.И. Савельев)
полугодовой (1-я часть годового), спецкурс по выбору кафедры
понедельник 16:25-17:50, МИАН, комн. 430 + Zoom, начало 7 февраля
Неклассические логики (Т.Л. Яворская)
полугодовой спецкурс
вторник 14:45–16:10, МИАН, комн. 430 + Zoom, начало 8 февраля
Структурная теория доказательств и алгебраическая логика (С.О. Сперанский)
полугодовой спецкурс
понедельник 14:45-16:10, МИАН, комн. 430 + Zoom, начало 7 февраля

Спецкурсы: осень 2021

Математическая логика (Т. Л. Яворская, С. Л. Кузнецов)
годовой спецкурс по выбору кафедры (для 3 курса)
понедельник 16:45–18:20, очно, ауд. 13-03 ГЗ МГУ, начало 13 сентября.
Математическая биология и дискретная оптимизация (В. А. Любецкий)
полугодовой спецкурс по выбору кафедры,
понедельник 16:45–18:20, онлайн (Zoom), начало 27 сентября.
Интуиционистская логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры,
вторник 16:45–18:20 онлайн (Zoom), начало 21 сентября.
Односторонние функции и их применения (Н. К. Верещагин)
полугодовой спецкурс по выбору кафедры,
вторник 18:30–20:05, онлайн (Zoom), начало 14 сентября.
Статистическая геометрия / Statistical geometry (new)
(Г. Мехди, А.Я. Канель-Белов)
полугодовой спецкурс по выбору кафедры,
среда 19:00–21:00, онлайн (Zoom), начало 29 сентября.
Логики предикатов (В. Б. Шехтман)
полугодовой спецкурс по выбору кафедры,
четверг 16:45–18:20, онлайн (Zoom), начало 16 сентября.
Символическая динамика / Symbolic dynamics (new)
(А.Л. Семенов, А.Я. Канель-Белов, Г. Мехди, И. Митрофанов)
полугодовой спецкурс по выбору кафедры,
четверг 19:00–21:00, онлайн (Zoom), начало 29 сентября.
Коды с исправлением ошибок / Error correcting codes (Н. К. Верещагин)
полугодовой курс ЕНС на английском языке,
пятница 12:30–14:05, онлайн (Zoom), начало 1 октября.
Модальная логика (Е. Е. Золин)
годовой (= два полугодовых) спецкурс по выбору кафедры,
пятница 18:30–20:05, онлайн (Zoom), начало ≈ 24 сентября.
Комбинаторика слов
Полугодовой, по выбору кафедры (читается на англ. языке).
Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
День и время будут сообщены позже
Спецкурсы МИАН (тоже можно сдавать)
Введение в теорию сложности (В. В. Подольский)
полугодовой спецкурс по выбору кафедры,
понедельник 10:00–11:25, МИАН, комн. 430 + Zoom, начало 6 сентября.
Геометрическая теория групп (И. Г. Лысёнок)
годовой (= два полугодовых) спецкурс по выбору кафедры,
понедельник 11:30–12:55, онлайн (Zoom), начало 6 сентября.
Теория множеств 2 (Д. И. Савельев)
полугодовой (2-я часть годового) спецкурс по выбору кафедры,
понедельник 14:45–16:10, онлайн (Zoom), начало 13 сентября.
Лямбда-исчисление (С. Л. Кузнецов)
полугодовой спецкурс по выбору кафедры,
понедельник 16:25–17:50, МИАН, комн. 430 + Zoom, начало 6 сентября.
Доказуемость и формальная арифметика (Л. Д. Беклемишев, Т. Л. Яворская)
полугодовой спецкурс по выбору кафедры,
вторник 14:45–16:10, МИАН, комн. 430 + Zoom, начало 14 сентября.

Какие спецкурсы нужно сдавать студенту мехмата?

Таблица ниже лишь для студентов отделения математики.
Остальным необходимо смотреть рабочие планы мехмата.
Спецкурсы по выбору кафедры ⊆ спецкурсы по выбору студента.

Курс	Сдаваемые спецкурсы
3 курс	годовой спецкурс по выбору кафедры (экзамен)
4 курс	годовой спецкурс по выбору студента (экзамен)
4 курс осень	Курс ЕНС (любой на выбор студента) (экзамен)
4 курс весна	Курс ЕНС (любой на выбор студента) (экзамен)
5 курс осень	3 полугодовых с/к по выбору кафедры (экз+экз+зач) Курс ЕНС (любой на выбор студента) (экзамен)
5 курс весна	2 полугодовых с/к по выбору кафедры (экз + зачет) Спецкурс на иностранном языке (экзамен) Курс ЕНС (любой на выбор студента) (зачет)
6 курс осень	Курс ЕНС (любой на выбор студента) (зачет) ЕНС на иностранном языке (зачет) 4 полугодовых спецкурса по выбору студента (экз+экз+экз+экз)
6 курс весна	—

Спецкурсы (весна 2021)

- ЕНС «Математическая логика и алгоритмы» 4 курс (В.Б.Шехтман)
  четверг 16:45–18:20, начало 11 февраля.
- «Сложность вычислений» (Н.К.Верещагин)
  вторник 18:30–20:05, начало 16 февраля
- «Математическая логика» (С.Л. Кузнецов)
  (обязательный с/к для студ. 3 курса кафедры)
  четверг 15:00–16:35, начало 11 февраля.
- «Конструктивная логика» (В.Е. Плиско)
  четверг 16:45–18:20, начало 18 февраля.
- Спецсеминар «Вычислимость и неклассические логики»
  (руководители — В.Е.Плиско, В.Н.Крупский)
  понедельник 16:45–18:20, начало 1 марта.
- «Теория графов и биоинформатика» (В.А. Любецкий)
  понедельник 17:45–19:20, начало 15 февраля.
- «Геометрия слов» (А.Л. Семенов, А.Я. Канель-Белов,
  М. Голафшан, И.В. Митрофанов, Ф. Рухович)
  среда 19:00–21:00, начало 10 февраля. Постер
- «Модальная логика» (Е.Е. Золин)
  пятница 18:30 или 19:00, дата начала появится позже.
- «Доп. главы классической логики» (Е.Е. Золин)
  (спецкурс на англ. яз. для 5 курса, но могут посещать и другие)
  среда 10:45–12:20, начало 10 февраля

Спецкурсы НОЦ МИАН, которые можно слушать и сдавать

(для получения Zoom-ссылки нужно заполнить форму, доступную по ссылке):

«Неклассические логики» (Л.Д. Беклемишев, Т.Л. Яворская)
понедельник 11:30–12:55, начало 8 февраля.
«Теория множеств 1» (Д.И. Савельев)
понедельник 15:05–16:30, начало 8 февраля.
«Структурная теория доказательств и алгебраическая логика» (С.Л. Кузнецов)
понедельник 16:35–18:00, начало 8 февраля.
«Уравнения в группах» (И.Г. Лысёнок)
вторник 15:00–16:30, начало 9 февраля
«Алгоритмические вопросы алгебры» (А.Л.Таламбуца)
среда 17:00–18:20, начало 10 февраля

Спецкурсы (осень 2020)

- - «Теория доказательств и формальная арифметика»
    Читают: Л. Д. Беклемишев, Т. Л. Яворская
    Вторник 14:30–16:00 в МИАН (ауд. 530).
    Начало 22 сентября (первая лекция — онлайн).
    Записаться на курс можно по ссылке выше.

- - «Циклические доказательства»
    Полугодовой, по выбору кафедры.
    Читают: С. Л. Кузнецов, Д. С. Шамканов.
    Понедельник 16:00–17:45, в МИАН (конференц-зал, 9 этаж).
    Начало 7 сентября.

- - Апериодические замощения | Программа
    Полугодовой, по выбору кафедры.
    Читает: проф. Н. К. Верещагин.
    Среда 16:00-17:30, начало 16 сентября.
    Лекции читаются будут читаться на платформе Google Meet, ссылка:
    http://meet.google.com/oqm-hauf-cjx

- - Комбинаторика слов (Combinatorics on words) (new)
    Полугодовой, по выбору кафедры (читается на англ. языке).
    Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
    Среда 19:00–21:00 (онлайн, через zoom)
    Начало 9 сентября.
    Адрес подключения здесь | Важные даты

- - Теория графов и биоинформатика
    Спецсеминар (просеминар) / полугодовой спецкурс по выбору студента.
    Читают: проф. В.А.Любецкий, К.Ю.Горбунов.
    Понедельник 17:45 (первые месяцы онлайн).
    Начало 28 сентября.
    Для получения ссылки ZOOM напишите К.Ю.Горбунову (gorbunov[o]iitp.ru).

- - Конструктивность в логике и математике
    Годовой, по выбору студента.
    Читает: доц. В. Е. Плиско.
    Четверг 17:45, дистанционно (zoom). Начало 17 сентября.
    Для получения ссылок обратиться по email к Плиско (см. страницу «Сотрудники).Спецсеминар Вычислимость и неклассические логики (В.Е.Плиско, В.Н.Крупский) будет проходить по понедельникам в 17:45, дистанционно (zoom). Первое занятие 21 сентября.

- - Алгебраическая логика
    Полугодовой, по выбору кафедры.
    Читает: проф. В.Б.Шехтман.
    Вторник 17:45—19:20, дистанционно (zoom).
    Начало 15 сентября.
    Конференция zoom: 831 4225 1858.
    Для получения пароля обратиться по email к В.Б.Шехтману (vshehtman[a]gmail.com).

- - Модальная логика
    Годовой, по выбору кафедры.
    Читает: с.н.с. Е.Е.Золин.
    Пятница 17:45 (предположительно).
    Начало: 25 сентября (предположительно).