Видео ютуба по тегу Math-Net.ru

А.А. Зализняк. О берестяных грамотах из раскопок сезона 2017 года.

Обзор на Math-Net.Ru: научный ресурс по математике

Лекция 2. С.Л. Кузнецов, Т.Г. Пшеницын. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота ...

А.Д. Изаак, О.Г. Мисюрина, Д.Е. Чебуков. Видеотека Math-Net.Ru: создание коллекции научных докладов

A.Nerode. The last 70 years of logic and its applications: A personal diary

Лекция 8. А.Е. Теретёнков. Вполне положительные отображения.

И.В. Белошапка. Искусственный интеллект для решения математических задач

Лекция 9. С.Л. Кузнецов, Т.Г. Пшеницын. Неразрешимость линейной логики

И.С. Алексеев. Косы: хитросплетение математики. Семинар 1

Н. Тупица "Методы решения задач, допускающих альтернированную минимизацию"

Лекция 1. С.Л. Кузнецов, Т.Г. Пшеницын. Решётки с делениями и субструктурные исчисления

Б.С. Кашин, И.В. Оселедец. Квантизация больших языковых моделей с переопределенным базисом

Семинар 15. Н. Савелко. Флопы

Лекция 5. Р.В. Шамин. Математика анализа данных

Лекция 7. Р.В. Шамин. Математика анализа данных

Лекция 12. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики

Лекция 3. Р.В. Шамин. Математика анализа данных

Лекция 9. Р.В. Шамин. Математика анализа данных