本书是“十二五”普通高等教育本科国家级规划教材。
本书是《离散数学(第二版)》（刘任任、王婷、周经野主编，中国铁道出版社出版，2015年）的配套教材，对主教材中集合论与数理逻辑、图论与组合数学、代数结构与初等数论、形式语言与自动机理论基础等方面的习题进行了较详细的分析与解答，以帮助读者加深对基本概念、基本定理以及运算规律的理解。
本书适合作为高等院校计算机及相关专业的教材，也可供从事离散结构领域研究工作的人员参考。
刘任任，男，汉族，中共党员，博士，教授，博士生导师。 现任湘潭大学信息工程学院院长、中国计算机学会理事、中国人民解放军总参谋部三部八局兼职研究员、中国计算机学会多值逻辑与模糊逻辑专业委员会委员、理论计算机科学专业委员会委员、教育部高等学校计算机科学与技术专业教学指导分委员会专家工作组成员，全国高等学校计算机教育研究会常务理事，湖南省高教学会计算机教育专业委员会副理事长, 湖南省软件行业协会常务理事、专家委员会成员，《计算技术与自动化》杂志编委。
第一篇 集合论与数理逻辑
第1章 集合
第2章 关系
第3章 映射
第4章 可数集与不可数集
第5章 命题逻辑
第6章 一阶逻辑
第二篇 图论与组合数学
第7章 图与子图
第8章 树
第9章 图的连通性
第10章 E图与H图
第11章 匹配与点独立集
第12章 图的着色
第13章 平面图
第14章 有向图
第15章 网络最大流
第16章 排列和组合的一般计数方法
第17章 容斥原理
第18章 递推关系与生成函数106第三篇 代数结构与初等数论
第19章 整数
第20章 群
第21章 环与域
第22章 格与布尔代数136第四篇 形式语言与自动机理论基础
第23章 形式语言
第24章 有限自动机理论
参考文献
书单推荐
