Лекторий ФПМИ

Теория вероятностей 14. Теорема Гливенко. Неравенство Хёфдинга. Условное мат.ожидание

Теория вероятностей 13. Условие Линдберга. Центральная предельная теорема

Теория вероятностей 12. Закон больших чисел

Теория вероятностей 11. Неравенство Маркова. Теорема Риса. Сходимости случайных величин.

Программирование на языке C++ (основной поток) 12. Type deduction, Std::tuple

[Консультация] Математическая логика и теория алгоритмов 1. Подготовка к устному экзамену

Презентации базовых кафедр 25. Фундаментальные методы искусственного интеллекта, ИИИ (бакалавриат)

Теория колец и полей (основа) 12. Разрешимость в радикалах

Функциональные языки программирования 15. Хаскель. Аппликативные функторы и монады

Функциональные языки программирования 14. Хаскель. Ленивые вычисления, функторы

Гомотопическая топология 11. Сингулярные гомологии

Гомотопическая топология 12. Клеточные гомологии

[Консультация] Алгебра и геометрия 1. Консультация к устному экзамену

Гомотопическая топология 10. Введение в гомологии

Функциональные языки программирования 14. Хаскель. Ленивые вычисления, функторы

Функциональные языки программирования 13. Хаскель. Рандомизация, Monoid и Foldable

Функциональные языки программирования 12. Хаскель. IO-монады

[Консультация] Математический анализ, интеграл и ряды 1. Подготовка к устному экзамену

Теория колец и полей (основа) 11. Конечные поля

Введение в глубокое обучение 30. Непрерывные диффузионные модели и методы ускорения

Введение в глубокое обучение 26. CLIP

Введение в глубокое обучение 28. Машинное обучение на графах

Введение в глубокое обучение 24. Генеративно-состязательные сети

Введение в глубокое обучение 29. Физически-информированные нейросети

Введение в глубокое обучение 27. Tabular ML

Введение в глубокое обучение 23. Вариационные автоэнкодеры и диффузионные модели

Теория вероятностей 8. Лемма о независимости. Числовые характеристики случайных величин.

Алгоритмы и структуры данных (продвинутый поток) 14. Методы Ньютона, Теллегена. Теорема Лагранжа

[Консультация] Математический анализ, интеграл и ряды 1. Подготовка к письменному экзамену

Алгоритмы и структуры данных (продвинутый поток) 14. Метод Ньютона, Теллегена. Теорема Лагранжа

Алгоритмы и структуры данных (продвинутый поток) 14. Метод Ньютона, Теллегена. Теорема Лагранжа

Вычислительные методы алгебры 10. Построение тензорного поезда

Алгоритмы и структуры данных (продвинутый поток) 14. Методы Ньютона, Теллегена. Теорема Лагранжа

Вычислительная линейная алгебра 20. Расстояние между пространствами

Вычислительная линейная алгебра 19. Оператор проектирования. Расстояние между пространствами

Вычислительные методы алгебры 10. Построение тензорного поезда

Языки программирования и теория компиляции 14. Эволюция IR-технологий

Дискретный анализ (продвинутый поток) 15. Тест AKS

Дискретный анализ (продвинутый поток) 14. Матроиды. Продолжение

Введение в глубокое обучение 22. Обучение GAN, архитектуры

Введение в глубокое обучение 21. Задачи генеративного моделирования, GAN, WGAN

ТКиП (продвинутый поток) 13. Приложения теории Галуа. Основная теорема алгебры

ТКиП (продвинутый поток) 14. Разрешимость в радикалах

Математическая логика и теория алгоритмов 16. Введение в теорию типов

Алгоритмы и структуры данных 15. Центроиды. HLD

Гомотопическая топология 9. Высшие гомотопические группы

Функциональный анализ 14. Операторы Гильберта-Шмидта

Математическая логика и теория алгоритмов 15. Теорема Райса-Шапиро. Машина Тьюринга

Гомотопическая топология 8. Расслоения

Функциональный анализ 13. Преобразование Фурье в L₂(ℝ)

Сложность вычислений 13. Доказательства с нулевым разглашением

Программирование на языке C++ (основной поток) 11. Std::move, Std::forward

Программирование на языке C++ (основной поток) 10. Lvalue, Rvalue, Perfect forwarding problem

ОКТЧ (основной поток) 15. Детерминированные тесты на простоту

Многомерный анализ, интегралы и ряды 31. Тела вращения

Функциональный анализ 13. Спектр самосопряженного оператора

Алгебра и Геометрия 15. Свертка тензора. Тензорное произведение пространств.

Дифференциальные уравнения 13. Задача Лагранжа

Дифференциальные уравнения 12. Изопериметрическая задача

ОКТЧ (продвинутый поток) 14. Обобщения теста Люка-Лемера

ОКТЧ (продвинутый поток) 13. Теста Люка-Лемера

Алгоритмы и структуры данных 14. Деревья. Наименьший общий предок

Математическая логика и теория алгоритмов 15. Арифметика в лямбда-исчислениях

Технологии программирования (продвинутый поток) 25. GitHub Actions. Licenses

Функциональный анализ 12. Спектр линейного оператора

Многомерный анализ, интегралы и ряды 30. Свойства меры Жордана

Теория колец и полей (основа) 10. Основная теорема теории Галуа

Алгебра и Геометрия 14. Тензоры. Тензорное произведение

Алгебра и Геометрия 13. Полярное разложение. Приведение к главным осям.

Языки программирования и теория компиляции 13. JIT

Математическая логика и теория алгоритмов 14. Дополнения к предыдущим темам

Языки программирования и теория компиляции 12. ООП

Языки программирования и теория компиляции 11. Garbage collector

Языки программирования и теория компиляции 10. Instruction Sheduling

Многомерный анализ, интегралы и ряды 29. Мера Жордана

ТКиП (продвинутый поток) 12.5. p-адические числа. Абсолютная группа Галуа

Алгоритмы и структуры данных (продвинутый поток) 13. Двумерное FFT. OR и XOR свёртки

Языки программирования и теория компиляции 12. Виртуальные функции

Дискретный анализ (продвинутый поток) 13. Матроиды

Дискретный анализ (продвинутый поток) 12. Дизайны

Дискретный анализ (продвинутый поток) 11. Теорема Алона о нулях

Дискретный анализ (продвинутый поток) 10. Энтропийные методы

Сложность вычислений: дополнительные главы 12. Завершение доказательства MIP = NEXP

Сложность вычислений: дополнительные главы 11. Продолжение MIP = NEXP

Языки программирования и теория компиляции 11. Instruction scheduling

Языки программирования и теория компиляции 10. Language server

Алгоритмы и структуры данных 13. Глобальный минимальный разрез. Взвешенные потоки

ОКТЧ (основной поток) 14. Тест Миллера-Рабина

Алгоритмы и структуры данных 12. Алгоритм Диница

Многомерный анализ, интегралы и ряды 28. Ряды Тейлора элементарных функций

Функциональный анализ 11. Свойства компактных операторов

ОКТЧ (основной поток) 13. Тесты на простоту

Вычислительные методы алгебры 7. Тензорные разложения

Технологии программирования (продвинутый поток) 24. Gitlab CI. Runners. Pages

Сложность вычислений 12. Интерактивные доказательства

Вычислительные методы алгебры 8. Теорема Крускала

Вычислительные методы алгебры 6. Принцип максимального объёма. Крестовый метод

Вычислительные методы алгебры 9. Разложение Таккера. Тензорный поезд

Вычислительные методы алгебры 5. Идея регуляризации

Математическая логика и теория алгоритмов 13. m-сводимость

Презентации базовых кафедр 23. Прикладные исследования и технологии, ИИИ

ОКТЧ (продвинутый поток) 12. Тесты на простоту

ОКТЧ (продвинутый поток) 11. Характер Дирихле

ОКТЧ (продвинутый поток) 10. Критерий Вейля

Случайные процессы 12. Модель страхования Крамера-Лундберга

Технологии программирования (продвинутый поток) 23. Gitlab CI. Basic syntax

Сложность вычислений 11. Вероятносные классы

Многомерный анализ, интегралы и ряды 27. Дифференцирование и интегрирование степенных рядов

ТКиП (продвинутый поток) 12. Основная теорема теории Галуа. Конечные поля

Функциональный анализ 12. Преобразование Фурье в L₁(ℝ). Свёртка

Дискретные структуры 12. Единственность поля, линейно-алгебраический метод

Презентации базовых кафедр 19. Промышленная разработка интеллектуальных систем, Бюро 1440 & Yadro

ТКиП (продвинутый поток) 11. Расширения Галуа

Многомерный анализ, интегралы и ряды 26. Комплексные числа

Функциональный анализ 10. Компактный оператор

Алгебра и Геометрия 12. Сопряженный оператор. Теорема Фредгольма

Алгебра и Геометрия 11. Метод Грама-Шмидта. Объём

Алгоритмы и структуры данных (продвинутый поток) 11. Кратчайшие пути в графах. Продолжение FFT

Алгоритмы и структуры данных (продвинутый поток) 12. Деление длинных чисел и извлечение корня из них

Практикум Python 5. PyTorch. Оптимизация работы кода по памяти. Профилирование. Трейсы

Практикум Python 4. Оптимизация времени работы кода. Профилирование. Asyncio

Практикум Python 3. Typing & type hints

Практикум Python 2. Дескрипторы, Метаклассы

Практикум Python 1. Namespaces. Декораторы

Математическая логика и теория алгоритмов 12. Теорема Клини о неподвижной точке. Теорема о рекурсии

Дифференциальные уравнения 11. ПЗВИ с выпуклым Лагранжианом

Презентации базовых кафедр 18. Финансовые технологии, Т-Банк

Технологии программирования (продвинутый поток) 22. Nginx

Теория вероятностей 4. Расстояние по вариации

ОКТЧ (основной поток) 12. Основная теорема арифметики

Многомерный анализ, интегралы и ряды 25. Свойства равномерно сходящихся функциональных рядов

Технологии программирования (продвинутый поток) 21. Docker. Internals

Случайные процессы 11. Процесс Гальтона-Ватсона

Функциональный анализ 11. Элементы нелинейного анализа

Презентации базовых кафедр 17. Информационные технологии в авиации, S7 (магистратура)

Функциональный анализ 10. Теорема 12.5 (Гильберт-Шмидт)

Математическая логика и теория алгоритмов 14. Лямбда-исчисление

Сложность вычислений: дополнительные главы 6. Классы PZK, SZK и CZK

Сложность вычислений: дополнительные главы 10. Класс MIP. Теорема MIP = NEXP

Сложность вычислений: дополнительные главы 7. Вероятностно-проверяемые доказательства

Математическая логика и теория алгоритмов 11. Множества K_u, S_u. Главная УВФ

Сложность вычислений: дополнительные главы 8. Вероятностно-проверяемые доказательства. Продолжение

Сложность вычислений: дополнительные главы 9. Тест линейности

Алгоритмы и структуры данных 11. Потоки. Алгоритм Эдмондса-Карпа

Алгоритмы и структуры данных 10. Поиск максимального паросочетания в произвольном графе

Многомерный анализ, интегралы и ряды 24. Равномерно сходящиеся функциональные ряды

Дискретные структуры 11. Поля Галуа, характеристика поля, неприводимые многочлены

Технологии программирования (продвинутый поток) 20. Docker. Plugins

[Допсем] Матлог 4. Универсальные вычислимые функции

Технологии программирования(продвинутый поток) 19. Docker. Run configuration

Сложность вычислений 10. Схемная сложность

Вычислительные методы алгебры 4. Сингулярное разложение (продолжение). Метод наименьших квадратов

Вычислительные методы алгебры 3. Матричные нормы. Сингулярное разложение

Вычислительные методы алгебры 2. QR-алгоритм (продолжение). Быстрое преобразование Фурье

Функциональные языки программирования 11. Хаскель. Списки(продолжение), ввод и вывод

Многомерный анализ, интегралы и ряды 23. Функциональные последовательности и ряды

Многомерный анализ, интегралы и ряды 22. Перемножение и перестановки абсолютно сходящихся рядов

Введение в глубокое обучение 20. ASR, аугментации

Введение в глубокое обучение 19. Обработка сигналов, представления звука, ASR

Введение в глубокое обучение 18. PEFT методы

Введение в глубокое обучение 17. Transfer Learning, Transformers

Теория вероятностей 3. Закон больших чисел

ОКТЧ (основной поток) 11. Суммы Гаусса

Стохастический анализ 10. Стохастические дифференциальные уравнения. Формула Ито

ТКиП (продвинутый поток) 10. Расширения полей. Сепарабельные многочлены

Алгебра и Геометрия 10. Евклидово и эрмитово пространства

Функциональный анализ 9. Сопряжённый оператор

Функциональный анализ 8. Следствия Теоремы об отделимости

Теория колец и полей (основа) 8. Построения циркулем и линейкой

Презентации базовых кафедр 15. Блокчейн. Научный центр "Идея" (магистратура)

Презентации базовых кафедр 11. Научное программное обеспечение (ЦНП)

Математическая логика и теория алгоритмов 13. Теорема Геделя

Вычислительная линейная алгебра 18. Оператор проектирования. Жорданова форма

Вычислительная линейная алгебра 17. Методы нахождения QR-разложения

Сложность вычислений 9. Теорема NL=coNL

Дискретные структуры 10. Первообразные корни, теоремы о существовании

Дискретные структуры 9. Многочлены над полем, теорема Безу, алгоритм Евклида, примитивные элементы

Дискретные структуры 7. Кольца и поля вычетов, теорема Эйлера, МТФ и КТО

Дискретные структуры 8. Теорема Вильсона, свойства функции Эйлера, первообразные корни

Дискретные структуры 6. Функция обращения Мёбиуса, сравнения по модулю, функция Эйлера

Вычислительная линейная алгебра 16. Дискретное преобразование Фурье

Вычислительная линейная алгебра 15. QR-разложение. Разложение Холецкого

Математическая логика и теория алгоритмов 10. Теорема о графике. Полуразрешимость. УВФ и Т-предикаты

Дискретный анализ (продвинутый поток) 9. Сбалансированные покраски

ОКТЧ (продвинутый поток) 9. Теорема Берджесса

ОКТЧ (продвинутый поток) 8. Распределение квадровычетов

Функциональные языки программирования 9. Хаскель. Классы

Функциональные языки программирования 10. Хаскель. Бесконечные типы

ТКиП (продвинутый поток) 9. Алгебраическое замыкание поля

Гомотопическая топология 7. Накрытия

Дифференциальные уравнения 9. Обобщения ПЗВИ

Теория вероятностей 2. Распределения. Математическое ожидание

Алгоритмы и структуры данных (продвинутый поток) 10. Dynamic connectivity problem offline. FFT

Многомерный анализ, интегралы и ряды 20. Числовые ряды

ОКТЧ (основной поток) 10. Равномерно распределенные последовательности

Стохастический анализ 9. Стохастический интеграл Ито

Математическая логика и теория алгоритмов 12. Формальная арифметика

Случайные процессы 9. Марковские процессы

Технологии программирования (продвинутый поток) 18. Docker. Essentials

[Допсем] Матлог 3. Вычислимость

Дискретный анализ (продвинутый поток) 8. Двудольные гиперграфы, величина m(n)

Дискретный анализ (продвинутый поток) 7. Завершение VC-размерности, СОП на решетках

Многомерный анализ, интегралы и ряды 19. Сходимость знакопеременных несобственных интегралов

Теория вероятностей 1. Основы дискретной теории вероятности

Алгоритмы и структуры данных (продвинутый поток) 9. Рюкзак (продолжение). СНМ и остовные деревья

Теория колец и полей (основа) 7. Алгебраически замкнутые поля

Презентации базовых кафедр 10. Кафедра корпоративных информационных систем (1С, онлайн)

Многомерный анализ, интегралы и ряды 18. Основные свойства несобственного интеграла

Вычислительная линейная алгебра 13. Спектральная задача. Теория возмущений

Вычислительная линейная алгебра 14. Устойчивость спектра. Численные алгоритмы