这个世界真的是太精彩了。
同一个时间段里，无数个行业的无数家公司在一同发展，每分每秒都有着海量新闻狂涌而出。即便是总盯着股市发展的金融行业，也只能是以他们专业的角度看待各行各业的发展，而对那些具体的影响了解有限。
看那些百年经典行业，石油、电力、煤炭、金融，早就形成了他们固有的体系，连带着无数个相关职业也都有着极其成熟的发展轨迹。
会计就可以算是最典型的一个了，海量的证书需要按部就班的考取，每一种职称和工作年限搭配出的薪酬，也都是众人皆知的。对于很多从事传统行业的人来，这是他们最大的幸运和便利，以及最真金白银的铁饭碗。
但是有传统就会有新兴，而后者往往会对前者造成巨大的冲击。试想马车夫这个职业，其是传承千年也不为过，却在汽车出现后的短短数十年间迅速消亡殆尽。纵观当今世界，就算还能在贫困地区及农村乡镇看到驴马牛车，却也不过就是个体户自己的出行工具罢了。
但要到it行业，却足以让很多人对其报以热烈欢迎的态度。
其实这个角度还是要从数学学科出发，对于很多人来，在大学考取数学专业似乎是件很无聊的事情。也许它确实能在科研领域发挥些作用，但就算哪个天才真明白了为什么一加一等于二，难道还能指望广大求职人群也靠当老师吃饭？
但基础学科既然称之为基础，自然也就意味着它的不可替代性，尤其当计算机这件新鲜事物出现后，它在其中坚若磐石般的作用，更是散发出了夺目的光彩。
当然，基础的编程范畴是和数学关系不大的，即便是从未接触过微积分的普通人，也能轻易搞定些简单的程序。但如果一整个行业都是靠这种“门外汉”发展，要想发展起来根本就是做梦。
从根本层面来看，软件编程就是基于数学模型的基础上面的，其中许多技术和理论也都是基于数学进行描述的，尤其是以离散数学为代表的应用数学。从计算机各种应用的程序设计方面考察，任何一个可在存储程序式电子数字计算机上运行的程序，其对应的计算方法首先都必须是构造性的，数据表示必须是离散化的，计算操作必须使用逻辑或代数的方法进行，这些都应体现在算法和程序之中。
此外，算法的正确性、程序的语义及其正确性的理论基础仍然是数理逻辑，或进一步的模型论。真正的程序语义都是模型论意义上的语义。可以，软件编程思想运行的严密性、学科理论方法与实