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

Теория вероятностей 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. Устойчивость спектра. Численные алгоритмы

Функциональный анализ 9. Компактные операторы (продолжение)

Вычислительная линейная алгебра 12. LU-разложение продолжение. Теорема Гершгорина

Вычислительная линейная алгебра 11. Линейные системы. LU-разложение

Алгоритмы и структуры данных 9. Паросочетания

Алгоритмы и структуры данных 8. Алгоритм Флойда. Алгоритмы построения MST

Введение в глубокое обучение 16. Bert, GPT, seq2seq

Введение в глубокое обучение 15. Трансформеры: теория

Математическая логика и теория алгоритмов 9. Вычислимые функции. Разрешимые и перечислимые множества

Программирование на языке C++ (основной поток) 9. Move semantic

Программирование на языке C++ (основной поток) 8. Allocator, Allocator traits, выравнивания

Программирование на языке C++ (основной поток) 7. Unordered map

Программирование на языке C++ (основной поток) 6. Map

Программирование на языке C++ (основной поток) 5. Deque, Iterator, List

Программирование на языке C++ (основной поток) 4. Vector bool, Bitset, Deque

Программирование на языке C++ (основной поток) 2. Exception - продолжение

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

Математическая логика и теория алгоритмов 11. Арифметическая иерархия

Математическая логика и теория алгоритмов 10. Главные универсальные вычислимые функции

Введение в глубокое обучение 13. Рекуррентные сети: теория

Введение в глубокое обучение 14. Рекуррентные сети: практика

Функциональные языки программирования 6. Типы

Языки программирования и теория компиляции 9. Анализ потока данных

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

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

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

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

Дифференциальные уравнения 8. История и приложения дифференциальных уравнений

Случайные процессы 8. Марковский момент. Задача о разорении

ОКТЧ (основной поток) 9. Геометрия чисел. Теорема Минковского-Главки

Алгоритмы и структуры данных 7. Алгоритм А*. Алгоритм Форда-Беллмана

Алгебра и Геометрия 9. Метод Якоби. Критерий Сильвестра. Эрмитова полуторалинейная форма

Алгебра и Геометрия 8. Теорема Лагранжа. Закон инерции

Функциональный анализ 8. Самосопряженный оператор (продолжение). Компактные операторы

Языки программирования и теория компиляции 8. Построение SSA формы

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

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

Презентации базовых кафедр 8. Кафедра дискретной математики ФПМИ

Теория колец и полей (основа) 6. Расширение полей

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

Функциональный анализ 6. Доказательство теоремы 9.1 (о спектре и спектральном радиусе)

Теория колец и полей (основа) 5. Факториальность кольца многочленов

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

Языки программирования и теория компиляции 7. Трансляция в IR

Функциональный анализ 5. Доказательство теоремы 8.4 (Банах). Спектр. Резольвента

Программирование на языке C++ (основной поток) 3. Noexcept, exception-safety, vector

Программирование на языке C++ (основной поток) 1. Exception

ТКиП (продвинутый поток) 7. Тензорное произведение

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

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

Дифференциальные уравнения 7. Простейшая задача вариационного исчисления

Стохастический анализ 8. Метод Маллявэна

Стохастический анализ 7. Пространство Камерона-Мартина

Сложность вычислений 8. Классы L и NL

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

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

Случайные процессы 7. Фильтрации. Мартингалы

Стохастический анализ 5. Соболевские нормы

Введение в глубокое обучение 11. Эмбеддинги слов, дистрибутивная гипотеза, word2vec

Введение в глубокое обучение 12. Работа с эмбеддингами

Многомерный анализ, интегралы и ряды 16. Допфакты об интегрируемости. Неопределенный интеграл

Теория Вероятностей 7. Непрерывные случайные величины. Случайный вектор.

Математическая логика и теория алгоритмов 8. Мощности бесконечных множеств

Гомотопическая топология 6. Накрытия. Поднятие путей

ОКТЧ (основной поток) 8. Геометрия чисел. Решётки

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

Теория Вероятностей 6. Дискретные случайные величины.

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

Теория Вероятностей 5. Случайная величина. Критерий функциональной зависимости случайных величин.

Теория Вероятностей 4. Закон "0-1" Колмогорова. Лемма Бореля-Кантелли.

Теория Вероятностей 3. Независимая система событий. Квазиметрика. Свойства алгебр.

Многомерный анализ, интегралы и ряды 15. Следствия из критерия Лебега

Теория Вероятностей 2. Вероятностное пространство. Условная вероятность

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

Вычислительная линейная алгебра 9. Задача наилучшего приближения матриц

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

ТКиП (продвинутый поток) 6. Факториальность кольца многочленов. Начало тензорных произведений

Презентации базовых кафедр 7. Концептуальный анализ и проектирование (магистратура)

Теория колец и полей (основа) 5. Факториальность кольца многочленов

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

Технологии программирования (продвинутый поток) 12. Build systems. Cmake. Install

Вычислительная линейная алгебра 8. SVD разложение. Приближение матриц

Вычислительная линейная алгебра 7. Лемма Шура. Нормальные матрицы

Многомерный анализ, интегралы и ряды 14. Критерий Лебега

Математическая логика и теория алгоритмов 7. Теорема Цермело. Лемма Цорна

Презентации базовых кафедр 6. Математика искусственного интеллекта

Дифференциальные уравнения 6. Линейные однородные уравнения в частных производных

Сложность вычислений: дополнительные главы 3. Хеш-функции. Арифметизация

Дифференциальные уравнения 5. Первые интегралы

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

Сложность вычислений: дополнительные главы 4. Доказательство IP=PSPACE

Алгебра и Геометрия 7. Расширение полей. Билинейные и квадратичные формы

Сложность вычислений 7. Пространственная сложность

Алгоритмы и структуры данных (продвинутый поток) 7. НВП, НОП

ОКТЧ (основной поток) 7. Иррациональность и трансцендентность числа е

Многомерный анализ, интегралы и ряды 13. Определенный интеграл Римана

Многомерный анализ, интегралы и ряды 11. Квадратичные формы. Экстремумы

Многомерный анализ, интегралы и ряды 10. Гладкие многообразия

Введение в глубокое обучение 9. Задачи компьютерного зрения: детекция, сегментация

Введение в глубокое обучение 10. Практика решения задач компьютерного зрения

Сложность вычислений 6. Полнота в PH и Альтернирующие Машины Тьюринга

Случайные процессы 6. Условное среднее

Многомерный анализ, интегралы и ряды 9. Теорема о неявном отображении. Простые гладкие многообразия

Гомотопическая топология 5. Фундаментальная группа

Гомотопическая топология 4. HEP. Теорема о клеточной аппроксимации

Математическая логика и теория алгоритмов 9. m-сводимость. Главная универсальная вычислимая функция

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

Математическая логика и теория алгоритмов 8. Вычислимая функция. Разрешимые и перечислимые множества

ОКТЧ (допсемы) 2. Матрицы Адамара

ОКТЧ (допсемы) 1. Кольцо вычетов по модулю. Лемма Гензеля

Алгоритмы и структуры данных 6. Поиск кратчайшего пути. BFS. Алгоритм Дейкстры

Стохастический анализ 4. Разложение хаоса. Полугруппа Орнштейна-Уленбека

Теория колец и полей (основа) 4. Факторизация и гомоморфизм колец

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

Стохастический анализ 2. Пространство Камерона-Мартина. Измеримые линейные функции.

Стохастический анализ 1. Гауссовские меры

Функциональный анализ 6. Слабая секвенциальная компактность

Презентации базовых кафедр 5. Математический институт имени В. А. Стеклова РАН

Функциональный анализ 5. Рефлексивность и сепарабельность

Технологии программирования (продвинутый поток) 11. Build systems. Cmake. Basics

Технологии программирования (продвинутый поток) 10. Build systems. GNU Make

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

Языки программирования и теория компиляции 6. Трансляция в C++

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

Алгоритмы и структуры данных (продвинутый поток) 5. СНМ, Eval-link-update (ELU)

Дискретный анализ (продвинутый поток) 6. VC-размерность

ОКТЧ (основной поток) 6. Цепные дроби

Алгебра и Геометрия 6. Приложения ЖНФ. Линейные рекурренты

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

Презентации базовых кафедр 4. Кафедра концептуального анализа и проектирования

Алгебра и Геометрия 5. Существование и единственность ЖНФ

Математическая логика и теория алгоритмов 6. Порядок на ВУМ. Теорема о монотонности

Алгоритмы и структуры данных 5. 2SAT, Эйлеровость, DFS на неориентированном графе

Введение в глубокое обучение 8. Сверточные нейронные сети

Введение в глубокое обучение 7. Операция свёртки

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

ТКиП (продвинутый поток) 5. Модули над ОГИ. Локализации

Дифференциальные уравнения 4. Достаточные условия устойчивости. Теорема о выпрямлении траекторий

Машинное обучение 11. Бустинг, стэкинг. Catboost

Машинное обучение 14. Аномальные объекты

Машинное обучение 13. Частичное обучение. Кластеризация

Машинное обучение 15. Конструирование моделей. Практика ML

Машинное обучение 10. Ансамблевые методы.

Машинное обучение 12. Оценка плотности распределения

Машинное обучение 8. Методы отбора признаков, выбора модели.

Машинное обучение 9. Решающие деревья

Машинное обучение 7. Нелинейные модели. Вероятностные модели

Машинное обучение 6. Математические модели. Ridge regression

Машинное обучение 5. Классификация. SVM, RVM

Машинное обучение 4. Knn и окно Парзена. Отбор эталоном. Задача регрессии

Машинное обучение 2. Стохастика. Линейная классификация

Машинное обучение 3. Линейные модели. BackPropagation. ReLU, BatchNorm

Машинное обучение 1. Вводная лекция

Презентации базовых кафедр 3. ИСП РАН

Презентации базовых кафедр 2. ИППИ РАН

Функциональные языки программирования 5. Списки, бесконечные последовательности, типы

Дискретные структуры 5. Паросочетания, теорема Холла, функция Мёбиуса

Технологии программирования (продвинутый поток) 9. Build systems. Compilation

Технологии программирования (продвинутый поток) 8. Terminal. Core utils 2

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

ОКТЧ (основной поток) 5. Первообразные корни

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

Математическая логика и теория алгоритмов 5. Свойства ВУМ. Начальный отрезок

Дискретные структуры 4. Теоремы Мирского и Дилуорса

Языки программирования и теория компиляции 5. Типизация. IR

Языки программирования и теория компиляции 5. Таблицы символов и типов

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

Дискретный анализ (продвинутый поток) 3. Продолжение теории Рамсея

Дискретный анализ (продвинутый поток) 2. Локальная лемма Ловаса

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

Функциональный анализ 4. Обратный оператор (продолжение). Сопряжённый оператор

Функциональный анализ 3. Слабая сходимость. Обратный оператор

Введение в глубокое обучение 5. PyTorch

Введение в глубокое обучение 6. Цикл обучения в PyTorch

Математическая логика и теория алгоритмов 7. Приложения леммы Цорна, теория вычислимости

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

Математическая логика и теория алгоритмов 6. Теорема Цермело, лемма Цорна

Алгоритмы и структуры данных 4. Графы, алгоритм DFS, компоненты сильной связности

Функциональный анализ 4. Метризуемость. Теорема Банаха-Алаоглу

Теория колец и полей (основа) 3. Идеалы. Кольца главных идеалов

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

Технологии программирования (продвинутый поток) 7. Terminal. Core utils

Сложность вычислений 4. NP-полные задачи: продолжение

Языки программирования и теориия компиляции 4. Семантический анализ

Математическая логика и теория алгоритмов 4. Вполне упорядоченные множества

Многомерный анализ, интегралы и ряды 8. Диффеоморфизм. Неравенство Лагранжа

Дискретные структуры 3. ЧУМы и ЛУМы, цепи, антицепи, диаграмма Хассе

Дифференциальные уравнения 3. Теоремы Ляпунова об устойчивости

Алгебра и Геометрия 4. Жорданова нормальная форма

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

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

Алгоритмы и структуры данных (продвинутый поток) 4. Вершинная двусвязность, КСС

Многомерный анализ, интегралы и ряды 7. Теорема об открытом отображении

Функциональный анализ 3. Метризуемость слабой топологии

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

Введение в глубокое обучение 3. Оптимизаторы

Введение в глубокое обучение 4. Автоматическое дифференцирование

ТКиП (продвинутый поток) 2. Идеалы, модули

Языки программирования и теориия компиляции 3. Дебаты

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

Алгоритмы и структуры данных 2. Матрицы в динамическом программировании

Алгоритмы и структуры данных 1. Динамическое программирование

Математическая логика и теория алгоритмов 5. Операции с ординалами. Теорема Цермело

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

Функциональный анализ 1. Слабая топология

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

Презентации базовых кафедр 1. ФИЦ ИУ РАН

Сложность вычислений 3. NP-полные задачи

Вычислительная математика 6. Линейная регрессия, метод наименьших квадратов, предобуславливание

Вычислительная математика 5. СНАУ, разностные отображения, бифуркации

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

Технологии программирования (продвинутый поток) 4. Git. Internal structure

Вычислительная линейная алгебра 4. Линейный оператор. Характеристический многочлен

Функциональные языки программирования 3. Программирование базовых функций

Функциональные языки программирования 2. β-редукция, η-редукция

Дискретные структуры 2. Линейные рекурренты, производящие функции, числа Каталана

Дискретные структуры 1. Формальные степенные ряды, композиция

Многомерный анализ, интегралы и ряды 6. Линейные операторы. Формула Тейлора

Многомерный анализ, интегралы и ряды 5. Частные производные высших порядков. Линейные операторы

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

Вычислительная линейная алгебра 3. Низкоранговые матрицы. Векторные и матричные нормы

[Семинар] Языки программирования и теория компиляции 2. Парсинг. Рекурсивный спуск

Дифференциальные уравнения 2. Устойчивость по Ляпунову

Языки программирования и теория компиляции 3. Восходящие парсеры

Языки программирования и теория компиляции 2. Нисходящие парсеры

ОКТЧ (основной поток) 3. Применение матриц Адамара

Алгебра и Геометрия 3. Общая теория линейных операторов. Теорема Гамильтона-Кэли

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

Теория колец и полей (основа) 2. Евклидовы и факториальные кольца

Вычислительная линейная алгебра 2. Блочное умножение. Ранг матрицы

Математическая логика и теория алгоритмов 3. Конечные и бесконечные множества. Фундированность

Вычислительная линейная алгебра 1. Арифметическое пространство. Умножение матриц

Сложность вычислений: дополнительные главы 2. Игры Артура-Мерлина. Теорема Голдвассер-Сипсера

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

Случайные процессы 2. Распределение случайных процессов

Введение в глубокое обучение 2. Инициализация и регуляризация нейросетей

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

Сложность вычислений 2. Классы P и NP

Функциональный анализ 2. Векторная топология

Математическая логика и теория алгоритмов 4. Ординалы

Математическая логика и теория алгоритмов 3. Теорема о сравнимости. Теорема о трансфинитной рекурсии

Математическая логика и теория алгоритмов 2. Начальные отрезки. Предельные элементы

Математическая логика и теория алгоритмов 1. Фундированность

[Саминар] Языки программирования и теория компиляции 1. Введение. Сканер

Алгебра и Геометрия 2. Собственные значения. Характеристический многочлен

ОКТЧ (продвинутый поток) 2. Матрицы Адамара

Технологии программирования (продвинутый поток) 3. Git. Beyond git

ОКТЧ (основной поток) 2. Матрицы Адамара

Математическая логика и теория алгоритмов 2. Рекурсия. Принцип включений - исключений.

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

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

Технологии программирования (продвинутый поток) 2. Git. Essential commands

Случайные процессы 1. Вводные понятия, теоремы Колмогорова

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

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

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

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

Вычислительные методы алгебры 1. Матричные разложения, QR-алгоритм

Языки программирования и теория компиляции 1. Введение. Сканер

Многомерный анализ, интегралы и ряды 1. Топологическая и линейная связность

Теория колец и полей (основа) 1. Факториальные кольца. ОТА

Сложность вычислений 1. Вводная лекция

Функциональные языки программирования 1. Введение в лямбда-исчисление

Математическая логика и теория алгоритмов 1. Принцип математической индукции. Принцип Дирихле

Дифференциальные уравнения 1. Положения равновесия однородных систем на плоскости

Алгебра и Геометрия 1. Корни многочлена. Кратность корня. Инвариантные подпространства

Алгоритмы и структуры данных (продвинутый поток) 1. Волновой алгоритм, BFS, Дейкстра

Коммутативная алгебра 11. Дискретно нормированнные кольца (DVR)

Коммутативная алгебра 10. Ассоциированность, разложение

Коммутативная алгебра 9. Теорема Гильберта о нулях

Коммутативная алгебра 8. Строение модулей