Giovanni Sambin: Pointfree topology is real and pointwise is ideal
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Both competing visions of mathematics ...
Hausdorff Center for Mathematics
LiveLecture6 090913
Isabel K. Darcy
А.И. Бондал. Гомологическая алгебра и алгебраическая геометрия
XVIII Летняя школа «Современная математика» им. В.Арнольда, 2018, Дубна https://www.mccme.ru/dubna/2018/ Другие лекции летней школы ...
Math-Net.Ru
Шабат Г.Б. Верификация длинных доказательств: мечты, планы и реальность (В. Воеводский) 15.04.2020
Речь в основном пойдет о незавершенном проекте Владимира Воеводского (предварительный итог которого подведен в коллективной монографии [1]), ...
Кафедра матем. логики
Лекция 2 | Группы и теория гомотопий | Роман Михайлов | Лекториум
Лекция 2 | Курс: Группы и теория гомотопий | Лектор: Роман Михайлов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это ...
Лекториум
Лекция 1 | Математический анализ | Юрий Белов | Лекториум
Лекция 1 | Курс: Математический анализ | Лектор: Юрий Белов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео ...
Лекториум
Алексей Воронец - Categorized It. Кратко о теории категорий и функциональном программировании
Что такое теория категорий? Теория категорий — это очень сложно? Почему это может быть интересно? Как это связано с функциональным ...
JUG.SEV
Дополнительные главы и приложения топологии, лекция 3, А.А.Айзенберг
Видеозаписи Независимого Московского Университета
Topology 2.1: Homotopy
In this video we explore Homotopy, hope you like the video.
Gregorious Maths
Лекция 1 | Связь между плоской и гиперболической перечислительной геометрией | Антон Зорич
Лекция 1. Связь между плоской и гиперболической перечислительной геометрией | Автор: Антон Зорич | Курс: Зимняя научная школа «Анализ, ...
Лекториум
Fibration
The mathematician Heinz Hopf describes his "fibration". Using complex numbers he builds beautiful arrangements of circles in space.
Julio de la Yncera
Лекция 2 | Функториальная теория гомотопий | Jie Wu | Лекториум
Лекция 2 | Курс: Функториальная теория гомотопий | Лектор: Jie Wu | Организатор: Математичеcкая лаборатория имени П.Л.Чебышева Смотрите это ...
Лекториум
Семинар по HoTT. Базовые понятия
Семинар по гомотопической теории типов. Функции, пути, транспорт, эквивалентности и унивалентность.
HoTT-Lectures
Vladimir Abramovich Rokhlin and algebraic topology | Victor Buchstaber | Лекториум
Vladimir Abramovich Rokhlin and algebraic topology | Автор: Victor Buchstaber | Курс: Topology, Geometry, and Dynamics: Rokhlin – 100 | Организаторы: ...
Лекториум
Лекция 24 | Геометрия и топология | Сергей Пилюгин | Лекториум
Лекция 24 | Курс: Геометрия и топология | Лектор: Сергей Пилюгин | Организатор: Математическая лаборатория имени П.Л. Чебышева СПбГУ ...
Лекториум
Понятие "топос"
Мельниченко Р.Г, Юридическая риторика: электронный учебник http://textbook.melnichenko.net/oratory.html Фрагмент лекции «Топос или как найти с ...
Роман Мельниченко
Тимашев Д. А. - Алгебра. Часть 2. Семинары - Теория групп
0:00:19 1. Группа (понятие) 0:15:26 2. Сравнение мультипликативной и аддиктивной терминологии 0:21:09 3. Примеры групп 0:54:45 4. Изоморфизм ...
teach-in
Taras panov (Moscow State University) / Moment-angle manifolds in toric topology 4
KAIST Toric Topology Workshop 2010 2010-02-24.
Mathnet Korea
HoTT 1: Типизированное лямбда исчисление
Первая лекция по гомотопической теории типов, в которой мы на примере простой версии теории типов познакомимся с основными ее элементами.
HoTT-Lectures
Oriented equivariant cohomology, formal group laws and generalized Schubert calculus
2014 KAIST Math. Colloquium Oriented equivariant cohomology, formal group laws and generalized Schubert calculus Kirill Zainoulline(Univ. of Ottawa) ...
Mathnet Korea
Фрагмент лекции Романа Михайлова. Ниндзя
Ivan Novitskii
Лекция 4 | Рассказы о теории чисел | Александр Смирнов | СПбГУ | Лекториум
Лекция 4 | Курс: Рассказы о теории чисел, алгебраической геометрии и гомотопической топологии | Лектор: Александр Смирнов | Организатор: ...
Лекториум
Лекция 35 | Геометрия и топология | Сергей Иванов | Лекториум
Лекция 35 | Курс: Геометрия и топология | Лектор: Сергей Иванов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это ...
Лекториум
Богачев В. И. Функциональный анализ, лекция 2 (14 сентября 2016)
Прочитано на факультете математики НИУ ВШЭ, ул. Усачёва, 6, в аудитории 108. В лекции разобраны основные свойства евклидовых пространств и ...
Степан Нестеров
проф. Рабинович В.С. Выступление на математической конференции. ЮФУ. 2-6 июля 2013 г.
Лекция профессора Рабиновича Владимира Самуиловича -- «Жизнь и научная деятельность профессора Игоря Борисовича Симоненко».
Лаборатория мультимедиа ЮГИНФО ЮФУ
Александр Бейлинсон, "p-адическая теория Ходжа", Лекция 1, часть 1/ 2
25.07.2014, Ярославль. Описание курса: http://bogomolov-lab.ru/SHKOLA2014/talks/beilinson.html.
Maxim Leyenson
Лекция 9 | Рассказы о теории чисел | Александр Смирнов | СПбГУ | Лекториум
Лекция 9 | Курс: Рассказы о теории чисел, алгебраической геометрии и гомотопической топологии | Лектор: Александр Смирнов | Организатор: ...
Лекториум
Лекция 1 | Группы Шевалле над кольцами | Алексей Степанов | Лекториум
Лекция 1 | Курс: Группы Шевалле над кольцами | Лектор: Алексей Степанов | Организатор: Математическая лаборатория имени П.Л.Чебышева ...
Лекториум
Как стать топовым программистом
Tonpa Namdak
SS 36 - Construction of Grothendieck spectral sequence (part 1)
Clover May
Caustics (maths, rus) 01 Arnold V I
Arnold V I. Astroidal geometry and topology.
stav03
Иванов А. О. - Дифференциальная геометрия и тензорный анализ - Основная теорема алгебры
00:00:10 1. Степень отображения 00:02:05 2. Теорема (Степень отображения не зависит от выбора регулярных значений и не меняется от гомотопии) ...
teach-in
Специальная теория относительности | двойственное пространство, смысл верхних и нижних индексов.
Специальная теория относительности | двойственное пространство, смысл верхних и нижних индексов. Уважаемые пользователи YouTube рад ...
Павел Шестопалов
Лекция 7 (Гомологическая алгебра, Л.Е. Посицельский)
20.03.13 Еще немного про проективные и инъективные объекты в категории модулей над коммутативным кольцом. Конструкция производного ...
Dmitry Pirozhkov
Лекция 5 | Рассказы о теории чисел | Александр Смирнов | СПбГУ | Лекториум
Лекция 5 | Курс: Рассказы о теории чисел, алгебраической геометрии и гомотопической топологии | Лектор: Александр Смирнов | Организатор: ...
Лекториум
Категорная вероятность. Воеводский В.А.
My university
Лекция 9 | Группы и теория гомотопий | Роман Михайлов | Лекториум
Лекция 9 | Курс: Группы и теория гомотопий | Лектор: Роман Михайлов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это ...
Лекториум
Лекция 2 | Рассказы о теории чисел | Александр Смирнов | СПбГУ | Лекториум
Лекция 2 | Курс: Рассказы о теории чисел, алгебраической геометрии и гомотопической топологии | Лектор: Александр Смирнов | Организатор: ...
Лекториум
Лекция 4 | Группы и теория гомотопий | Роман Михайлов | Лекториум
Лекция 4 | Курс: Группы и теория гомотопий | Лектор: Роман Михайлов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это ...
Лекториум
Семинар по HoTT. Введение
Семинар по гомотопической теории типов. Вводная лекция.
HoTT-Lectures
Topology-2, lecture 6, A.B.Sossinsky
Видеозаписи Независимого Московского Университета
Taras panov (Moscow State University) /Moment-angle manifolds in toric topology 3
KAIST Toric Topology Workshop 2010 2010-02-24.
Mathnet Korea