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

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

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

16 тыс. подписчиков

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

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