张卫国主编 / 2011.01 / 171页

离散数学是现代数学的重要组成部分，以离散量的结构和相互关系为研究对象，主要包括数理逻辑、集合论、图论和近世代数等内容。本书介绍了离散数学的基础理论和基本方法，全书由命题逻辑、谓词逻辑、集合、二元关系等7章组成。

陈莉 / 2010.07 / 360页

本书分为数理逻辑、集合论、近世代数与图论4篇。第一篇包括命题逻辑、谓词逻辑和非经典逻辑；第二篇包括集合、关系、函数和粗糙集；第三篇包括代数系统、半群、群、环、域、格和布尔代数；第四篇包括图的基本概念、欧拉图、哈密顿图、树、二分图、平面图和Petri网。各篇相对独立...

王忠义主编 / 2008.09 / 209页

本书内容主要包括集合论、数理逻辑、图论和代数系统四个部分。各部分分为基本知识点、重点与难点、典型题解析几个环节进行介绍，每章最后一节为自我检测题。

魏贵民 / 2007.03 / 192页

高等教育工科数学系列教材:本书以布尔代数理论为主线，阐述离散数学各分支的内容，具体包括：集合论、整数论、代数结构、格与布尔代数、数理逻辑和图论等。

景晓军 / 2006年8月 / 190页

本书作为计算机科学与技术专业的基础教材，主要介绍离散数学的基础知识。全书共分4部分。第一部分为数理逻辑，包括命题逻辑与谓词逻辑。第二部分为集合论，包括集合、二元关系及函数。第三部分为代数结构，主要介绍代数系统的基本概念与性质，群、环和域，格及布尔代...

刘永平 / 2006.12 / 395页

本书分别介绍数理逻辑、集合论、代数结构及图论等内容。

王礼萍等编著 / 2005.09 / 220页

21世纪高职高专规划教材 计算机专业基础系列:本书是面向高职高专院校编写的，内容包括：集合论、代数理论、数理逻辑和图论4部分，共8章。

张会凌 / 2004.12 / 278页

本书主要对离散数学的重要概念、结论和典型的解题方法进行了详尽的分析、讲解和讨论，全书分为命题逻辑、谓词逻辑、集合论、数论等九章。

尹宝林 / 2004.07 / 357页

高等学校教材:本书作为计算机科学的重要理论，从数理逻辑、集合论、图论、代数系统、有限自动机理论五方面进行介绍，并辅助于大量例题与练习。

蔡英 / 2003年06月第1版 / 266页

面向21世纪高等学校计算机、信息工程类专业系列教材:本书系统地介绍了离散数学的基本内容，全书分10章，介绍了数理逻辑，集合论，代数结构，图论基础四部分。