【函数式编程】Chalmers Online Functional Programming Seminar Series
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
英字【程序员的范畴论入门】MIT: Programming with Categories
...
世界级编程大师Robert C. Martin（Bob大叔）直言：面向对象编程和函数式编程是可以兼容的！
...
夯实编程基础 - Programming: Beyond the Basics - csprimer
...
康奈尔大学《OCaml编程|CS3110：OCaml Programming: Correct + Efficient + Beautiful》中英字幕
...
知名软件匠人 Robert C. Martin（Bob大叔）新书《函数式设计》导读
...
【俄勒冈编程语言暑校：编程及安全性的根基】OPLSS 2021: Foundations of Programming and Security
...
2024年9月编程书籍阅读记录（C#、函数式编程、架构、DDD）【开发杂谈】
...
【抽象代数】Abstract Algebra (James Cook, 17 Fall)
...
英字【基础乐理：和声与对位】伊斯特曼音乐学院 Harmony & Counterpoint (Seth Monahan)
...
【抽象代数2】京都大学 代数学II (雪江 明彦)
...
英字【计算图形学】MIT 6.837: Intro to Computer Graphics (Solomon, 20fall)
...
英字【计算机网络导论】斯坦福大学 Introduction to Computer Networking (CS 144)
...
【微分几何】斯坦福大学 CS 468: Differential Geometry for Computer Science (Solomon)
...
【计算理论】加州戴维斯 Theory of Computation (Phillip Rogaway)
...
【拓扑斯与范畴逻辑】墨尔本大学 Topos Theory and Categorical Logic (Daniel Murfet)
...
【密码学和编码理论】USJ MAD 4471: Introduction to Cryptography and Coding Theory
...
【数理逻辑导论】滑铁卢大学 Logic and Computation (CS 245, Prof. Shai Ben-David)
...
【计算机图形学】MIT 6.837: Introduction to Computer Graphics (Solomon)
...
英字补全中【高阶几何：双曲几何】UNAM Hyperbolic Geometry (Daniel Labardini)
...
【线性逻辑】CMU 15-816 Linear Logic (Frank Pfenning)
...
英字【度量与希尔伯特空间】墨尔本大学 Metric and Hilbert spaces (Daniel Murfet)
...
英字【数值分析】斯坦福大学 CS 205A: Mathematical Methods for Robotics, Vision, and Graphics
...
英字【集合论】加州伯克利大学 Set Theory | MATH-135 (Antonio Montalban)
...
英字【高等线性代数】NPTEL/IIT Madras: Linear Algebra (Sivakumar)
...
【软件的数学根基】OPLSS: Software Foundations Lectures
...
英字【贝多芬钢琴奏鸣曲】柯蒂斯音乐学院 Jonathan Biss: Exploring Beethoven’s Piano Sonatas
...
【线性代数、微积分与流形（二）】乔治亚大学 Math 3510: Multivariable Mathematics II (Shifrin)
...
英字【经济数学基础】毕尔肯大学 Mathematics for Economists I (ECON 515, Prof. Semih Koray)
...
【朴素李群理论】Matrix Lie Groups (James Cook)
...
【操作系统导论】威斯康星大学 CS-537: Introduction to Operating Systems
...
英字【分析2: 傅里叶变换与函数空间】Analysis 2: Fourier Transform and Function Spaces (Tim Hsu)
...
英字【编译原理】Compiler Construction, Sacramento State CSC 151 (Shobaki)
...
英字【集合论】METU: Set Theory (MATH-320, Burak Kaya)
...
【线性代数、微积分与流形（一）】乔治亚大学 Math 3500: Multivariable Mathematics I (Shifrin)
...
英字【实分析】哈维穆德学院 Real Analysis (Francis Su)
...
【玩具与数学模型】京都大学 おもちゃモデル (時枝 正)
...
【运筹学导论】威廉姆斯学院 Math 317: Intro to Operations Research (Fall 2016, Steven Miller)
...
英字补全中【几何数据分析】MIT 6.838: Shape Analysis (Spring 2021, Justin Solomon)
...
【抽象代数2】Abstract Algebra II (James Cook, 2018 & 2019)
...
【形状分析】MIT 6.838: Shape Analysis (Solomon)