软件开发与数学证明

软件开发与数学证明

sp; 本人计算机科班出身，大学学了四年，工作又是搞软件开发，业余时间总想把软件开发与我们身边的事情联系起来，苦思良久却发现软件开发跟做数学证明题有极大的相似之处。

1.我们在编程的时候，当一个问题比较大，简单的说当一个函数的语句超过25行的时候，我们就应该想办法把这个函数分成多个子函数来完成。而在数学证明当中，也往往是命题不能简单的几步就得以证明，于是我们就把这个大的问题分成几个小问题来证明，小的问题都得证了，则大的命题也就证明了。

2.为了提高数学证明推理的效率，数学家就把一些显而易见的东西（或者说是真理性的东西）定义为定理，以后的学生们就可以在证明中写道：由定理一得，由定理二得，省去了不少过程。在我们的程序设计中也是如此：Microsoft有MFC,Borland有VCL,很多库函数都有了，程序员们的工作就是使用这些函数（输入参数，得到结果）至于其中的细节则深挖其源代码才能知起所以然。

以上两点只是鄙人的一点体会，在学生时代我就不喜欢循规蹈矩的跟在别人的屁股后面学，我认为程序设计更是一们艺术，艺术是美的，我喜欢把这们艺术的美与我们的生活联系起来。有兴趣者可以共同学习，共同探讨。 QQ:8133413