V
主页
【线性逻辑】CMU 15-816 Linear Logic (Frank Pfenning)
发布人
https://www.cs.cmu.edu/~fp/courses/15816-s12/index.html 附 Pfenning 的《Basic Proof Theory》讲座(OPLSS 2015)
打开封面
下载高清视频
观看高清视频
视频下载器
【数理逻辑导论】滑铁卢大学 Logic and Computation (CS 245, Prof. Shai Ben-David)
英字【数理逻辑导论】加州伯克利 Mathematical Logic | MATH-125A (Antonio Montalban)
英字【高等线性代数】NPTEL/IIT Madras: Linear Algebra (Sivakumar)
【拓扑斯与范畴逻辑】墨尔本大学 Topos Theory and Categorical Logic (Daniel Murfet)
【线性代数复习】威廉姆斯学院 Linear Algebra Review (Steven Miller)
英字补全中【高阶几何:双曲几何】UNAM Hyperbolic Geometry (Daniel Labardini)
【玩具与数学模型】京都大学 おもちゃモデル (時枝 正)
英字【实分析】哈维穆德学院 Real Analysis (Francis Su)
【微分几何】斯坦福大学 CS 468: Differential Geometry for Computer Science (Solomon)
【函数式编程】Chalmers Online Functional Programming Seminar Series
【计算理论】加州戴维斯 Theory of Computation (Phillip Rogaway)
【抽象代数2】京都大学 代数学II (雪江 明彦)
英字【经济数学基础】毕尔肯大学 Mathematics for Economists I (ECON 515, Prof. Semih Koray)
英字【计算机网络导论】斯坦福大学 Introduction to Computer Networking (CS 144)
英字【度量与希尔伯特空间】墨尔本大学 Metric and Hilbert spaces (Daniel Murfet)
【软件的数学根基】OPLSS: Software Foundations Lectures
英字【自然语言处理】斯坦佛大学 From Languages to Information (CS124)
【线性代数、微积分与流形(二)】乔治亚大学 Math 3510: Multivariable Mathematics II (Shifrin)
英字【数理逻辑:古德斯坦定理】宾州大学 Goodstein's Theorem (Prof. Henry Towsner)
【概率论】威廉姆斯学院 Math 341: Probability (Steven Miller)
【微积分拔萃】威廉姆斯学院 Calc I & II Review (Steven Miller)
英字【程序员的范畴论入门】MIT: Programming with Categories
英字【集合论】加州伯克利大学 Set Theory | MATH-135 (Antonio Montalban)
英字【黎曼猜想及其应用】NPTEL: Riemann Hypothesis and its Applications (Manindra Agrawal)
英字【点集拓扑】爱丁堡大学 General Topology (Clark Barwick)
【运筹学导论】威廉姆斯学院 Math 317: Intro to Operations Research (Fall 2016, Steven Miller)
【实分析应用】威廉姆斯学院 Math 466: Advanced Applied Analysis (Miller)
【朴素李群理论】Matrix Lie Groups (James Cook)
英字【唐璜】莫扎特 Don Giovanni (2016, MET)
英字【编译原理】Compiler Construction, Sacramento State CSC 151 (Shobaki)
【竞赛数学初步】威廉姆斯学院 Math 331: The little Questions (Steven Miller)
【运筹学】威廉姆斯学院 Math 317: Intro to Operations Research (Steven Miller)
英字【分析2: 傅里叶变换与函数空间】Analysis 2: Fourier Transform and Function Spaces (Tim Hsu)
【俄勒冈编程语言暑校:编程及安全性的根基】OPLSS 2021: Foundations of Programming and Security
英字【数值分析】斯坦福大学 CS 205A: Mathematical Methods for Robotics, Vision, and Graphics
【操作系统导论】威斯康星大学 CS-537: Introduction to Operating Systems
【贝多芬弦乐四重奏】David Finckel 林肯中心室内乐协会
【室内乐鉴赏】Inside Chamber Music with Bruce Adolphe 林肯中心室内乐协会
英字【集合论】METU: Set Theory (MATH-320, Burak Kaya)
英字【快速上手应用范畴论】Applied Category Theory 2020 Tutorials