[
-
内容大纲
本书系统介绍了数理逻辑、集合论、图论及代数系统基础四部分内容的基本概念、定理及应用。全书共9章，其中，数理逻辑包括命题逻辑和谓词逻辑两章；集合论包括集合和二元关系两章；图论包括图、特殊图和树三章；代数系统基础包括代数系统和群与环两章。
本书重难点清晰，知识连贯性强，注重例题的典范性，便于学生理解、掌握及应用；本书通过最基本的概念，运用巧妙的数学构造思想推导结论，以授人以渔的方式培养学生的创造性思维能力；本书将离散数学的理论知识和实际生活背景相结合，强化学生的知识运用意识。此外，本书的课后习题采用分层设计，对报考该方向研究生的学生有所帮助，体现了离散数学的应用价值。 -
作者介绍
-
目录
前言
第1章 命题逻辑
1.1 命题与联结词
1.1.1 命题
1.1.2 联结词
1.2 命题公式及赋值
1.2.1 命题公式
1.2.2 赋值
1.3 等值演算
1.3.1 等值演算的概念及重要等值式
1.3.2 等值演算的应用
1.4 范式与联结词完备集
1.4.1 范式
1.4.2 联结词完备集
1.5 推理理论
1.5.1 推理的基本概念
1.5.2 推理正确的判定方法
课后习题
第2章 谓词逻辑
2.1 谓词逻辑基本概念
2.1.1 个体词与谓词
2.1.2 量词与特性谓词
2.2 谓词公式及解释
2.3 谓词逻辑等值式与前束范式
2.3.1 谓词逻辑等值式
2.3.2 前束范式
2.4 谓词逻辑推理理论
课后习题
第3章 集合
3.1 集合的基本概念
3.1.1 集合的表示
3.1.2 集合的相关概念
3.2 集合的运算
3.3 集合的基数
课后习题
第4章 二元关系
4.1 笛卡儿积
4.2 二元关系及其表示
4.2.1 二元关系
4.2.2 二元关系的表示
4.3 二元关系的运算
4.4 二元关系的性质
4.5 二元关系的闭包
4.6 等价关系
4.7 偏序关系
4.8 函数
课后习题
第5章 图
5.1 图的基本概念
5.1.1 无向图和有向图
5.1.2 子图
5.1.3 图的同构
5.1.4 图的操作
5.2 握手定理
5.3 通路、回路和图的连通性
5.3.1 图的通路与回路
5.3.2 可达与距离
5.3.3 图的连通性
5.4 图的矩阵表示
5.4.1 邻接矩阵
5.4.2 关联矩阵
5.4.3 可达矩阵
5.5 最短路径Dijkstra算法
课后习题
第6章 特殊图
6.1 欧拉图
6.1.1 欧拉图的引入和定义
6.1.2 欧拉图的判定
6.2 哈密顿图
6.2.1 哈密顿图的引入和定义
6.2.2 哈密顿图的判定
6.3 偶图
6.3.1 偶图的定义
6.3.2 偶图的判定
6.3.3 匹配
6.4 平面图
6.4.1 平面图的定义
6.4.2 欧拉公式
课后习题
第7章 树
7.1 无向树及生成树
7.1.1 树的基本概念
7.1.2 生成树及算法
7.2 根树及其应用
7.2.1 根树的定义与分类
7.2.2 最优树与赫夫曼算法
7.2.3 最佳前缀码及根树的遍历
课后习题
第8章 代数系统
8.1 代数运算
8.1.1 代数运算的基本概念
8.1.2 二元运算的性质
8.1.3 二元运算的特殊元
8.2 代数系统与子代数系统
8.3 同态与同构
8.3.1 同态与同构的基本概念
8.3.2 同余关系与商代数
课后习题
第9章 群与环
9.1 群的基本概念
9.1.1 群的定义
9.1.2 元素的阶及群的基本性质
9.2 子群与群的陪集分解
9.2.1 子群
9.2.2 陪集及拉格朗日定理
9.3 循环群与置换群
9.3.1 循环群
9.3.2 置换群
9.4 环与域
9.4.1 环的定义及基本性质
9.4.2 域的定义及Miller-Rabin算法
课后习题
参考文献
同类热销排行榜
- 目送/人生三书
-
21世纪的《背影》 + 感人至深的“生死笔记”+ 龙应台亲手摄影 + 跨三代共读的人生之书！
华人世界率性犀利的一枝笔，龙应台独家...
- 顾城的诗(金版)(精)/蓝星诗库
- 人类群星闪耀时(插图本)/译林名著精选
- 牛津高阶英汉双解词典(附光盘第8版)(精)
- 文化苦旅(新版)
- 摆渡人
- 解忧杂货店(精)
- 骆驼祥子
- 曾国藩(又笨又慢平天下)
- 查令十字街84号(珍藏版)(精)
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔，龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年，恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...