软件架构的数学本质

两个非空集合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

你可能感兴趣的:(软件架构的数学本质)