Скачать
Homotopy Type Theory Discussed - Computerphile
Автор: Computerphile
Загружено: 2017-10-13
Просмотров: 71751
Описание:
Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.
Main Vladimir Voevodsky Video: • Homotopy Type Theory: Vladimir Voevodsky ...
/ computerphile
/ computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Как сжимаются изображения? [46 МБ ↘↘ 4,07 МБ] JPEG в деталях](https://image.4k-video.ru/id-video/Kv1Hiv3ox8I)
![Мозаика Пенроуза, бесконечная и неповторимая [Veritasium]](https://image.4k-video.ru/id-video/gqlnXRxV32o)
![Самый важный алгоритм в истории [Veritasium]](https://image.4k-video.ru/id-video/eQlSvfUuQNs)
