消息首页搜索举报

正版现货新书离散数学 9787302281818 王岚

全新正版现货，以书名为准，放心购买，购书咨询18931383650朱老师

23.81 8.0折 29.8 全新

仅1件

北京丰台

认证卖家担保交易快速发货售后保障

作者王岚

出版社清华大学

ISBN9787302281818

出版时间2012-04

装帧其他

开本其他

定价29.8元

货号2239532

上书时间2024-11-15

黎明书店

十五年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 9小时
好评率暂无

最新上架

正版现货新书梧轩艺谈录 9787536084865 朱万章 ¥15.41

正版现货新书陆游诗词/唐宋诗词十大家丛书 9787548812463 李永祥，宫明莹编

异步图书：全国青少年CSP-J编程竞赛真题解析 ¥53.88

正版现货新书桂堂述学 9787010183831 俞元桂 ¥124.92

异步图书：开放式控制系统编程技术--基于IEC 61131-3国际标准 ¥77.88

商品详情

品相描述：全新

商品描述: 导语摘要
王岚编著的《离散数学》系统全面介绍了离散数学相关知识，本书力求做到简洁明了、易懂易学，注重理论与实际的结合，注意与后续课程的衔接。适合作为普通高等院校数学、计算机科学与技术等专业的本科生教材，也可供高职高专院校的师生参考使用。

目录
第1章集合论
  1.1 集合的概念与运算
  1.1.1 集合的概念
  1.1.2 集合之间的关系
  1.1.3 集合的运算
  1.1.4 集合的运算性质
  1.1.5 序偶与笛卡儿积
  1.2 二元关系
  1.2.1 二元关系及其表示
  1.2.2 二元关系的运算
  1.3 关系的性质
  1.4 关系的闭包运算
  1.5 序关系
  1.6 等价关系
  1.7 映射
  *1.8 数学归纳法
  *1.9 计数
  1.9.1 帕斯卡三角形和二项式定理
  1.9.2 鸽巢原理
  1.9.3 乘法法则和加法法则
  1.9.4 排列和组合
  *1.10 排列组合生成算法
  *1.11 离散概率简介
  习题1
第2章命题逻辑
  2.1 命题与联结词
  2.1.1 命题与真值
  2.1.2 命题联结词
  2.2 命题公式、指派及真值表
  2.2.1 命题公式
  2.2.2 命题的符号化
  2.2.3 公式的指派(赋值)及真值表
  2.3 命题公式的等值式，蕴含关系式
  2.3.1 命题公式的等值式
  2.3.2 代入规则与替换规则
  2.3.3 对偶式
  2.3.4 蕴含关系式
  2.4 主析取范式和主合取范式
  2.4.1 合取范式与析取范式
  2.4.2 主范式
  *2.5 联结词完备集
  2.6 可满足性问题与消解法
  2.7 推理的形式结构
  2.8 自然推理系统n中的形式证明
  习题
第3章谓词逻辑
  3.1 基本概念
  3.1.1 个体词、谓词
  3.1.2 量词
  3.2 一阶逻辑公式及解释
  3.3 一阶逻辑等值式
  3.4 前束范式与斯科林范式
  3.4.1 前束范式
  3.4.2 斯科林范式
  3.5 谓词演算的推理理论
  3.6 数理逻辑在计算机科学中的应用
  3.6.1 “钥匙在点火开关中”报警蜂鸣器
  3.6.2 构造自锁控制安全带的电路
  3.6.3 构造一个拿子游戏装置
  3.6.4 构造电路：专用装置和程序化计算机
  习题3
第4章公理系统下的形式证明
  4.1 命题逻辑的公理推理系统
  4.1.1 公理推理系统p
  4.1.2 公理推理系统p的可靠性、和谐性和完备性
  4.2 谓词逻辑的公理系统
  4.3 定理的机器证明
第5章图论
  5.1 图的基本概念
  5.1.1 图及其图形表示
  5.1.2 顶点的度
  5.1.3 完全图和补图
  5.1.4 子图
  5.1.5 图的同构
  5.2 通路、回路与连通性
  5.2.1 通路和回路
  5.2.2 无向图的连通性
  5.2.3 有向图的连通性
  5.2.4 门格定理
  5.3 欧拉图与中国邮递员问题
  5.3.1 哥尼斯堡七桥问题
  5.3.2 欧拉图
  5.3.3 中国邮递员问题
  5.4 哈密尔顿图与旅行售货商问题
  5.4.1 哈密尔顿图
  5.4.2 旅行售货商问题
  5.5 树
  5.5.1 树的定义及其基本性质
  5.5.2 生成树
  5.5.3 最小生成树问题
  5.5.4 根树及其应用
  5.6 图的矩阵表示
  5.6.1 关联矩阵
  5.6.2 邻接矩阵
  5.6.3 可达矩阵
  5.6.4 图的运算
  5.7 平面图与图的着色
  5.7.1 平面图
  5.7.2 对偶图与图着色
  习题5
第6章代数系统
  6.1 二元运算与代数系统
  6.1.1 二元运算
  6.1.2 代数系统
  6.2 群和半群
  6.2.1 群和半群的定义
  6.2.2 关于逆元的性质
  6.2.3 群的几个等价性质
  6.3 子群和元素的阶
  6.3.1 子群
  6.3.2 元素的阶
  6.4 循环群和生成群、群的同构
  6.4.1 循环群和生成群
  6.4.2 群的同构
  6.4.3 循环群的性质
  6.5 变换群和置换群、凯莱定理
  6.5.1 置换群
  6.5.2 凯莱定理
  6.6 子群的陪集和拉格朗日定理
  6.6.1 子群的陪集
  6.6.2 子群的指数和拉格朗日定理
  6.7 正规子群和商群
  6.7.1 正规子群的概念
  6.7.2 正规子群的性质
  6.7.3 商群
  6.8 共轭元和共轭子群
  6.8.1 中心和中心化子
  6.8.2 共轭元和共轭类
  6.8.3 共轭子群与正规化子
  6.9 群的同态
  6.9.1 群的同态定义
  6.9.2 同态基本定理
  6.10 环与域
  *6.11 代数系统在计算机科学中的应用
  6.11.1 通信模型的基本概念
  6.11.2 纠错编码的基本概念
  6.11.3 线性分组码和汉明码
  习题6
第7章格与布尔代数
  7.1 格
  7.2 格同态
  7.3 分配格和有补格
  7.4 布尔代数
  7.5 布尔函数及其表达式
  习题7
*附录a 离散数学在关系数据库中的应用
  a.1 关系数据库简介
  a.2 关系代数与数据子语言
参考文献

内容摘要
王岚编著的《离散数学》包括离散数学课程的标准内容：数理逻辑中的命题逻辑、一阶谓词逻辑、集合论、代数系统、图论等。特别是丰富了集合论的内容，将数学归纳法、计数以及组合论中的一些广泛应用的方法纳入集合论中。另外，书末附录中还讲述了离散数学在关系数据库中的应用。
《离散数学》力求做到简洁明了、易懂易学，注重理论与实际的结合，注意与后续课程的衔接。适合作为普通高等院校数学、计算机科学与技
术等专业的本科生教材，也可供高职高专院校的师生参考使用。