V
主页
【同伦类型论/HoTT】【CMU】Homotopy Type Theory by Robert Harper
发布人
https://www.youtube.com/playlist?list=PLo61mJSqK5cXHsnYUAXNea31BCj1u-zln CMU: 2013 Fall: 15-819, given by Robert Harper at CMU. A useful link: http://www.cs.cmu.edu/~rwh/courses/hott/
打开封面
下载高清视频
观看高清视频
视频下载器
Motivic Homotopy Theory
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
CMU 15-445 数据库系统导论 第9节课 索引并发控制
【随机矩阵:理论与实践】【ICTP】Random Matrices: Theory and Practice by Pierpaolo Vivo
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
【同伦范畴简介】【CIMAT】An introduction to homotopical categories by Julie Bergner
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
【遍历理论】【ICTP】Ergodic Theory by Stefano Luzzatto
【从现代分析到数论】【SPBU】Travel on modern analysis and number theory by Harald Helfgott
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
【李群李代数,表示论与对称空间】【IMPA】Lie Groups, Representation Theory and Symmetric Spaces
【极值与概率组合】【IMPA】Extremal and Probabilistic Combinatorics by Robert Morris
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
【量子场论/QFT】【Hannover】Quantum field theory by Tobias Osborne
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【概率数论】【IMSc】Probabilistic Number Theory by Jean-Marc Deshouillers
【弦论与全息对偶】【MIT】String Theory and Holographic Duality by Hong Liu
名校排名下降是学校不好吗?以CMU为例,揭秘排名"跳水"的底层逻辑
【拓扑斯/topos】【IHES】A Crash Course in Topos Theory: The Big Picture by André JOYAL
【量子力学与谱理论】【FAU】Lectures on Quantum Theory by Fredric Schuller
【局部类域论】【IMSc】Local Class Field Theory by Denis Benois
【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
【高阶Teichmuller理论简介】【ICTP】Higher Teichmuller Theory by D. Canary
【黑洞的数学理论】【IHES】On the Mathematical Theory of Black Holes by Sergiu Klainerman
【范畴论基础】【OPLSS】Category Theory Foundations by Steve Awodey
【李型群的表示】【HIM】Representation theory for groups of Lie type by Gerhard Hiss
【解析数论导引】【IMSc】Introduction to Analytic Number Theory by Ram Murty
【黎曼曲面】【MSRI】Riemann Surfaces by Jacob Bernstein
【几何不变理论与模空间】【CIMAT】Geometric Invariant Theory & Moduli by Radu Laza
美国【卡内基梅隆】大学学长分享真实就读体验|卷生卷死的计算机神校cmu优缺点有哪些?
【闭弦理论的几何】【IMSc】The Geometry of Closed String Theory by Roji Pius
【p-adic函数与p-adic表示】【KAIST】Lectures by Yi Ouyang [欧阳毅]
【拓扑与几何(初步)】【AIMS】Topology & Geometry by Tadashi Tokieda
【点集拓朴简介[中文]】【NTU】General Topology by Chen-Yu Chi [齐震宇]
【动力系统选讲】【IMPA】Topics in dynamical system by Marcelo Viana
【混沌,分形与动力系统】【Vermont】Chaos, Fractals, & Dynamical Systems by Chris Danforth