Формальная верификация в математике. Лекция 2, И.Н.Смирнов

713 просмотров · Трансляция закончилась 1 день назад

Видеозаписи Независимого Московского Университета

15,8 тыс. подписчиков

713 просмотров · Трансляция закончилась 1 день назад

28.09.26 Лектор — Иван Николаевич Смирнов Страница курса — https://mccme.ru/ru/nmu/courses-of-nm... Плейлист на YouTube — • Формальная верификация в математике, И.Н. ... Плейлист на RuTube — https://rutube.ru/plst/1773109 Канал НМУ на RuTube — https://rutube.ru/channel/42881756