Лекция 8 | Вероятностно проверяемые доказательства | Дмитрий Ицыксон | Лекториум

Лекция 8 | Курс: Вероятностно проверяемые доказательства | Лектор: Дмитрий Ицыксон | Организаторы: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14116 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Видео Лекция 8 | Вероятностно проверяемые доказательства | Дмитрий Ицыксон | Лекториум автора Профессиональное Программирование