- 博客(3)
- 收藏
- 关注
RSS订阅翻译 【MIT软件构造】Equality
引言 由前文知java提供了抽象数据类型ADT，使数据类型不再表现于具体属性，而表现于ADT在用户眼中的特征。可以想到 ，定义并阐明ADT的相等关系是很有必要的。 等价关系 一个等价关系E具有如下性质 自反性：E(t, t) ∀ t ∈ T 对称性：E(t, u) ⇒ E(u, t) 传递性：E(t, u) ∧ E(u, v) ⇒ E(t, v) 显然，我们定义的相等关系应该是一个等价关...
2020-04-07 19:07:42
308
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人