离散数学题解与分析

出版时间：2011-2  出版社：中国铁道出版社  作者：刘任任  页数：379  

内容概要

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

作者简介

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

书籍目录

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