V
主页
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
发布人
https://youtu.be/vK2T3qkg3sY Programming Languages Background, given by Robert Harper and Dan Licata during OPLSS 2016. See more information here https://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php
打开封面
下载高清视频
观看高清视频
视频下载器
【同伦类型论/HoTT】【CMU】Homotopy Type Theory by Robert Harper
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
【p-adic函数与p-adic表示】【KAIST】Lectures by Yi Ouyang [欧阳毅]
【逻辑关系】【OPLSS】Logical Relations by Amal Ahmed
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
【Artin L-series】【IMSc】 Lectures "Artin L-series" by Ram Murty
【量子场论 I】【PI】QFT I by Dan Wohns, PSI 17/18
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]
【极值与概率组合】【IMPA】Extremal and Probabilistic Combinatorics by Robert Morris
【算术双曲3-流形,perfectoid空间与Galois表示】【IAS】Lectures by Peter Scholze
【布朗运动,演化几何与熵公式】【ICTP】Lectures by A. Thalmaier
劝退!普通人敢学黑客技术,骂醒一个算一个,这里面的水可深了。黑客都不愿说的秘密(网络安全/信息安全)
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
【局部对称空间与Galois表示】【Harvard/ICTS】Lectures by Peter Scholze
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
【拓扑与几何(初步)】【AIMS】Topology & Geometry by Tadashi Tokieda
【密码学中的数学】【IAS】Mathematics in Cryptography by Toni Bluher
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
【人造语言】我造了一种只有11个字母的语言——Tylymαu
【量子场论/QFT】【Hannover】Quantum field theory by Tobias Osborne
【局域化简介】【IHES】Introduction to localization by Francesco BENINI
【群的上同调】【p-adic】Group cohomology by p-adic
【全纯动力系统简介】【ICTP】Introduction to holomorphic dynamics by R. Dujardin
【微分方程与动力系统】【ICTP】DE and Dynamical Systems by Stefano Luzzatto
学语言彻底改变了我的人生
梆梆专场《隔靴搔痒》—进来感受林业大学但日语系闹的那些语言笑话
【实分析】【ICTP】Real Analysis by Eva Sincich
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【随机偏微分方程】【SPBU】Stochastic Partial Differential Equations by Martin Hairer
【代数几何】【ICTP】Algebraic Geometry by Lothar Gottsche
【复双曲几何】【ICTP】Complex hyperbolic geometry by J. Parker
从入行到失业,寒冬到风口,历史总是惊人相似,2024年程序员如何避免陷入沼泽!(马士兵)
【代数几何初步】【IIT Madras】Basic Algebraic Geometry by T.E. Venkata Balaji
【从现代分析到数论】【SPBU】Travel on modern analysis and number theory by Harald Helfgott
【李超代数的表示】【SNS】Representations of Lie superalgebras by Vera Serganova
【动力系统选讲】【IMPA】Topics in dynamical system by Marcelo Viana
【微分几何】【UNSW】Differential Geometry by NJ Wildberger
【语言学】“王冕死了父亲”是怎么回事?
【超对称】【ICTP】Introduction to Supersymmetry by M. Bertolini