1982 年出版426 页ISBN:7805130698
离散数学,是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容;应用部分主要介绍形式语言...
1994 年出版320 页ISBN:7500102860
本书运用类似的方法来研究数学,而书中大师们创造的不是小说或交响乐,而是定理。因此,本书不是一本典型的数学教材,没有一步一步地推导某些数学分支的发展,也没有强调数学在确定行星运行轨道、理解计算机世界,乃至...