视频选集 【汉语】01 如何统一逻辑和算术 【英语】01 如何统一逻辑和算术 【汉语】02 数字欧米茄是数学预言吗？ 【英语】02 数字欧米茄是数学预言吗？ 【汉语】03 逻辑的健全性和完整性 【英语】03 逻辑的健全性和完整性 【汉语】04 类型理论和类型的代数 【英语】04 类型理论和类型的代数 【汉语】05 类别理论的温和介绍 【英语】05 类别理论的温和介绍
AngularMomenta的视频 【双语音】神经科学探索 【双语音】线性代数 【双语音】逻辑学 3.1 卤代烃 【麻省理工】光学 | MIT 2.71 Optics, Spring 2009 9.1 溶液的形成（第二课时） 9.1 溶液的形成（第一课时） 5.1.2 导数的概念及其几何意义（第二课时）
