作者 回复/查看 最后发表
图灵的论文-turing´s thesis aoxiao 2017-5-18 0112 aoxiao 2017-5-18 23:18
数学归纳法原理-principle of mathematical induction php 2017-5-18 0104 php 2017-5-18 23:16
Gödel不完备性定理-Gödel´s second incompleteness theorem aoxiao 2017-5-18 0117 aoxiao 2017-5-18 23:10
子图同胚问题-subgraph homeomorphism problem aoxiao 2017-5-18 0115 aoxiao 2017-5-18 23:07
集装箱问题-set packing problem php 2017-5-18 0101 php 2017-5-18 22:56
命题演算-propositional calculus php 2017-5-18 0208 php 2017-5-18 22:56
约束变量变化-change of bound variable aoxiao 2017-5-18 0108 aoxiao 2017-5-18 22:08
Hall定理-hall theorem aoxiao 2017-5-18 0111 aoxiao 2017-5-18 22:04
一阶逻辑的不可判定性-undecidability of first-order logic php 2017-5-18 0110 php 2017-5-18 22:03
钨2,3图灵机器研究奖-Wolfram 2, 3 Turing machine research prize php 2017-5-18 0113 php 2017-5-18 22:00
实际和潜在无限-actual and potential infinity aoxiao 2017-5-18 0101 aoxiao 2017-5-18 21:54
斐波那契数列-Fibonacci numbers aoxiao 2017-5-18 0135 aoxiao 2017-5-18 21:51
四色定理-four-color theorem aoxiao 2017-5-18 0139 aoxiao 2017-5-18 21:50
格林定理-Green´s theorem aoxiao 2017-5-18 099 aoxiao 2017-5-18 21:45
背包问题-knapsack problem aoxiao 2017-5-18 0108 aoxiao 2017-5-18 21:38
蒙提霍尔问题-Monty Hall problem aoxiao 2017-5-18 0109 aoxiao 2017-5-18 21:29
斯特林数-stirling numbers php 2017-5-18 0114 php 2017-5-18 21:24
说谎者悖论-liar paradox aoxiao 2017-5-18 0108 aoxiao 2017-5-18 21:23
欧几里得第二定理-Euclid´s second theorem php 2017-5-18 095 php 2017-5-18 21:18
有效可计算函数-effective computable function aoxiao 2017-5-18 0116 aoxiao 2017-5-18 21:18
下一页 »

快速发帖

还可输入 80 个字符
您需要登录后才可以发帖 登录 | 立即注册

本版积分规则

返回顶部 返回版块