傅彦，顾小丰，王庆先等编著2013 年出版476 页ISBN：9787040371482
本书是国家精品课程主讲教材。本书系统介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明...
屈婉玲，耿素云，张立昂编著2006 年出版278 页ISBN：7302120390
本书是与中国计算机学会“21世纪大学本科计算机专业系列教材”《离散数学》配套的习题解答和教学指导用书，写作中参考了CC2002教程和CC2004，总结了作者多年一线教学的经验，对使用原教材的学生掌握离散数学的知...
胡新启编著2014 年出版333 页ISBN：9787307144446
本书主要介绍集合论、代数系统、图论、数理逻辑等内容。主要特点有：（1）内容组织上层次分明，结构清晰。（2）叙述严谨，重点突出，深入浅出，便于自学。（3）对部分定理只给出了直观解释，没有给出证明，主要是为了......
（中国）周淑云2018 年出版201 页ISBN：9787113246105
本教材含四部分：第一部分数理逻辑（包括第1章命题逻辑和第2章谓词逻辑）；第二部分集合论（包括第3章集合和第4章二元关系和函数）；第三部分图论（包括第5章图的基本概念、第6章特殊的图和第7章树）和第四部分代数系......
屈婉玲，耿素云，张立昂编著2015 年出版403 页ISBN：9787040419085
本书是一版的基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。全书既有严谨、系统的理论阐述，也有丰富的、面...
檀凤琴，何自强编著2012 年出版179 页ISBN：9787111367499
本教材由四篇组成。第一篇数理逻辑，内容有：命题逻辑，一阶逻辑。第二篇集合论，内容有：集合的基本概念和运算，关系和函数。第三篇代数系统，内容有：代数系统概述，几种典型的代数系统。第四篇图论，内容有：图的......
刘玉珍，刘咏梅编著2003 年出版266 页ISBN：7307036916
本书第一版于1998年出版，是教育部高等学校“九五”规划教材和面向21世纪课程教材。此次修订在保持原有四部分内容（数理逻辑、集合论、代数结构和图论）的基础上，增加了相当数量的难度不同的练习题，并结合教学需要...
屈婉玲，耿素云，张立昂编著2011 年出版288 页ISBN：7040322455
本书以国家级十一五规划和面向21世纪教材《离散数学》为蓝本，进行缩编和补充修改。原教材最早是1998年版的国家九五规划教材，历经十五规划、十一五规划中不断补充和修订，被相当多的高校所选用，同时也是计算机专...
（美）多塞等著；俞正光，陆玫改编2005 年出版462 页ISBN：7040166321
本书从Pearson出版公司引进，由国内专家改编。本书内容包括：组合问题和技巧，集合、相关及函数，图论，树，匹配，网络流，计算方法，递推关系和生成函数，组合环和有限机器。本书可作为高等院校理工科专业学生作为离......
邹丽娜，丁茜，罗旭主编2016 年出版136 页ISBN：9787113213176
本书主要分为三个部分，数理逻辑部分（第2章，第3章）、集合论（第4章，第5章）和图论部分（第6章），由于离散数学知识不连续的特点，本书在教学时可以选择性的安排教学顺序。通过对本书的学习，使学生能得到严格的逻......
