注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书教育/教材/教辅教辅大学教辅离散数学基础教程

离散数学基础教程

离散数学基础教程

定 价:¥29.00

作 者: 徐洁磐 编
出版社: 机械工业出版社
丛编项: 普通高等院校计算机课程规划教材
标 签: 计算机理论

购买这本书可以去


ISBN: 9787111274315 出版时间: 2009-07-01 包装: 平装
开本: 16开 页数: 229 字数:  

内容简介

  《离散数学基础教程》共五篇12章,将离散数学按总论、主要内容及应用的顺序进行讲解,其中主要内容部分讲述离散数学中的四个核心内容(集合论、代数系统、图论与数理逻辑),应用部分在国内首先系统引入和介绍了离散建模的相关内容,并将离散数学与计算机以及IT领域应用相结合,从而使离散数学这门课程真正融入计算机及信息技术领域中。全书在内容选材上上坚持少而精,选取具有代表性的核心内容,通过精讲精练达到举一反三的效果;释义则以讲透、讲深为原则,不但要使学生了解数学的抽象表示,更要注重其形式语义,掌握它们的精髓并能灵活应用;增设离散建模内容,介绍离散建模的一般原理,并精选五个著名实例,使学生能初步掌握运用离散数学解决实际问题的能力。《离散数学基础教程》可作为普通高等院校计算机及相关专业的本科离散数学课程教材,也可供计算机应用开发人员参考。《离散数学基础教程》凝聚了作者多年的研究成果和实践经验,是一本优秀的离散数学入门教材。全书共五篇12章,将离散数学按总论,主要内容及应用的顺序进行讲解,其中主要内容部分讲述离散数学中的4个核心内容(集合论、代数系统、图论与数理逻辑),应用部分在国内首次系统引入和介绍了离散建模的相关内容,并将离散数学与计算机以及IT领域应用相结合,从而使离散数学这门课程真正融入计算机及信息技术领域中。《离散数学基础教程》特点内容选材坚持少而精,选取具有代表性的核心内容,通过精讲精练达到举一反三的效果;同时减少过子繁琐的证明环节,因而做到篇幅短小,适合目前精简学时的教学需要。对基本概念与性质给出详细的释义,不但介绍了数学的抽象表示,而且更注重其形式语义,使学生掌握它们的精髓并能灵活应用。增设离散建模内容,介绍离散建模的一般原理,并精选5个著名实例,使学生初步掌握运用离散数学作为工具来解决实际问题的能力。配有大量习题及思考题,同时每章都有学习小结,每篇有学习总结;全书配有电子教案,可供教师教学之用

作者简介

  徐洁磐,南京大学计算机科学与技术系教授,长期从事计算机理论和离散数学的教学与研究,曾任中国离散数学学会理事长,主持制订我国第一部离散数学教学大纲,编写了我国第一部原创离散数学教材《离散数学导论》(国家级规划教材),还著有《离散数学及其在计算机科学中的应用》《数据库系统实用教程》(国家级精品教材)等20余本专著和教材。

图书目录

序.绪言
第一篇 集合论
第1章 集合论基础
1.1 集合的基本概念
1.2 集合的表示方法
1.2.1 枚举法
1.2.2 特性刻划法
1.3 集合概念间的关系
1.3.1 集合与元素间的关系
1.3.2 集合与集合间的关系
1.3.3 集合相交中的两个特殊关系
1.4 集合概念的基本性质
1.5 集合运算
1.6 集合运算的应用
1.7 扩充的集合运算之一——差运算与对称差运算
1.8 扩充的集合运算之二——幂运算
1.9 扩充的集合运算之三——笛卡儿乘
1.9.1 序偶
1.9.2 笛卡儿乘
1.9.3 n元有序组与n阶笛卡儿乘积
本章小结
习题一
第2章 关系
2.1 关系的基本概念
2.2 关系的表示
2.2.1 枚举法
2.2.2 特性刻划法
2.2.3 矩阵表示法
2.2.4 图示法
2.3 关系的性质
2.4 关系运算
2.4.1 关系的并.交.补运算
2.4.2 关系的复合运算与逆运算
2.4.3 关系上的闭包运算
2.5 两种常用的关系
2.5.1 次序关系
2.5.2 等价关系
2.6 n元关系
本章小结
习题

第3章 函数与无限集
3.1 函数的基本概念
3.2 函数的表示
3.3 函数的分类
3.4 函数运算
3.4.1 函数的复合运算
3.4.2 函数的逆运算
3.5 几种常用函数
3.6 多元函数
3.7 有限集与无限集
本章小结
习题三
第一篇 总结
第一篇 附录
第二篇 代数系统
第4章 代数系统概论
4.1 代数系统介绍
4.2 代数运算中的常见性质
4.3 代数系统的同态与同构
4.4 代数系统的分类
本章小结
习题四
第5章 群论
5.1 半群
5.2 群
5.2.1 群及其性质
5.2.2 群同态与变换群
5.2.3 有限群
5.2.4 循环群
5.2.5 子群与正规子群
本章小结
习题五
第6章 环论与格论
6.1 环
6.2 整环
6.3 域
6.4 格
6.5 偏序格
6.6 分配格.有界格与有补格
6.7 布尔代数
本章小结
习题六
第二篇
附录
第三篇 图论
第7章 图论原理
7.1 图的基本概念
7.2 通路.回路与连通图
7.3 欧拉图
7.4 哈密顿图
7.5 图的矩阵表示法
本章小结
习题七
第8章 树
8.1 树的基本性质
8.2 有向树
8.3 二元树
8.4 生成树
本章小结
习题八
第三篇 附录
第四篇 数理逻辑
第9章 命题逻辑
9.1 命题
9.2 命题联结词
9.3 命题公式
9.4 命题公式的真值表与重言式
9.5 命题逻辑的等式推理
9.5.1 基本等式
9.5.2 推理规则
9.5.3 等式推理过程
9.6 命题逻辑的蕴含推理
9.6.1 推理规则
9.6.2 推理方法
9.7 范式
9.7.1 析取范式与主析取范式
9.7.2 合取范式与主合取范式
本章小结
习题九
第10章 谓词逻辑
10.1 谓词逻辑的三个基本概念——个体.谓词与量词
10.2 谓词逻辑中的两个补充概念——自由变元/约束变元与函数
10.3 谓词公式
10.4 谓词逻辑的永真公式
10.5 谓词逻辑的等式推理
10.6 谓词逻辑的蕴含推理
10.7 谓词逻辑范式
本章小结习题十
第四篇 附录
第五篇 离散建模
第11章 离散建模概念与方法
11.1 离散建模概念
11.2 离散建模方法
11.3 离散建模的步骤
本章小结
习题十一
第12章 离散建模应用实例
12.1 操作系统中死锁检测的离散建模
12.2 人工智能机器人规划的离散建模
12.3 数据库中关系数据模型的离散建模
12.4 数据通信中纠错码的离散建模
12.5 软件工程中程序正确性证明的离散建模
本章小结
习题十二
第五篇 附录
附录中英文名词对照表
参考文献

本目录推荐