【线性逻辑】CMU 15-816 Linear Logic (Frank Pfenning)
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【数理逻辑导论】滑铁卢大学 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