Базовая кафедра МИАН в Московском физико-техническом институте
«Методы современной математики»

О кафедре

В 2020 году на базе Математического института им. В. А. Стеклова Российской академии наук создана кафедра «Методы современной математики» в Московском физико-техническом институте при физтех-школе прикладной математики и информатики. Заведующий кафедрой – директор МИАН, академик РАН Трещев Дмитрий Валерьевич. Заместитель заведующего кафедрой – профессор РАН, д.ф.-м.н. Печень Александр Николаевич. Магистранты имеют возможность проводить научные исследования под руководством ведущих ученых МИАН. Учебные занятия будут проводиться в МИАН либо онлайн. Учебный план кафедры даёт студенту возможность выбрать одну из двух «линеек» (траекторий) обучения: «алгоритмические вопросы логики, алгебры и теории чисел» и «математические методы квантовых технологий», соответствующих двум направлениям подготовки. Также студенты могут посещать курсы НОЦ МИАН.

• Видео с презентацией кафедры
• Информация по поступлению на странице кафедры на сайте физтех-школы ПМИ

Алгоритмические вопросы логики, алгебры и теории чисел

«Алгоритмическая» линейка соответствует направлению подготовки «Информатика и вычислительная техника» и включает курсы по математической логике, в том числе неклассическим логикам и применениям логики в Computer Science, теории дискретных случайных процессов, аддитивной комбинаторики, теории групп и комбинаторике слов и другие. Разнообразие предлагаемых в рамках этой линейки курсов отвечает разнообразию интересов студентов, от «чистой» математики до прикладных задач.

Контакты алгоритмической линейки: Кузнецов Степан Львович, sk@mi-ras.ru.

Программа:

• I семестр
  • Введение в теорию сложности
  • Основы теории множеств
  • курс НОЦ по выбору
• II семестр
  • Введение в теорию чисел
  • Неклассические логики
  • курс НОЦ по выбору
• III семестр
  • Лямбда-исчисление (С. Л. Кузнецов)
  • Алгоритмические вопросы алгебры (А. Л. Таламбуца)
  • Теория множеств. Часть II (Д. И. Савельев)
  • Доказуемость и формальная арифметика. Доп. главы (Л. Д. Беклемишев, Т. Л. Яворская)
  • Теория чисел. Часть III (И. С. Резвякова)

Математические методы квантовых технологий

«Квантовая» линейка соответствует направлению подготовки «Прикладные математика и физика» и включает курсы по квантовой теории информации, теории управления квантовыми системами, квантовой криптографии и квантовым коммуникациям, квантовым вычислениям и алгоритмам, теории открытых квантовых систем. Излагаемые темы охватывают как ключевые фундаментальные результаты, так и методы, тесно связанные с современными прикладными задачами в бурно развивающейся области квантовых технологий.

Контакты квантовой линейки: Печень Александр Николаевич, apechen@gmail.com

Программа:

• I семестр
  • Математические основы квантовой информатики. Часть I (А. С. Холево)
  • Управление квантовыми системами (А. Н. Печень, О. В. Моржин)
  • Классические и квантовые случайные процессы. Часть I (Г. Г. Амосов)
  • Основы теории открытых квантовых систем. Часть I (А. Е. Теретёнков)
  • Введение в теорию сложности (В. В. Подольский)
• II семестр
  • Математические основы квантовой информатики. Часть II (А. С. Холево)
  • Классические и квантовые случайные процессы. Часть II (Г. Г. Амосов)
  • Основы теории открытых квантовых систем. Часть II (А. Е. Теретёнков)
  • Введение в интегрируемые системы. Часть I (А. В. Зотов)
  • Функциональные интегралы и их приложения в квантовой теории и статистической механике. Часть I (О. Г. Смолянов, В. Ж. Сакбаев)
  • Квантовые вычисления (А. С. Трушечкин)
• III семестр
  • Квантовые тензорные сети (С. Н. Филиппов)
  • Функциональные интегралы и их приложения в квантовой теории и статистической механике. Часть II (О. Г. Смолянов, В. Ж. Сакбаев)
  • Введение в интегрируемые системы. Часть II (А. В. Зотов)
  • Геометрические методы в квантовой информации (Д. С. Агеев)
  • Квантовая криптография (Д. А. Кронберг)

Состав кафедры

• Д. В. Трещев: д.ф.-м.н., профессор, академик РАН, директор МИАН

• А. Н. Печень: д.ф.-м.н., профессор РАН, заведующий отделом математических методов квантовых технологий МИАН

• Наталия Владимировна Дорофеева (е-мэйл: dorofeeva.nv@mipt.ru )

• В. И. Афанасьев: д.ф.-м.н., в.н.с. МИАН (отд. дискретной математики)
• Л. Д. Беклемишев: д.ф.-м.н., академик РАН, г.н.с., зав. отделом МИАН (отд. математической логики)
• М. Р. Габдуллин: к.ф.-м.н., н.с. МИАН (отд. теории чисел)
• С. Л. Кузнецов: к.ф.-м.н., с.н.с. МИАН (отд. математической логики)
• И. Г. Лысенок: д.ф.-м.н., в.н.с. МИАН (отд. математической логики)
• В. В. Подольский: к.ф.-м.н., с.н.с. МИАН (отд. математической логики)
• И. С. Резвякова: к.ф.-м.н., с.н.с. МИАН (отд. теории чисел)
• Д. И. Савельев: и.о. с.н.с. ИППИ РАН (лаборатория № 13 "Алгебра и теория чисел")
• А. Л. Таламбуца: к.ф.-м.н., н.с. МИАН (отд. математической логики)
• Т. Л. Яворская: к.ф.-м.н., доцент МГУ (кафедра математической логики и теории алгоритмов)

• Г. Г. Амосов, д.ф.-м.н., в.н.с. МИАН (отд. теории вероятностей и математической статистики)
• А. В. Зотов, д.ф.-м.н., в.н.с. МИАН (отд. теоретической физики)
• Д. А. Кронберг, к.ф.-м.н., с.н.с. МИАН (отд. математических методов квантовых технологий)
• О. В. Моржин, к.ф.-м.н., с.н.с. МИАН (отд. математических методов квантовых технологий)
• А. Н. Печень, д.ф.-м.н., профессор РАН, в.н.с., зав. отделом МИАН (отд. математических методов квантовых технологий)
• В. Ж. Сакбаев, д.ф.-м.н., профессор МФТИ (кафедра высшей математики)
• О. Г. Смолянов, д.ф.-м.н., профессор МГУ (кафедра теории функций и функционального анализа)
• А. Е. Теретёнков, к.ф.-м.н., с.н.с. МИАН (отд. математических методов квантовых технологий)
• А. С. Трушечкин, д.ф.-м.н., с.н.с. МИАН (отд. математической физики)
• С. Н. Филиппов, к.ф.-м.н., зав. лабораторией МФТИ (лаборатория квантовой теории информации)
• А. С. Холево, д.ф.-м.н., академик РАН, г.н.с., зав. отделом МИАН (отд. теории вероятностей и математической статистики)

Расписание занятий

Осенний семестр 2022/2023 учебного года

• понедельник
  • 10:00–11:25 С. Н. Филиппов (К) «Квантовые тензорные сети», Zoom
  • 11:30–12:55 Д. С. Агеев (К) «Геометрические методы в квантовой информации», Zoom
  • 14:45–16:10 Е.В. Дашков (А/К) «Введение в теорию сложности», ауд. 430 + Zoom
  • 16:25–17:50 С.О. Сперанский (А) «Основы теории множеств», ауд. 430 + Zoom
• вторник
  • 10:00–11:25 А. Е. Теретенков (К) «Основы теории открытых квантовых систем. Часть I», Zoom
  • 10:00–11:25 М.Г. Матушко (К) «Введение в интегрируемые системы. Часть II», 13, 20 сентября - Zoom, далее - ауд. 430 + Zoom
  • 11:30–12:55 Г. Г. Амосов (К) «Классические и квантовые случайные процессы. Часть I», Zoom
  • 11:30–12:55 Д. А. Кронберг (К) «Квантовая криптография», начало занятий - 20 сентября, ауд. 430 + Zoom
  • 13:10–14:35 А. Н. Печень, О. В. Моржин, Б. Волков (К) «Управление квантовыми системами», Zoom
  • 14:45–16:10 Л. Д. Беклемишев, Т. Л. Яворская (А) «Доказуемость и формальная арифметика», ауд. 430 + Zoom
  • 16:25–17:50 С. Л. Кузнецов (А) «Лямбда-исчисление», ауд. 430 + Zoom
• среда
  • 10:00–11:25 А. С. Холево (К) «Математические основы квантовой информатики. Часть I», Zoom
  • 11:30–12:55 В. Ж. Сакбаев (К) «Функциональные интегралы и их приложения в квантовой теории и статистической механике. Часть II», Zoom
  • 13:10–14:35 В. Г. Кановей (А) «Теория множеств. Часть II», ауд. 430 + Zoom
  • 14:45–16:10 А. Л. Таламбуца (A) «Алгоритмические вопросы алгебры», ауд. 430 + Zoom
  • 16:20–17:50 Научный семинар кафедры

Весенний семестр 2021/2022 учебного года

• понедельник
  • 10:00–11:25 А. С. Трушечкин (К) «Квантовые вычисления»
  • 11:30–12:55 И. Г. Лысёнок (А) «Геометрическая теория групп»
  • 11:35–13:00 А. Е. Теретёнков (К) «Основы теории открытых квантовых систем»
  • 14:45–16:10 С. О. Сперанский (А) «Структурная теория доказательств и алгебраическая логика»
  • 16:35–18:00 Д. И. Савельев (А) «Теория множеств»
• вторник
  • 11:30–12:55 Г. Г. Амосов (К) «Классические и квантовые случайные процессы»
  • 13:10–14:35 А. В. Зотов (К) «Введение в интегрируемые системы»
  • 14:45–16:10 Т. Л. Яворская (А) «Неклассические логики»
  • 16:25–17:50 В. Ж. Сакбаев (К) «Функциональные интегралы и их приложения в квантовой теории и статистической механике»
• среда
  • 10:00–11:25 А. С. Холево (К) «Математические основы квантовой информатики»
  • 14:45–16:10 И. С. Резвякова (А) «Теория чисел 2»

Осенний семестр 2021/2022 учебного года

• понедельник
  • 10:00–11:25 В. В. Подольский (А/К) «Введение в теорию сложности», ауд. 430 + Zoom
  • 11:30–12:55 И. Г. Лысенок (А) «Геометрическая теория групп», Zoom
  • 13:10–14:35 А. Н. Печень, О. В. Моржин (К) «Управление квантовыми системами», Zoom
  • 14:45–16:10 Д. И. Савельев (А) «Теория множеств. Часть II», Zoom (с 13.09)
  • 16:25–17:50 С. Л. Кузнецов (А) «Лямбда-исчисление», ауд. 430 + Zoom
• вторник
  • 10:00–11:25 А. Е. Теретенков (К) «Основы теории открытых квантовых систем. Часть I», Zoom
  • 11:30–12:55 Г. Г. Амосов (К) «Классические и квантовые случайные процессы. Часть I», Zoom
  • 13:10–14:35 С. Н. Филиппов (К) «Квантовые тензорные сети», Zoom
  • 14:45–16:10 Л. Д. Беклемишев, Т. Л. Яворская (А) «Доказуемость и формальная арифметика», ауд. 430 + Zoom (с 14.09)
  • 14:45–16:10 А. В. Зотов (К) «Введение в интегрируемые системы. Часть II», Zoom
  • 16:25–17:50 В. Ж. Сакбаев, О. Г. Смолянов (К) «Функциональные интегралы и их приложения в квантовой теории и статистической механике. Часть II», Zoom
• среда
  • 10:00–11:25 А. С. Холево (К) «Математические основы квантовой информатики. Часть I», Zoom
  • 11:30–12:55 Д. С. Агеев (К) «Геометрические методы в квантовой информации», ауд. 430 + Zoom
  • 13:10–14:35 Д. А. Кронберг (К) «Квантовая криптография», ауд. 430 + Zoom
  • 14:45–16:10 М. А. Королёв (A) «Теория чисел», ауд. 430 + Zoom

Весенний семестр 2020/2021 учебного года

• понедельник
  • 10:00–11:25 А. С. Трушечкин (К) «Квантовые вычисления»
  • 11:30–12:55 Т. Л. Яворская (А) «Неклассические логики»
  • 13:00–14:25 И. С. Резвякова (А) «Теория чисел. Часть 2»
  • 13:35–15:00 А. С. Холево (К) «Математические основы квантовой информатики. Часть 2»
  • 15:05–16:30 Д. И. Савельев (А) «Теория множеств. Часть 1»
  • 16:45–18:10 С. Л. Кузнецов (А) «Структурная теория доказательств и алгебраическая логика»
• вторник
  • 10:00–11:25 А. Е. Теретёнков (К) «Основы теории открытых квантовых систем. Часть 2»
  • 11:30–12:55 Г. Г. Амосов (К) «Классические и квантовые случайные процессы. Часть 2»
  • 13:35–15:00 А. В. Зотов (К) «Введение в интегрируемые системы. Часть 1»
  • 16:35–18:00 О. Г. Смолянов, В. Ж. Сакбаев (К) «Функциональные интегралы и их приложения в квантовой теории и статистической механике. Часть 1»

Осенний семестр 2020/2021 учебного года

• понедельник
  • 10:00–11:25 М. Р. Габдуллин (А) «Теория чисел»
  • 13:35–15:00 А. С. Холево (К) «Математические основы квантовой информатики. Часть I»
  • 15:05–16:30 А. Н. Печень, О. В. Моржин (К) «Управление квантовыми системами»
• вторник
  • 10:00–11:25 А. Е. Теретёнков (К) «Основы теории открытых квантовых систем. Часть I»
  • 11:30–12:55 Г. Г. Амосов (К) «Классические и квантовые случайные процессы. Часть I»
  • 13:00–14:20 В. И. Афанасьев (А) «Сходимость случайных процессов»
  • 14:30–16:00 Л. Д. Беклемишев, Т. Л. Яворская (А) «Доказуемость и формальная арифметика»
  • 16:15–17:45 В. В. Подольский (А/К) «Введение в теорию сложности»