*11.8 数据抽象与设计-怎样进行设计与怎样研究理论(选学内容)

第11讲 怎样管理和利用数据II · 数据抽象与设计III-理论之定义-公理-定理-证明