V
主页
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
发布人
https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html Given by Adam Chlipala at OPLSS2015.
打开封面
下载高清视频
观看高清视频
视频下载器
【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
【逻辑关系】【OPLSS】Logical Relations by Amal Ahmed
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]
【范畴论基础】【OPLSS】Category Theory Foundations by Steve Awodey
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
【构造代数】【HIM】Constructive Algebra by Thierry Coquand
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
【导出范畴与模空间】【ICTP】Derived categories and moduli spaces by A. Kuznetzov
【理论物理的几何剖析】【FAU】Geometric Anatomy of Theoretical Physics by Fredric Schuller
【Representation of acyclic quivers】【ICTS】by Laurent Demonet
【代数拓扑[中文]】【NTU】Algebraic Topology by Chen-Yu Chi [齐震宇]
【局域化简介】【IHES】Introduction to localization by Francesco BENINI
【李群李代数,表示论与对称空间】【IMPA】Lie Groups, Representation Theory and Symmetric Spaces
【遍历理论】【ICTP】Ergodic Theory by Stefano Luzzatto
【辛几何与经典力学】【Hannover】Symplectic geometry and classical mechanics
【同伦范畴简介】【CIMAT】An introduction to homotopical categories by Julie Bergner
【密码学中的数学】【IAS】Mathematics in Cryptography by Toni Bluher
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【全纯动力系统简介】【ICTP】Introduction to holomorphic dynamics by R. Dujardin
【自守形式与朗兰兹纲领】【MSRI】Automorphic Forms and the Langlands Program by Kevin Buzzard
【粒子物理中的统计方法】【GGI】Statistical Methods for Particle Physics by Glen Cowan
【复双曲几何】【ICTP】Complex hyperbolic geometry by J. Parker
【随机偏微分方程】【SPBU】Stochastic Partial Differential Equations by Martin Hairer
【Artin L-series】【IMSc】 Lectures "Artin L-series" by Ram Murty
【p-可除群】【p-adic】p-divisible group by p-adic
【微分方程与动力系统】【ICTP】DE and Dynamical Systems by Stefano Luzzatto
【马尔可夫开放量子系统】【IPhT】Markovian Open Quantum Systems by Bauer Michel
【自避随机行走模型】【IHES】The Self-Avoiding Walk Model by Hugo Duminil-Copin
【Ricci曲率】【MSRI】Ricci Curvature by Aaron Naber
【范畴化】【QGM】Categorification by Volodymyr Mazorchuk
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
【物理学家的代数几何】【LMU】Algebraic Geometry for Physicists by Ugo Bruzzo
【代数几何初步】【IIT Madras】Basic Algebraic Geometry by T.E. Venkata Balaji
【点集拓朴简介[中文]】【NTU】General Topology by Chen-Yu Chi [齐震宇]
【代数几何/Algebraic Geometry】【Waterloo】Student Seminar of AG
【群的上同调】【p-adic】Group cohomology by p-adic
【实分析】【ICTP】Real Analysis by Eva Sincich