软件系统的公理化类比

软件系统的本质是数学。数据结构看作是编码，算法看作是数理逻辑。对数据结构的逻辑执行是数理逻辑对编码的作用。

数学的基本方法论是公理化。

因此，对于软件系统，计算机基本的计算结构（I/O，存储，计算，控制），网络规则看作是公理，计算结构相互作用规则看作是运算规则。用户功能诉求，系统HA、易用性等诉求看作是计算任务输入。对于编程实现的人就是在一套公理化系统中按照一定规则和约束在组装逻辑。将信息进行加工产生新的信息，每一个被产生的信息都是一个定理。即，通过公理和规则完成对输入的正确处理。

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

推荐阅读更多精彩内容