耿素云等编著2004 年出版252 页ISBN：7302078793
本书内容包括6个方面：数理逻辑；集合论；代数结构；图论；组合分析初步；形论语言与自动机初步。
胡俊，顾静相编2016 年出版281 页ISBN：9787304076726
本书为开放大学信息类计算机专业教材，涉及：集合论，图论，数理逻辑。
王卫红，李曲，郑宇军等编著2013 年出版211 页ISBN：9787302335238
本书系统地阐述了离散数学的经典内容，介绍了集合、映射与运算、关系、命题逻辑、谓词逻辑、代数结构、图论、几类特殊的图以及组合计数。本书以集合、映射、运算和关系为主线，使全书内容联系紧密，具有较强的逻...
陈志奎主编2013 年出版235 页ISBN：9787115321664
本书主要内容包括命题逻辑、谓词逻辑、集合论、二元关系、函数、代数系统、群与环、格与布尔代数、命题逻辑。每章内容通过离散数学的常识内容进行知识点的引入，并且吸收国内外多本相关教材的优点，使内容更易...
（美）S.利普舒茨（Seymour Lipschutz），（美）M.L.利普森（Marc Lars Lipson）著；林成森译2002 年出版407 页ISBN：7030100158
王树禾著（中国科学技术大学）2001 年出版410 页ISBN：7312013007
面向21世纪高等学校系列教材:本书分六篇，主要内容如下：图论与算法图论、组合论、代数系统、数理逻辑、离散数学中的空间、矩阵和拟阵、Turing机和计算复杂度理论。 ...
