胡新启，胡元明编著2002 年出版311 页ISBN：7302051631
本书共9章，每章先简要介绍主要内容、重要概念和主要结论，然后给出基本题和典型习题，对疑难问题和容易混淆、甚至误解的问题进行剖析。 ...
左孝凌等编著1982 年出版426 页ISBN：7805130698
离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容；应用部分主要介绍形式语言...
黄立明主编2011 年出版216 页ISBN：9787560277523
本书由四篇组成。第一篇数理逻辑，内容有：命题逻辑，一阶逻辑。第二篇集合论，内容有：集合的基本概念和运算，关系和函数。第三篇代数系统，内容有：代数系统概述，几种典型的代数系统。第四篇图论，内容有：图的基......
徐洁磐主编2011 年出版282 页ISBN：9787040315028
本书由五部分内容组成，分别是集合论、代数系统、图论、数理逻辑、离散建模,并以离散建模为其特色。本书取材精炼、内容重点突出，编写简明易懂，篇幅短小，非常适合于应用型计算机本科或在50—70学时的学校使用。...
赵广利主编；黄健等编2003 年出版346 页ISBN：7561124171
本书针对作为计算机科学基础理论核心课程的离散数学，从数理逻辑、集合论、代数系统、图论四个方面、结合例题、练习进行全面讲解。
（苏）格尔曼（Герман，Юрий）著；郑海凌译1991 年出版705 页ISBN：7805055513
书名原文:ДорогойMойЧеловек:本书叙述了一对青梅竹马
于筑国编著2011 年出版316 页ISBN：9787118076240
本书主要介绍离散数学的基础知识，全书分七章，包括命题逻辑、一阶谓词逻辑、集合与二元关系、函数、代数系统、格代数、图论等，并含有相关的例题与习题。...
古天龙，常亮编著2012 年出版362 页ISBN：9787302288206
本书依据ACM和IEEE-CS发布的CC2005教程，以及教育部高等学校计算机科学与技术教学指导委员会制订的计算机科学与技术专业规范着力使内容和知识体系的设计达到理论与实际结合、抽象与直观统一、局部与整体协调...
