普通高等学校计算机科学与技术专业规划教材：离散数学题解与分析

　　第1章 集合
　　第2章 关系
　　第3章 映射
　　第4章 可数集与不可数集
　　第5章 图与子图
　　第6章 树
　　第7章 图的连通性
　　第8章 E图与H图
　　第9章 匹配与点独立集
　　第10章 图的着色
　　第11章 平面图
　　第12章 有向图
　　第13章 网络最大流
　　第14章 命题逻辑
　　第15章 一阶逻辑
　　第16章 整数
　　第17章 群  
　　第18章 环与域
　　第19章 格与布尔代数
　　第20章 排列和组合的一般计数方法
　　第21章 容斥原理
　　第22章 递推关系与生成函数
　　参考文献

　　    刘任任，教授，中共党员，博士生导师。 现任湘潭大学信息工程学院院长，中国计算机学会理事，中国人民解放军总参谋部三部八局兼职研究员。中国计算机学会多值逻辑与模糊逻辑专业委员会委员，理论计算机科学专业委员会委员，教育部高等学校计算机科学与技术专业教学指导分委员会专家工作组成员，全国高等学校计算机教育研究会常务理事，湖南省高教学会计算机教育专业委员会副理事长，湖南省软件行业协会常务理事、专家委员会成员，《计算技术与自动化》杂志编委。 主持完成国家自然科学基金课题2项、国家863计划子课题1项、湖南省自然科学基金课题2项、湖南省教育厅重点项目1项。获湖南省科技进步二等奖1项、军队科技进步三等奖1项。出版专著《多值逻辑函数结构理论研究》，参编国家“九五”重点出版图书《现代数学手册》（计算机数学卷·多值逻辑篇），出版教材《算法设计与分析》、《计算机科学的数学基础》。 主要研究方向为多值逻辑理论、计算机算法。

　　    《普通高等学校计算机科学与技术专业规划教材：离散数学题解与分析》含6个部分：1、数理逻辑；2、集合论；3、代数结构；4、图论；5、组合分析初步；6、形式语言和自动机初步。每部分均包含三方面内容：（1）内容提要；（2）与本部分配套的习题；（3）习题解答。对每道题都做了较详细的解答与分析。对某些题还给出了不同的解法或指出容易犯