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

Ссылка на плейлист

https://rutube.ru/plst/1773109/

13

31.10.2026

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

Лектор — Иван Смирнов Страница курса — https://mccme.ru/ru/nmu/courses-of-nmu/osen-20262027/nmu_autumn2026_formal_verification Плейлист на YouTube — https://www.youtube.com/playlist?list=PLV23vJ7AKsL4 Плейлист на RuTube — https://rutube.ru/plst/1773109 Канал НМУ на RuTube — https://rutube.ru/channel/42881756

13 видео