$ 0 0 推荐: 还行 标签: 科普 数学 计算机 备注: 证明包括公理、演绎规则和计算规则。计算机这个工具对数学来说越来越重要了,或者说计算机是一种越来越重要的工具,需要从娃娃抓起。本书不理解的地方多。