（美）S.利普舒茨（Seymour Lipschutz），（美）M.L.利普森（Marc Lars Lipson）著；林成森译2002 年出版407 页ISBN：7030100158
王树禾著（中国科学技术大学）2001 年出版410 页ISBN：7312013007
面向21世纪高等学校系列教材:本书分六篇，主要内容如下：图论与算法图论、组合论、代数系统、数理逻辑、离散数学中的空间、矩阵和拟阵、Turing机和计算复杂度理论。 ...
金聪，郭京蕾编著2010 年出版259 页ISBN：9787302204046
本书为离散数学的基础教材。全书分为4篇，分别为数理逻辑、集合论、代数系统和图论。内容包括命题逻辑、谓词逻辑、集合的基本概念和运算、关系、函数、代数系统一般性质、典型的代数系统、图的基本概念、欧...
郝素敏主编；王树西副主编2014 年出版253 页ISBN：9787302317616
本书定位为“应用型”离散数学教材，它不但包括离散数学的核心知识单元：集合、关系、映射、命题逻辑、谓词逻辑、图论、树，而且包括可选知识单元：组合计数。...
《离散数学》编委会编2003 年出版151 页ISBN：7505408348
本书以全国高教自考大纲和指定教材为依据，分析、研究历年考试试卷为基础，按指定教材的结构，以章为单位，每章设“内容提示”、“同步训练”、“参考答案”三部分。书的最后附有2、3套模拟试题（含参考答案）可供考.....
耿素云，屈婉玲，张立昂编著2008 年出版257 页ISBN：9787302164722
本书内容包括6个方面：数理逻辑；集合论；代数结构；图论；组合分析初步；形论语言与自动机初步。
张小峰，赵永升，杨洪勇，李芳芳编著2016 年出版219 页ISBN：9787302421672
教材内容包括六方面：矩阵初步、数理逻辑（命题逻辑与谓词逻辑）、集合论（集合论与关系的基本理论、特殊关系与函数）、组合数学初步、图论（图论的基本知识、特殊图）和代数系统（代数系统的基本知识、特殊的代数系......
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
胡新启编著2007 年出版359 页ISBN：7307060167
本书可作为高等院校应用数学专业及相关专业的本科生教材。主要介绍集合论、代数系统、图论、数理逻辑四个部分内容。本书叙述严谨，重点突出，各章配有大量的例题与习题，对培养、提高学生运用基础理论来分析、解...
