顶部
收藏

离散数学导论(第5版)


作者:
徐洁磐
定价:
30.00元
ISBN:
978-7-04-046667-6
版面字数:
410.000千字
开本:
16开
全书页数:
275页
装帧形式:
平装
重点项目:
暂无
出版时间:
2016-12-02
读者对象:
高等教育
一级分类:
计算机/教育技术类
二级分类:
计算机类专业核心课程
三级分类:
离散数学

本版由六篇14章组成,内容包括绪言、集合论、代数系统、图论、数理逻辑及离散建模等,适合54~72学时的教学需要。

本教材的特色是:内容少而精、深入浅出、学以致用,突出学科体系。在本版教材中引入了数字课程资源,使得教材内容更为丰富。

本书可作为高等院校计算机有关专业本科“离散数学”课程的教材或参考书,也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。本教材并配有相应的辅导教材《离散数学导论(第5版)学习指导与习题解析》及电子教案等。

  • 前辅文
  • 第一篇 离散数学概论
  • 第二篇 集 合论
    • 第1章 集合论基础
      • 1.1 集合的基本概念
      • 1.2 集合运算
      • 1.3 幂集
      • 习题1
    • 第2章 关系
      • 2.1 关系的预备知识——n元有序组与笛卡儿乘积
      • 2.2 关系的基本概念
      • 2.3 关系的运算
      • 2.4 关系的五个重要性质
      • 2.5 关系上的闭包运算
      • 2.6 次序关系
      • *2.7 相容关系
      • 2.8 等价关系
      • 习题2
    • 第3章 函数
      • 3.1 函数的基本概念
      • 3.2 复合函数、反函数、多元函数
      • *3.3 常用函数介绍
      • 习题3
    • 第4章 有限集与无限集
      • 4.1 有限集与无限集基本概念
      • *4.2 有限集
      • 4.3 无限集的性质
      • 习题4
      • 第二篇复习指导
      • 第二篇总复习题
  • 第三篇 代数系统
    • 第5章 代数系统基础
      • 5.1 代数系统的基本概念
      • 5.2 代数系统九个基本性质
      • 5.3 同构与同态
      • 5.4 代数系统分类
      • 习题5
    • 第6章 群论
      • 6.1 群的基本概念
      • 6.2 变换群
      • 6.3 有限群
      • 6.4 循环群
      • 6.5 子群
      • *6.6 正规子群
      • 习题6
    • 第7章 环论、格论与布尔代数
      • *7.1 环论
      • 7.2 格论与布尔代数
      • 习题7
      • 第三篇复习指导
      • 第三篇总复习题
  • 第四篇 图论
    • 第8章 图论原理
      • 8.1 图的基本概念
      • 8.2 通路、回路与连通性
      • 8.3 图的矩阵表示法
      • 习题8
    • 第9章 常用图——树与欧拉图
      • 9.1 树的基本性质
      • 9.2 有向树
      • 9.3 二元树
      • 9.4 生成树
      • 9.5 欧拉图
      • 习题9
      • 第四篇复习指导
      • 第四篇总复习题
  • 第五篇 数理逻辑
    • 第10章 命题逻辑
      • 10.1 命题与命题联结词
      • 10.2 命题变元与命题公式
      • 10.3 重言式
      • 10.4 命题逻辑的基本等式及等式推理
      • 10.5 命题逻辑的基本蕴涵式及蕴涵推理
      • 10.6 范式
      • 10.7 命题联结词的扩充与归约
      • 习题10
    • 第11章 谓词逻辑
      • 11.1 谓词与个体
      • 11.2 量词
      • 11.3 函数
      • 11.4 谓词逻辑公式
      • 11.5 自由变元与约束变元
      • 11.6 谓词逻辑的永真公式
      • 11.7 谓词逻辑的等式推理
      • 11.8 谓词逻辑的蕴涵推理
      • 11.9 谓词逻辑范式
      • 习题11
    • *第12章 数理逻辑的公理化理论
      • 12.1 公理化理论的基本思想
      • 12.2 命题逻辑、谓词逻辑的公理化理论
      • 12.3 数理逻辑应用公理系统
      • 12.4 谓词逻辑的自动定理证明
      • 习题12
      • 第五篇复习指导
      • 第五篇总复习题
  • 第六篇 离散建模
    • 第13章 离散建模概念与方法
      • 13.1 离散建模概念
      • 13.2 离散建模方法
      • 13.3 离散建模方法的五个步骤
      • 习题13
    • 第14章 离散建模应用实例
      • 14.1 数字逻辑电路中的离散建模
      • 14.2 电话线路故障影响分析中的离散建模
      • 14.3 数据库中关系数据模型的离散建模
      • 14.4 操作系统中死锁检测的离散建模
      • 习题14
      • 第六篇复习指导
      • 第六篇总复习题
  • 附录一 常用符号一览表
  • 附录二 中英文名词对照表
  • 参考文献

本数字课程是《离散数学导论(第5版)》纸质教材的配套资源,是利用数字化技术整合优质教学资源的出版形式,可扩展纸质材料内容,为读者提供电子课件、教师教学建议、学生学习建议、知识的进一步解释及知识补充等内容,供读者完善学习内容。

0.1课时安排建议
文档pdf
0.2离散数学教师基本背景素质要求
文档pdf
1.1本篇介绍
文档pdf
1.2本篇教师讲课建议
文档pdf
详见纸质图书
1.3本篇学生学习建议
文档pdf
详见纸质图书
1.5教材内容与各篇间顺序安排
文档pdf
详见纸质图书
1.6离散数学与高等数学的关联与区别
文档pdf
详见纸质图书
2.1本篇教师讲课建议
文档pdf
详见纸质图书
2.2本篇学生学习建议
文档pdf
详见纸质图书
2.4朴素集合论与公理集合论
文档pdf
详见纸质图书
2.5集合论三大基础性质
文档pdf
详见纸质图书
2.6集合论中四大基本概念的解释与性质规范
文档pdf
详见纸质图书
2.7无序偶与无序偶笛卡儿乘积
文档pdf
详见纸质图书
2.8关系概念的进一步解释
文档pdf
详见纸质图书
2.9次序关系的进一步解释
文档pdf
详见纸质图书
2.10偏序中一些元素的几个例子
文档pdf
详见纸质图书
2.11集合、关系、函数、运算、变换间的关联
文档pdf
详见纸质图书
2.12集合、关系与代数系统、图论与数理逻辑
文档pdf
详见纸质图书
3.1本篇教师讲课建议
文档pdf
详见纸质图书
3.2本篇学生学习建议
文档pdf
详见纸质图书

相关图书


相关数字化产品