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

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

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

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

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

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