Sergei Pozdniakov, Elena Tolkacheva | The interaction of algorithms and proofs

141
Опубликовано 15 октября 2020, 12:14
October 14, 2020 | Sergei Pozdniakov, Elena Tolkacheva | The interaction of algorithms and proofs in the discrete mathematics course for future engineers | 12-15 октября 2020 Трансляция ПОМИ РАН

Смотрите это видео на Лекториуме: lektorium.tv/node/38707

Смотрите другие лекции курса «Polynomial Computer Algebra'2020»: lektorium.tv/node/38679

Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское