数学影像馆

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

热度排名 #1680

集合论与 Haskell，第 1 部

Set Theory and Haskell (part 1)

从集合的元素和两个集合之间的映射入手，看这些想法如何用程序的类型与函数表达。先记清例子保留了原来数学对象的哪些性质。

NYC Haskell User's Group · 1 串讨论 · 热度 1.723

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

讨论出处