数学影像馆

视频目录 / 计算数学与算法

系列分集

理论计算机科学：演绎系统

Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)

区分作为起点的公理与允许使用的推理规则。沿证明树检查每一步的前提来自哪里，直到根上的结论。

Ryan O'Donnell · 系列收录

打开原视频 ↗浏览计算数学与算法

讨论出处