理论计算机科学工具包CS Theory Toolkit: Laplacian & the Spectral Thm. | @ CMU | Lecture 14b
37:39
理论计算机科学工具包CS Theory Toolkit: Laplacian & the Spectral Th…
已浏览 1792 次2021年5月13日
bilibiliRyanODonnell
Toward Geometric Foundations for Arithmetic Field Theories, Clark Barwick
Toward Geometric Foundations for Arithmetic Field Theories, Clark Bar…
已浏览 422 次2021年3月5日
bilibiliPoincare
Lattices: From Theory to Practice
1:38:57
Lattices: From Theory to Practice
已浏览 1035 次2020年10月14日
bilibili小希西希
【逻辑与数学基础讲座】Proof Theory：From Arithmetic to Set Theory
1:24:48
【逻辑与数学基础讲座】Proof Theory：From Arithmetic to Set Theory
已浏览 1616 次2020年12月5日
bilibili武汉大学哲学学院
【俗说量子】从“矩阵力学”到“不确定性原理” （第6期）
10:35
【俗说量子】从“矩阵力学”到“不确定性原理” （第6期）
2021年6月18日
qq.com
理论计算机科学工具包CS Theory Toolkit: Quadratic Form of a Graph || @ CMU || Lecture 13a
理论计算机科学工具包CS Theory Toolkit: Quadratic Form of a Graph |…
已浏览 378 次2021年4月15日
bilibiliRyanODonnell
【逻辑与数学基础讲座】Kurt Gödel and Alfred Tarski: The Extremes of Logic
【逻辑与数学基础讲座】Kurt Gödel and Alfred Tarski: The Extremes of L…
已浏览 1024 次2021年1月18日
bilibili武汉大学哲学学院
Juliet Floyd（波士顿大学）：维特根斯坦与图灵的对角线论证——论可计 …
已浏览 2153 次2024年1月7日
bilibili北大外国哲学研究所
54:02
Larry Guth：多项式方法和Fourier限制性猜想/问题（Polynomial Method…
已浏览 4917 次2023年4月18日
bilibiliSIsoperimetric
1:24:05
Curtis T. McMullen - Ergodic Theory, Geometry and Dynamics (2020)
已浏览 3935 次2022年2月20日
bilibiliヒンス_Q大
2021第15课 曲线曲面积分 之 Stokes定理
已浏览 547 次2021年5月30日
bilibiliholomorphy
20:46
理论计算机科学工具包CS Theory Toolkit: Non-Prime Fields || @ CMU |…
已浏览 224 次2021年3月1日
bilibiliRyanODonnell
49:23
英字【集合论】METU: Set Theory (MATH-320, Burak Kaya)
已浏览 6879 次2020年1月19日
bilibiliEvan林
【拓扑斯与范畴逻辑】墨尔本大学 Topos Theory and Categorical Logic …
已浏览 1911 次2021年5月14日
bilibiliEvan林
Theoretics Presents: Jekyll & Hyde, 2011
2016年6月13日
kinopoisk.ru
19:42
Andrew Carnie 句法课 | Video 8.3| Theta Roles, Theta Grids, and The T…
已浏览 622 次2021年2月7日
bilibiliセマンティックス
2:31
Great Thinkers,Great Theorems
已浏览 720 次2020年2月23日
bilibilicuucko
英字【数理逻辑：古德斯坦定理】宾州大学 Goodstein's Theorem (Prof. …
已浏览 2342 次2020年5月3日
bilibiliEvan林
55:37
陶哲轩｜Infinite Partial Sumsets in the Primes
已浏览 8558 次2023年2月9日
bilibili费兹克斯的编年史
1:11:43
数论20年／Twenty Years of Number Theory／安德鲁·怀尔斯／Andrew Wil…
已浏览 3699 次2021年3月29日
bilibiliTMathB
B8.4 Information Theory
已浏览 228 次2022年7月15日
bilibili换个名字123
17:03
等变与 motivic 同伦论, 孔嘉, IAS, 2021
已浏览 3209 次2023年4月2日
bilibiliTeichmuller
27:23
最美数学系列 — Gauss Theorem Egregium 高斯绝妙定理 1
已浏览 7152 次2023年3月4日
bilibili孙健老师
8:13
Theory of Computation ( TOC )
已浏览 246 次2020年12月4日
bilibili程序员百科书
1:01:14
Morgan Rogers - 利用拓扑斯理论精确化类比
已浏览 140 次2023年3月19日
bilibili筑桥者Hagi
1:47:46
【逻辑与哲学系列讲座】Reverse Mathematics: classifying theorems
已浏览 1338 次2023年12月22日
bilibili武汉大学哲学学院
1:16:48
【数学/逻辑/哲学】数学宇宙的秘密（World Science Festival）
已浏览 2930 次2023年7月3日
bilibiliHomomorphismus
3:00
Develop a Theoretical Framework in 3 Steps | Scribbr
已浏览 1208 次2021年10月7日
bilibilijoye10
22:18
理论计算机科学工具包CS Theory Toolkit: Harmonic Number Asymptoti…
已浏览 768 次2021年1月7日
bilibiliRyanODonnell
50:19
专题项目 (I): 代数, 动力系统与几何中的集合论方法, 菲尔兹数学科学研究 …
已浏览 2882 次2023年7月17日
bilibiliTeichmuller
观看更多视频
静态缩略图占位符