Sergei Pozdniakov, Elena Tolkacheva | The interaction of algorithms and proofs (Лекториум)

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

Подписывайтесь на канал: https://www.lektorium.tv/ZJA
Следите за новостями:
https://vk.com/openlektorium
https://www.facebook.com/openlektorium

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