| 刘任任，教授，中共党员，博士生导师。 现任湘潭大学信息工程学院院长，中国计算机学会理事，中国人民解放军总参谋部三部八局兼职研究员。中国计算机学会多值逻辑与模糊逻辑专业委员会委员，理论计算机科学专业委员会委员，教育部高等学校计算机科学与技术专业教学指导分委员会专家工作组成员，全国高等学校计算机教育研究会常务理事，湖南省高教学会计算机教育专业委员会副理事长，湖南省软件行业协会常务理事、专家委员会成员，《计算技术与自动化》杂志编委。 主持完成国家自然科学基金课题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章 递推关系与生成函数 参考文献 |
内容加载中，请稍后...
商品评论（0条）