摘要:
DescriptionOrder is an important concept in mathematics and in computer science. For example, Zorn's Lemma states: ``a partially ordered set in which every chain has an upper bound contains a maximal element.'' Order is also important in reasoning about the fix-point semantics of program 阅读全文
posted @ 2012-10-28 10:16
萧凡客
阅读(270)
评论(0)
推荐(0)

浙公网安备 33010602011771号