-
这本书是反推数学相关的入门经典，反推数学是数理逻辑中的一个小分支，希望过通过求得构造数学定理所需要的...
大小：1.95MB | 2020-05-15 14:27:30 -
介绍了一票21世纪重要的数学定理，是比较硬核的数学科普。知乎上有人推荐了哦～～
大小：10.19MB | 2019-07-13 02:46:17 -
大小：0 | 2019-02-19 01:48:20
-
大小：0 | 2019-01-13 20:10:50
-
大小：0 | 2019-01-08 23:49:19
-
《可计算性理论》张鸣华，内容丰富。书价1.50元，扫描价32.0元。因为是比较基础的理论所以不过时。...
大小：19.46MB | 2018-12-24 22:54:20 -
Theory and Applications of Computability系列书本中的第3本。...
大小：5.2MB | 2018-12-24 22:53:37
Ta的上传资源列表