算法引论
最新书摘：
-
南阜鸟2016-10-27we then replace BIS(j+1) with BIS(j)Xm
-
南阜鸟2016-10-27于是用BIS(j+1)替换BIS(j)Xm
-
[已注销]2012-07-05如果命题 P 对某个自然数的无限子集成立，且 P 对 n 成立能推出其对 n-1 成立，那么 P 对任意自然数成立。
-
[已注销]2012-07-05如果对于带有参数 n 对命题 P，当 n=1 时 P 成立，并且如果对每一个 n (n>1)， 若对任意小于 n 的自然数 P 成立能推出对 n 命题 P 也成立，那么对任意自然数， P 都成立。
-
[已注销]2012-07-05如果对于带有参数 n 的命题 P，当 n=1 时 P 成立，并且对于每一个 n (n>1)，若 n-1 时 P 也成立，那么对于任意自然数，P 都成立。