软件系统的本质是数学。数据结构看作是编码，算法看作是数理逻辑。对数据结构的逻辑执行是数理逻辑对编码的作用。
数学的基本方法论是公理化。
因此，对于软件系统，计算机基本的计算结构（I/O，存储，计算，控制），网络规则看作是公理，计算结构相互作用规则看作是运算规则。用户功能诉求，系统HA、易用性等诉求看作是计算任务输入。对于编程实现的人就是在一套公理化系统中按照一定规则和约束在组装逻辑。将信息进行加工产生新的信息，每一个被产生的信息都是一个定理。即，通过公理和规则完成对输入的正确处理。
软件系统的本质是数学。数据结构看作是编码，算法看作是数理逻辑。对数据结构的逻辑执行是数理逻辑对编码的作用。
数学的基本方法论是公理化。
因此，对于软件系统，计算机基本的计算结构（I/O，存储，计算，控制），网络规则看作是公理，计算结构相互作用规则看作是运算规则。用户功能诉求，系统HA、易用性等诉求看作是计算任务输入。对于编程实现的人就是在一套公理化系统中按照一定规则和约束在组装逻辑。将信息进行加工产生新的信息，每一个被产生的信息都是一个定理。即，通过公理和规则完成对输入的正确处理。
软件系统的本质是数学。数据结构看作是编码，算法看作是数理逻辑。对数据结构的逻辑执行是数理逻辑对编码的作用。 数学的...
软件行业存在很多类比，常常类比开发系统就是建造大楼，那么软件开发者就相当于建筑工程师啊，但是工程师群体常常嘲笑软件...
Homebrew 是一款开源的软件包管理系统，用以简化 macOS 上的软件安装过程，可以类比于 Windows ...
搭建框架：多本专业的综著 公理化体系 方式：多重阅读，类比，经验反思，迁移 比对迁移：哪些是自己已掌握的 主题阅读...
1 安装 Homebrew Homebrew是神马 类比cocoapods linux系统有个让人蛋疼的通病，软件...
升级：时间管理→精力管理→心智管理 类比：硬件→软件→操作系统 执行层面→信息搜集与分析层面→决策层面 ...
操作系统其实类比如一个软件外包公司，如何理解操作系统是如何协调各种资源，帮助客户做成事情的。 输入设备：鼠标和键盘...
框架结构 一般软件的应用架构： 微信小程序是一套系统的展示层； 小程序项目目录结构 wxml 类比 html 页...
公理思维；如何从本质出发构建创新系统 第一性原理、元起点、第一因、公理、基石假设 公理化思维的定义 理性系统是建立...
我们在上面说了电能的类比，现在说硬件和软件的类比。计算机无非就是要使用电能，同时有硬件和软件才能很好的工作。对于计...
本文标题：软件系统的公理化类比
本文链接：https://www.haomeiwen.com/subject/mnaynttx.html
网友评论