V
主页
【逻辑关系】【OPLSS】Logical Relations by Amal Ahmed
发布人
https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html Given by Amal Ahmed at OPLSS2015.
打开封面
下载高清视频
观看高清视频
视频下载器
【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
【范畴论基础】【OPLSS】Category Theory Foundations by Steve Awodey
【局域化简介】【IHES】Introduction to localization by Francesco BENINI
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
【密码学中的数学】【IAS】Mathematics in Cryptography by Toni Bluher
【群的上同调】【p-adic】Group cohomology by p-adic
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
【粒子物理中的统计方法】【GGI】Statistical Methods for Particle Physics by Glen Cowan
【复分析】【ICTP】Complex Analysis by Fabio Vlacci
【导出范畴的稳定性条件与几何应用】【ICTP】Stability con. on derived categories and app. by A. Bay
【全纯动力系统简介】【ICTP】Introduction to holomorphic dynamics by R. Dujardin
【混沌,分形与动力系统】【Vermont】Chaos, Fractals, & Dynamical Systems by Chris Danforth
【导出范畴与模空间】【ICTP】Derived categories and moduli spaces by A. Kuznetzov
《办事的艺术》如何求人办事,你一定要了解的社会常识
【随机偏微分方程】【SPBU】Stochastic Partial Differential Equations by Martin Hairer
【代数拓扑[中文]】【NTU】Algebraic Topology by Chen-Yu Chi [齐震宇]
【黎曼曲面】【MSRI】Riemann Surfaces by Jacob Bernstein
【拓扑与几何(初步)】【AIMS】Topology & Geometry by Tadashi Tokieda
【代数几何初步】【IIT Madras】Basic Algebraic Geometry by T.E. Venkata Balaji
【黎曼曲面/Riemann surfaces】【IPhT】Riemann Surfaces for Physicists by Bertrand Eynard
【李群概览】【IMSc】Short course on Lie Groups by M.S. Raghunathan
【微分方程与动力系统】【ICTP】DE and Dynamical Systems by Stefano Luzzatto
【动力系统选讲】【IMPA】Topics in dynamical system by Marcelo Viana
【p进群的表示】【IAS】Representations of p-adic groups by Jessica Fintzen
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
【高阶Teichmuller理论简介】【ICTP】Higher Teichmuller Theory by D. Canary
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【伪有限群】【HIM】Pseudofinite groups by Dugald Macpherson
【群中的增长与其应用】【IHES】Growth in groups and applications by Harald Helfgott
【Witt vector】【p-adic】Witt vector by p-adic
【Artin L-series】【IMSc】 Lectures "Artin L-series" by Ram Murty
【抽象代数】【ICTP】Abstract Algebra by Lothar Gottsche
【马尔可夫开放量子系统】【IPhT】Markovian Open Quantum Systems by Bauer Michel
【伪随机性:基础技术】【Simons】Fundamental Techniques in Pseudorandomness by Luca Trevisan
【量子计算】【Caltech】Quantum Computation by John Preskill
大型纪录片《炸裂的关系》持续为您播出