朱保平编著2019 年出版288 页ISBN：9787302520313
本课程是信息化类专业的核心技术基础课，它为培养计算机系统设计、人工智能、数据库等人才方面具有重要的作用。教学内容包括: 命题演算基础；命题演算推理理论；谓词演算基础；谓词演算的推理理论；递归函数论；集合.....
吴修国主编2009 年出版267 页ISBN：9787302197621
本书从基础理论和算法实现两个方面深入介绍离散数学及其在计算机科学中的应用。
邓米克，邵学才编著2014 年出版281 页ISBN：9787302361602
本教材共分集合论（包括：集合、二元关系、函数等），数理逻辑（包括：命题逻辑、谓词逻辑），代数结构（包括：一般代数系统、半群与独异点、群、环、域和格），图论（包括：图的基本概念、特殊图、一些最优算法），......
阚海斌，吴永辉，赵一鸣编著2011 年出版259 页ISBN：9787115253057
本书全面介绍了离散数学教学中涉及的知识点，配有实例。全书共分五个部分：集合论初步主要从集合的基本概念和例子着手。组合数学初步环绕存在性问题和计数问题。图论部分则介绍图的基本概念。代数结构部分介绍...
孙学红，秦伟良主编1999 年出版244 页ISBN：7560606113
本书是与西安电子科技大学出版社出版的《离散数学》（方世昌编著）配套的习题集，但也可单独使用。本书包括数理逻辑、集合论、二元关系、函数、无限集合、代数、格与布尔代数、图论共8章的习题题解。...
刘爱民编著2004 年出版348 页ISBN：756350835X
本书为高等学校教材。书中覆盖了离散数学的基本内容，这些包括了计算机专业和电子信息专业最需要的部分，共分为四大部分13章，它们是数理逻辑、集合论、代数结构、图论。本书特别阐述了一些电子和信息方面的应用...
全国高等教育自学考试指定教材 计算机及应用专业 独立本科段 离散数学 附：离散数学自学考试大纲
全国高等教育自学考试指导委员会组编；左孝凌主编2000 年出版151 页ISBN：7505822977
作 者:金晶编著 出版社:科学出版社 出版日期:2004 简介:本书各章内容包括：命题逻辑、讼词逻辑，集合，关系，函数，群，环和域，格，代数系统，图论。 ...
王茂林主编；华洪波，张庆海副主编；王红专，牛采银参编2015 年出版122 页ISBN：9787564619688
本书结合计算机科学和现代数学发展，介绍离散数学的主要内容：数理逻辑、集合与关系、数论与组合论、图论、代数结构，并介绍了离散数学在计算机科学中的一些典型应用，以培养和提高学生的抽象思维能力和严密的逻辑...
刘铎编著2013 年出版290 页ISBN：9787302320159
本书作为面向软件工程、计算机科学与技术的专业基础课——离散数学教材，将全面而系统地介绍了离散数学的理论和方法，内容涉及组合计数、集合论、推理与证明、关系与函数、基本图论、代数结构及应用、算法设计...
罗瓦茨（Lovasz，L.），培理肯（Pelikan，J.），维斯特冈比（Vesztergombi，K.）著2006 年出版290 页ISBN：7302138265
本书包括了图论、组合及它们在优化和编码等领域的应用，涵盖了信息方面的应用和离散数学的前沿研究课题。
