申请联盟合作！

wjdlt_1997 · 发表于 2008-1-31 15:37:58

ii)是否所有的命题我们都可以通过这个公理体系判断出来（要么证明成立，要么否定）

我在学《算法导论》时读过一下关于NP完全问题的一些介绍。
不知mathe有没有这个命题证明的相关材料？
纯数学的范围太广泛，且太深入，很难

mathe · 发表于 2008-1-31 15:48:38

当初大学的时候喜欢去图书馆里面，整天看数学和计算机的书，看过这方面的东西。不过我都是走马观花，仅仅有个大概了解。现在都过去十来年了，细节都忘记了。你可以到图书馆里面找找集合论方面的书看看，比如里面应该会介绍选择公理，超限归纳法之类的东西。

mathe · 发表于 2008-1-31 15:50:27

不过我发现不论是数学还是计算机，往往深入下去时，只有英文版的资料可以看。

wjdlt_1997 · 发表于 2008-1-31 16:00:02

毕业了。
手头没有这类资料就算了。
如果内容太多太复杂，我或许会看不懂。我数学不好

mathe · 发表于 2008-1-31 16:08:50

这方面证明应该是挺难的，很难看懂的，就比如NPC问题的证明吧，估计我也看不大懂。不过其实有些东西我们知道结论就可以了，毕竟我们不需要去做数学研究。

282842712474 · 发表于 2008-2-1 09:48:09

新的LOGO地址

gxqcn：
　　希望你积极引导贵站成员尊重知识产权，对转载引用等务必注明出处。
　　过几天我会回访贵站，然后再决定是否适合“友情链接”。。。

282842712474 · 发表于 2008-2-3 23:11:54

不知道论坛还是否能够加上我站友情连接？

账号		自动登录	找回密码
密码			欢迎注册

[申请] 申请联盟合作！