Спецкурсы

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

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

Математическая биология и дискретная оптимизация (В. А. Любецкий)
годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 26 сентября.
Сразу после спецкурса (понедельник 18:30–20:05) следует спецсеминар “Дискретная оптимизация и биоинформатика”.
Интуиционистская логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры, понедельник 16:45-18:20, начало 10 октября, аудитория 425 (2ГУМ)
Коммуникационная сложность (Н. К. Верещагин)
полугодовой спецкурс по выбору кафедры, четверг 18:30-20:05
Модальная логика (В. Б. Шехтман)
полугодовой спецкурс по выбору кафедры,
четверг 16:45–18:20, онлайн (Zoom), начало 8 сентября.

Данные для входа в конференцию
https://us02web.zoom.us/j/83811992538
номер 838 1199 2538
пароль modlog
Хаотические динамические системы (А. Л. Семёнов, А. Я. Канель-Белов, Г. Мехди)
спецкурс на английском языке,
четверг 19:45–22:00, онлайн (Zoom), начало 22 сентября. Подробная информация о спецкурсе доступна по ссылке.

Данные для входа в конференцию и ссылка на телеграм-канал курса
номер 713 2679 4128
пароль Vz4xbb
Телеграм-канал: ссылка.

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

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

Введение в теорию сложности (Е.В.Дашков)
полугодовой спецкурс по выбору кафедры,
понедельник 14:45 – 16:10, комн.430+Zoom, начало 12 сентября.
Основы теории множеств (С.О.Сперанский)
полугодовой спецкурс по выбору кафедры,
понедельник 16:25 – 17:50, комн.430+Zoom, начало 12 сентября.
Доказуемость и формальная арифметика (Л.Д.Беклемишев, Т.Л.Яворская)
полугодовой спецкурс по выбору кафедры,
вторник 14:45 – 16:10, комн.430+Zoom, начало 13 сентября.
Лямбда-исчисление (С.Л.Кузнецов)
полугодовой спецкурс по выбору кафедры,
вторник 16:25 – 17:50, комн.430+Zoom, начало 13 сентября.
Теория множеств 2 (В.Г.Кановей)
полугодовой спецкурс по выбору кафедры,
среда 13:10 – 14:35, комн.430+Zoom, начало 14 сентября.
Алгоритмические вопросы алгебры (А.Л.Таламбуца)
полугодовой спецкурс по выбору кафедры,
среда 14:45 – 16:10, комн.430+Zoom, начало 14 сентября.

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

Конструктивная логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры.
2 полугодовых спецкурса «Интуиционистская логика» и «Конструктивная логика» объединяются в годовой спецкурс «Конструктивность в логике и математике».
Экспандеры, экстракторы и их применения (Н. К. Верещагин)
полугодовой спецкурс по выбору кафедры

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

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

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

Спецкурсы (весна 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 сентября.

Спецкурсы (весна 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 сентября (предположительно).