我刚学，问一个初级的问题。

碧野之灵 · 发表于 2004-6-10 22:03:05

<

>C或C++程序怎样证明是正确的?Turbo C是不是用来编C语言程序的？

knight · 发表于 2004-6-10 23:46:22

<

>程序的正确性是可以证明的，但是难度很大，但是国内做的人很少，很落后。<

>你写100行程序也许只需要一天，但是你证明10行程序至少要100天，通常是要和数学家合作的。<

>不过我觉得这个是一个好方向，因为现在国内几乎没有人做（据说好像只有中科大有几个人在做），这个应该是以后的方向，毕竟大程序是不可能运行无穷次来检验程序的正确性的。呵呵，说了这么多，其实我根本不会证明。Turbo C只是Turbo系列的一种，Turbo还有Turbo Pascal和Turbo C++

碧野之灵 · 发表于 2004-6-11 17:17:16

谢谢！！

xcy · 发表于 2004-6-27 06:27:43

不要好高务远

		自动登录	找回密码
密码			注-册-帐-号