数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #1421

计算机科学与数学相交之处：类型论

Computer Science ∩ Mathematics (Type Theory) - Computerphile

从程序怎样给表达式确定类型谈起，观察类型与命题、程序与证明如何对应起来。

Computerphile · 1 串讨论 · 热度 1.869

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处