-
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书...
大小：1.16MB | 2020-05-14 17:56:05 -
这本书通过非常清晰的语言讲述了程序与命题之间的柯里霍华德同构关系
大小：37.55MB | 2020-04-26 07:17:16 -
所谓元编程就是编写直接生成或操纵程序的程序,C++模板给C++语言提供了元编程的能力,模板使C++编...
大小：24.65MB | 2019-09-20 05:50:19 -
Github上提供的CoqTopRelease的下载速度可能非常慢，这里为网络状况不好的朋友提供一个...
大小：64.74MB | 2019-07-08 01:38:47 -
每个人都应该看一看的范畴论入门教材，非常浅显易懂。
大小：4.26MB | 2019-05-22 22:32:23 -
建模美赛O奖论文，大家有兴趣的可以看一看。
大小：204MB | 2019-05-13 02:29:12 -
大小：0 | 2019-01-01 22:28:54
-
定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。
大小：58.73MB | 2018-12-11 05:05:21
Ta的上传资源列表