李树平主编；张格森，孙巍，孙兰等副主编2012 年出版167 页ISBN：9787302284369
本书包括数理逻辑中的命题逻辑、一阶谓词逻辑，集合论，代数系统和布尔代数，图论等理论的基本概念和基础知识。各章均由基础知识、基本要求、重点难点、典型习题、课后习题及答案、练习题及答案、自测与测试7部...
刘红美编著；刘红美，王建芳，张钦编2013 年出版253 页ISBN：9787562259015
本书主要介绍了离散数学最基本的内容：命题逻辑、谓词逻辑、集合理论、关系、图论、树和布尔代数。主要是用于“离散数学”双语教学的教材，适合数学专业、计算机科学与信息科学专业、或者研究生。国内没有类似...
刘宝宏编著2014 年出版226 页ISBN：9787111464143
本书以离散数学各个分支的基础理论为核心，以理工科大学生的应用需求为出发点，以提高学生的数学素养为目标，以离散数学的基本概念贯穿始终，重点讲授集合论、代数系统、图论原理和数理逻辑的基本理论和方法，并从建...
毛晓光，刘万伟编著2003 年出版256 页ISBN：7810249738
本书参照全国一些重点大学计算机科学与技术专业“离散数学”课主要内容，参考国务院学位委员会的考试大纲要求编写。全书分为两部分，第一部分为复习提要，典型题解，习题及答案；第二部分为试题汇编。...
段禅伦，魏仕民主编；赵青杉，冯源副主编2006 年出版301 页ISBN：7301105118
本书是为计算机科学等专业的学生写的一本离散教学基础教材。理论部分取材于数学的几个与计算机学科联系紧密的理论分支，并且在不致与其他课程内容重复的宗旨下，尽可能地给出了一些运用数学理论解决专业问题的...
陈琼主编；马千里，周育人副主编2014 年出版254 页ISBN：9787111474883
本书内容共分5部分：数理逻辑，集合、关系和函数，组合数学，图论，代数系统。数理逻辑介绍了命题逻辑和谓词逻辑；集合、关系和函数介绍集合论的相关知识；组合数学介绍组合计数和高级计数方法；图论介绍图的基本概......
秦裕瑗著2009 年出版277 页ISBN：9787030237347
本专著建立了一个与最优化原理足够贴近的代数系统，叫做Bellman半环，从而建立了离散动态规划的基本公理系统。证明了Bellman代数，包括极大代数和极小代数，是最优化原理成立的一个充分条件。还把基本公理系统推广...
普通高等教育国家规划教材研究中心，东方教育教材研发中心编2006 年出版475 页ISBN：7501173931
本书是配合《离散数学》大学教材编写的辅导书。本书每章设学习要求、知识网络图、内容概要、典型题解与题解技巧等内容及课后习题全解。
朱怀宏编著2012 年出版228 页ISBN：9787305102356
本书为徐洁磐、朱怀宏编著的《离散数学》教材的配套用书，书中内容涉及集合论、关系、函数、集合的基数、袋鼠结构、图论、命题逻辑、谓词逻辑八章内容，每张均有内容提要及注意事项，分类习题，相关分类习题解答组...
李盘林等编著2002 年出版238 页ISBN：7115101574
《高等学校21世纪教材离散数学》是介绍离散数学的一本教材，共有11章，内容包括命题逻辑、谓词逻辑、集合、关系、函数、代数结构的基本概念及性质、半群与群、环与域、格与布尔代数、图的基本概念及矩阵表示以...
