美文网首页
软件架构的数学本质

软件架构的数学本质

作者: 点爸 | 来源:发表于2018-07-31 17:27 被阅读18次

两个非空集合XY存在关系f,对于集合X中的任意一个x,存在集合Y中的y与之对应,这种对应为从X到Y的映射,记为

F:X->Y(其中,y称为x在映射f下的象),记做y=f(x);x称为y关于映射f的原象

对于任意一个软件系统f,存在输出入集合XY,对于XY中的任意一个值,存在 y = f(x)。

那么对于任一组值(x,y)记为XY,存在一条执行逻辑f1

可知

F逻辑上上是所有fx的集合

F = {f1,f2,f3,f4...fn}

同时可知

F为有限集

XY为无限集|或者有限集

即软件本质上是一个无限集合对一个有限集合的映射f

相关文章

网友评论

      本文标题:软件架构的数学本质

      本文链接:https://www.haomeiwen.com/subject/apihvftx.html