它确实能在科研领域发挥些作用,但就算哪个天才真明白了为什么一加一等于二,难道还能指望广大求职人群也靠当老师吃饭?
但基础学科既然称之为基础,自然也就意味着它的不可替代性,尤其当计算机这件新鲜事物出现后,它在其中坚若磐石般的作用,更是散发出了夺目的光彩。
当然,基础的编程范畴是和数学关系不大的,即便是从未接触过微积分的普通人,也能轻易搞定些简单的程序。但如果一整个行业都是靠这种“门外汉”发展,要想发展起来根本就是做梦。
从根本层面来看,软件编程就是基于数学模型的基础上面的,其中许多技术和理论也都是基于数学进行描述的,尤其是以离散数学为代表的应用数学。从计算机各种应用的程序设计方面考察,任何一个可在存储程序式电子数字计算机上运行的程序,其对应的计算方法首先都必须是构造性的,数据表示必须是离散化的,计算操作必须使用逻辑或代数的方法进行,这些都应体现在算法和程序之中。
此外,算法的正确性、程序的语义及其正确性的理论基础仍然是数理逻辑,或进一步的模型论。真正的程序语义都是模型论意义上的语义。可以说,软件编程思想运行的严密性、学科理论方法与实现技术的