热度排名 #1814

亚历克斯·辛普森：数学和计算机科学的基础怎样交织？

Prof. Alex Simpson - The Intertwined Foundations of Mathematics and Computer Science

从形式证明和程序语言各挑一个熟悉的例子，观察两边如何处理条件与推导。讲座适合用来辨认这种对应在哪些层面能够精确成立。

The University of Edinburgh · 1 串讨论 · 热度 1.418

讨论出处