离散数学 - 中国高校教材图书网
|
书名： |
离散数学
|
| ISBN： | 7-05625-22812 |
条码： | |
| 作者： |
蔡之华等
相关图书
|
装订： | 平装 |
| 印次： | 1-1 |
开本： | 16开 |
| 定价： |
￥33.00
折扣价：￥31.35
折扣：0.95
节省了1.65元
|
字数： |
430千字
|
| 出版社： |
中国地质大学出版社 |
页数： |
|
| 发行编号： | |
每包册数： |
|
| 出版日期： |
2008-09-01 |
|
|
| 内容简介： |
离散数学是现代数学的一个重要分支，是计算机类专业的重要基础课程。它以研究离散量的结构及其相互间的关系为主要目标,其研究对象一般是有限个或可数个元素,因此离散数学可以充分描述计算机学科离散性的特点。由于离散数学在计算机科学中的重要作用,国内外几乎所有大学的计算机类专业的数学计划中都将其列为核心课程进行重点建设,它是其他骨干课程,如数据结构,操作系统,人工智能,计算机网络等的先修课程.本书全面介绍了离散数学的主要内容，即数理逻辑初步、集合论、代数结构、图论等基本内容，并对离散数学的应用进行了初步介绍。
本书适合于高等院校理工科计算机类学生作专业基础课教材，也适合有关科技人员参考。
|
| 作者简介： |
|
|
| 章节目录： |
第1章 命题逻辑
1．1 命题与联结词
1．2 命题公式
1．3 等值演算
1．4 范 式
1．5 联结园的完备集
1．6 命题逻辑的推理演算
1．7 命题逻辑在计算机科学中的应用
小 结
习 题
第2章 谓词逻辑
2．1 个体、谓词和量词
2．2 谓词公式
2．3 等值演算
2．4 范 式
2．5 谓词逻辑的推理演算
2，6 谓问逻辑在计算机科学中的应用
小 结
习 题
第3章 非经典逻辑简介
3．1 引 言
3．2 模态逻辑
3．3 多值逻辑
3．4 非单调逻辑
小 结
习 题
第4章 集 合
4．1 集合及其表示
4．2 集合的运算
4．3 文氏图
小 结
习 题
第5章 关 系
5．1 关系及其表示
5．2 关系的性质
5．3 关系的运算
5．4 等价关系
5．5 偏序关系
5．6 关系在计算机科学中的应用
小 结
习 题
第6章 函 数
6．1 函数的基本概念
6．2 函数的性质
6．3 函数的运算
6．4 集合的特征函数
6．5 集合的基数
6．6 经典集合的扩展
小 结
习 题
第7章 代数结构
7．1 代数结构及其性质
7．2 同态与同构
7．3 同余与商代数
小 结
习 题
第8章 群
8．1 群及其性质
8．2 置换群与循环群
8．3 陪集和拉格朗日定理
8．4 正规子群与群同态基本定理
8．5 群在计算机科学中的应用
小 结
习 题
第9章 布尔代数
9．1 概 述
9．2 格
9．3 布尔代数
9．4 布尔表达式与布尔函数
9．5 布尔代数的同态与同构
小 结
习 题
第lo章 图的基本概念
10．1 图论概述
10．2 图与图模型
10．3 路径与图连通性
10．4 图的运算
10．5 图的表示与图的同构
10．6 欧拉图
10．7 哈密尔顿图
小 结
习 题
第u章 特殊图
11．1 树
11．2 平面图与图的着色
11．3 二分图与匹配
小 结
习 题
参考文献
|
| 精彩片段： |
|
|
| 书 评： |
|
|
| 其 它： |
|
|
|
中国大学出版社协会 |
首页 |
宏观指导 |
出版社天地 |
图书代办站 |
教材图书信息 |
教材图书评论 |
在线订购 |
教材征订
