原副标题：画册所推荐 │ 纯数学
陈奇 梁艳春 李永清 郭夕敬 总编辑
冯广慧 林刚 马蕊 陈敏 编委
产品价格：69.00元
两本书获 评全省高校rides专业委员会“二三”总体规划教科书，
附上新浪网操作控制系统、幻灯片、教学计划及沙朗通、rondes版义和团运动、
观念填空等电子零件天然资源，
可供教员和小学生参照。
那哥
两本书荣膺全省高校rides专业委员会“二三”总体规划教科书，是两本面向全国复合型专科的纯数学讲义。书中控制系统如是说了纯数学的基本上表述、不等式和物理性质等基本上知识，着重于鼓励小学生透过自学对数基本上概念创建计算机系统观念觉悟。
原书共分成4部份：第1部份（1～3章）公理化，着重于如是说了子集、亲密关系和态射；第2部份（ 4～5章）概率论，着重于如是说了形式语言和真值方法论；第3部份（ 6～8章）线性代数，着重于如是说了图、笛卡儿图和曼尼托巴图，树、九部图和示意图等特定图；第4部份（ 9～11章）拓扑控制系统，着重于如是说了拓扑内部结构、环与域、格与布尔拓扑。
两本书适宜做为院校韦尔蒙本科生的教科书或工具书，不光是做为纯数学新课程Mamet的教科书或工具书。
✦ +
+
图书特点
●例题选择靠近计算机系统专业，注重纯数学理论的实际应用 。
●对知识点提供算法思想描述，让小学生直观理解纯数学理论与计算机系统专业课程之间的联系。
● 按难易度分级设置章节习题，方便不同层次读者参照，另有新浪网题库控制系统，可供教员组卷或小学生自测。
● 每章附上学科观念填空，梳理知识点框架，总结章节内容。
● 配套幻灯片、教学计划和进度表、rondes版义和团运动等教学天然资源，为教员备课提供便利。
主要作者简介
陈奇，珠海科技学院副教授，珠海市科技工贸和信息化专项资金管理控制系统专家。承担多项纵向和横向科研项目，指导多项大小学生创新创业训练计划项目和ACM学科竞赛等，透过“IBM Certified Database Administrator”、“微软高级软件研发主管”等多项专业技术资格认证，获得2016年度中国商业联合会科学技术奖——全省商业科技进步奖一等奖等多项奖励。从事纯数学教学工作16年，研究方向为机器自学、数据挖掘与知识发现、软件工程应用等。
梁艳春，二级教授，博士生导师，现任珠海科技学院计算机系统学院院长，广东省南粤优秀教员，国务院政府特定津贴获得者。广东省计算机系统应用技术优势重点学科带头人，国家级一流专科专业（计算机系统科学与技术）建设点负责人。担任教育部高校科学研究优秀成果奖评委，科技部重点研发计划项目评审专家，国家自然科学基金项目评审专家，国家科学技术奖评审专家。全省高校rides专业委员会理事，中国生物信息学会（筹）理事，澳门生物信息学会理事。研究方向为机器自学、计算智能、生物信息学。主持完成国家自然科学基金项目、863项目、欧盟项目和省部级科研项目20余项。获得省部级科技进步奖特等奖/一等奖7项、二等奖4项，获得国家发明专利7项，出版学术著作4部。发表学术论文480余篇。连续7年（2014-2020）入选Elsevier计算机系统科学领域中国高被引学者榜单。
李永清，吉林大学教授，博士生导师。研究方向为人工智能与大数据分析。承担国家科技攻关项目、国家高技术发展计划（“863”计划）项目、国家自然科学基金项目8项，省部级科技项目近20项。发表学术论文180余篇，获省级科技进步二、三等奖各1次。
郭夕敬，珠海科技学院讲师，研究方向为Hopf拓扑。任教16年，主持多项科研项目，发表多篇学术论文，出版多部学术专著，多次参与“数学建模”竞赛培训，参赛多次获奖。获得多次先进工作者及优秀教员荣誉称号。
目录
向上滑动阅览
第一篇 公理化
第1章 集 合
1.1 子集的基本上概念与表示
1.1.1 子集的基本上概念
1.1.2 子集的元素
1.1.3 子集的表示方法
1.1.4 子集之间的亲密关系
习题1.1
1.2 子集的运算
1.2.1 交运算
1.2.2 并运算
1.2.3 补运算
1.2.4 差运算
1.2.5 对称差运算
习题1.2
1.3 子集的划分与覆盖
1.3.1 子集的划分
1.3.2 子集的覆盖
习题1.3
1.4 容斥原理
1.5* 子集的观念填空
1.6* 子集的算法思想
1.5.1 求任意一个子集的幂集
1.5.2 求任意两个子集的交集、并集、差集
1.7 本章小结
第2章 关 系
2.1 有序n元组
习题2.1
2.2 笛卡尔积
2.2.1 笛卡尔积的表述
2.2.2 笛卡尔积的物理性质
习题2.2
2.3 二元亲密关系
2.3.1 二元亲密关系的基本上概念
2.3.2 二元亲密关系的表示
习题2.3
2.4 亲密关系的运算
2.4.1 亲密关系的子集运算
2.4.2 亲密关系的复合运算
2.4.3 亲密关系的逆运算
习题2.4
2.5 亲密关系的物理性质
2.5.1 自反性
2.5.2 反自反性
2.5.3 对称性
2.5.4 反对称性
2.5.5 传递性
习题2.5
2.6 亲密关系的闭包
2.6.1 自反闭包
2.6.2 对称闭包
2.6.3 传递闭包
2.6.4 闭包之间的亲密关系
习题2.6
2.7 等价亲密关系
2.7.1 等价亲密关系
2.7.2 等价类
习题2.7
2.8 相容亲密关系
2.8.1 相容亲密关系
2.8.2 相容类
习题2.8
2.9 偏序亲密关系
2.9.1 偏序亲密关系
2.9.2 哈斯（Hasse）图及特定元素
2.9.3 全序亲密关系
2.9.4 良序亲密关系
2.9.5 拟序亲密关系
2.10* 亲密关系的观念填空
第3章 态射
3.1 态射的基本上基本上概念
习题3.1
3.2 态射的物理性质
3.2.1 单射
3.2.2 满射
3.2.3 双射
习题3.2
3.3 态射的复合运算
习题3.3
3.4 态射的逆运算
习题3.4
3.5* 态射的观念填空
3.6.1 态射的判定
3.6.2 求满射
第九部份 概率论
第4章 形式语言
4.1 命题
习题4.1
4.2 联结词
4.2.1 否定联结词
4.2.2 合取联结词（与）
4.2.3 析取联结词（或）
4.2.4 不可兼析取联结词（异或）
4.2.5 条件联结词
4.2.6 双条件联结词
4.2.7 与非联结词
4.2.8 或非联结词
4.2.9 条件否定联结词
4.2.10 联结词与子集运算之间的亲密关系
习题4.2
4.3 命题公式
4.3.1 命题公式的表述
4.3.2 命题公式的符号化
4.3.3 命题公式的解释
4.3.4 命题公式的真值表
4.3.5 命题公式的类型
习题4.3
4.4 命题公式的方法论等值
4.4.1 命题公式方法论等值的表述
4.4.2 命题公式基本上的方法论等值式
4.4.3 命题公式的等值演算
4.4.4 命题公式的对偶不等式
习题4.4
4.5 范式
4.5.1 析取范式与合取范式
4.5.2 主析取范式与主合取范式
4.5.3 主范式的应用
习题4.5
4.6 命题公式的方法论蕴涵
4.6.1 方法论蕴涵的表述
4.6.2 蕴涵式的证明方法
4.6.3 基本上的方法论蕴涵式
习题4.6
4.7 全功能联结词与极小联结词组
习题4.7
4.8 形式语言推理理论
4.8.1 形式语言推理理论
4.8.2 推理规则
4.8.3 判断有效结论的常用方法
习题4.8
4.9* 形式语言的观念填空
4.10* 形式语言的算法思想
4.11 本章小结
第5章 真值方法论
5.1 真值方法论的相关基本上概念
5.1.1 个体词与真值
5.1.2 量词
习题5.1
5.2 真值公式
5.2.1 真值公式的表述
5.2.2 真值公式的符号化
5.2.3 真值的约束与替换
5.2.4 真值公式的解释
5.2.5 真值公式的类型
习题5.2
5.3 真值公式的方法论等值
5.3.1 真值公式方法论等值的表述
5.3.2 真值公式基本上的方法论等值式
习题5.3
5.4 真值公式的前束范式
5.4.1 真值公式前束范式的表述
5.4.2 真值公式前束范式的计算
习题5.4
5.5 真值公式的方法论蕴涵
习题5.5
5.6 真值方法论的推理
5.6.1 真值方法论中的方法论蕴涵式
5.6.2 真值方法论的推理规则
5.6.3 真值方法论的自然推理控制系统
习题5.6
5.7* 真值方法论的观念填空
5.8 本章小结
第三部份 线性代数
第6章 图
6.1 图的基本上基本上概念
6.1.1 图
6.1.2 子图
6.1.3 通路与回路
6.1.4 图的同构
习题6.1
6.2 结点的度数
6.2.1结点的度数的基本上概念
6.2.2 握手不等式及其推论
习题6.2
6.3 图的连通性
6.3.1 无向图的连通性
6.3.2 有向图的连通性
习题6.3
6.4 图的矩阵表示
6.4.1 邻接矩阵
6.4.2 可达矩阵
6.4.3 关联矩阵
习题6.4
6.5 图的应用
6.5.1 加权图的最短通路
6.5.2 加权图的关键路径
习题6.5
6.6* 图的观念填空
6.7* 图的算法思想
6.7.1 图的可达矩阵算法
6.7.2 有向图的所有强分图算法
6.7.3 有向图的所有单向分图算法
6.7.4 图的所有割点算法
6.7.5 图的所有割边算法
6.7.6 源点到其它各点的所有最短通路算法
6.7.7 求两点间最短通路的Warshall-Floyd算法
6.7.8 图的所有关键路径算法
6.8 本章小结
第7章 笛卡儿图与曼尼托巴图
7.1 笛卡儿图
7.1.1 笛卡儿图的表述
7.1.2 笛卡儿图的判定
7.1.3 笛卡儿图的应用
习题7.1
7.2 曼尼托巴图
7.2.1 曼尼托巴图
7.2.2 曼尼托巴图的判定
7.2.3 曼尼托巴图的应用
习题7.2
7.3* 笛卡儿图和曼尼托巴图的观念填空
7.4* 笛卡儿图和曼尼托巴图的算法思想
7.4.1 求笛卡儿回路的算法
7.4.2 判断一个图是否为曼尼托巴图
7.5 本章小结
第8章 特定图
8.1 树
8.1.1 无向树
8.1.2 生成树与最小生成树
8.1.3 有向树与根树
8.1.4 k叉树与有序树
习题8.1
8.2 九部图
8.2.1 九部图的基本上概念
8.2.2 九部图的匹配
习题8.2
8.3 示意图
8.3.1 示意图的基本上概念
8.3.2 笛卡儿公式
8.3.3 示意图的判定
8.3.4 示意图的着色
习题8.3
8.4* 特定图的观念填空
8.5* 特定图的算法思想
8.5.1 求哈夫曼（Huffman）树
8.5.2 求无（有）向图的生成树的算法
8.5.3 求最小生成树的两种算法：Kruskal算法、Prim算法
8.5.4 广度优先搜索算法
8.5.5 深度有限搜索算法
8.5.6 二叉树的遍历
8.5.7 九部图的所有完备匹配算法
8.5.8 图的着色算法
8.6 本章小结
第四篇 拓扑控制系统
第9章 拓扑内部结构
9.1 拓扑控制系统的表述
9.1.1 拓扑运算
9.1.2 拓扑控制系统
习题9.1
9.2 拓扑控制系统的物理性质
9.2.1 交换律
9.2.2 结合律
9.2.3 分配律
9.2.4 吸收律
9.2.5 幂等律
9.2.6 单位元（幺元）
9.2.7 零元
9.2.8 逆元
9.2.9 消去律
习题9.2
9.3 拓扑控制系统的同态与同构
习题9.3
9.4 半群与独异点
9.4.1 半群
9.4.2 独异点
习题9.4
9.5 群
9.5.1 群的表述
9.5.2 群的物理性质
习题9.5
9.6 子群
9.6.1 子群的表述
9.6.2 子群的判定
习题9.6
9.7 特定的群
9.7.1 阿贝尔群
9.7.2 循环群
9.7.3 置换群
习题9.7
9.8 群的同态与同构
习题9.8
9.9* 拓扑控制系统的观念填空
9.10* 拓扑控制系统的算法思想
9.11 本章小结
第10章 环与域
10.1 环
10.1.1 环的基本上概念
10.1.2 子环与理想
10.1.3 环的同态与同构
习题10.1
10.2 域
10.2.1 域的基本上概念
10.2.2 有限域
10.2.3 域的同态与同构
习题10.2
10.3* 环与域的观念填空
10.4 本章小结
第11章 格与布尔拓扑
11.1 格的表述和物理性质
11.1.1 格的表述
11.1.2 格的对偶原理
11.1.3 格的物理性质
习题11.1
11.2 子格与格同态
11.2.1 子格
11.2.2 格同态与格同构
习题11.2
11.3 几种特定的格
11.3.1 分配格
11.3.2 模格
11.3.3 有界格
11.3.4 有补格
习题11.3
11.4 布尔拓扑
11.4.1 布尔拓扑的表述
11.4.2 布尔拓扑的物理性质
11.4.3 布尔拓扑的同态与同构
习题11.4
11.5* 格与布尔拓扑的观念填空
电子零件教学天然资源
1.新浪网题库控制系统：
2.教学天然资源：包含全套PPT幻灯片、rondes版义和团运动、教学计划与沙朗通、观念填空等等。
