离散数学（第3版）

图书标准信息

• 作者 李洋 编；李盘林；李丽双；陈铭伟；徐喜荣
• 出版社 高等教育出版社
• 出版时间 2016-02
• 版次 3
• ISBN 9787040444629
• 定价 39.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 400页
• 字数 99999千字

【目录】

篇 数理逻辑章 命题逻辑1．1 命题与联结词1．2 命题公式、翻泽和真值表1．3 公式分类与等价式1．4 对偶式与蕴涵式1．5 联结词的扩充与功能完全组1．6 逻辑运算应用举例1．7 公式标准型——范式1．8 公式的主范式1．9 命题逻辑的推理理论1．10 命题逻辑的归结推理习题第2章 谓词逻辑2．1 谓词逻辑中基本概念与表示2．2 谓词公式与翻译2．3 约束变元与自由变元2．4 谓词逻辑的解释与其赋值2．5 真与逻辑有效2．6 谓词逻辑中的等价式2．7 变换规则2．8 谓词逻辑的蕴涵式2．9 谓词逻辑中公式范式2．10 谓词逻辑的推理理论2．11 谓词逻辑的归结推理习题第二篇 集合论第3章 集合论的公理系统3．1 公理导出和基本概念3．2 外延公理与子集公理3．3 集合的表示法3．4 偶集公理与联集公理3．5 极小元与正则公理3．6 无穷公理3．7 幂集公理习题第4章 关系与函数4．1 有序对4．2 笛卡儿积4．3 二元关系及其矩阵表示4．4 关系的性质4．5 等价关系与划分4．6 函数4．7 递归定义函数4．8 序关系4．9 代换公理习题第5章 序数与基数5．1 序数5．2 基数习题第6章 选择公理与无穷集合6．1 选择公理6．2 良序定理6．3 无穷集合习题第三篇 计 数第7章 计数原理与技术7．1 基本计数原理7．2 鸽洞原理7．3 容斥原理7．4 排列与组合7．5 递推关系习题第8章 离散概率8．1 随机事件及事件的关系8．2 离散集合上的概率8．3 事件组合的概率8．4 条件概率8．5 伯努利试验与二项分布8．6 随机变量及其数字特征习题第四篇 数论与算法第9章 整数与整除9．1 因数和倍数9．2 素数和合数9．3 公因数和最小公倍数9．4 整数分解惟一性定理9．5 模运算与同余9．6 剩余类和剩余系习题0章 整数与算法10．1 算法的基本概念10．2 欧几里得算法10．3 整数的基底6展开算法10．4 整数的计算机算术运算算法习题1章 数论应用11．1 一次同余式11．2 一次同余式组11．3 二次同余式和勒让德符号11．4 雅可比符号11．5 数论在计算机科学中的应用习题第五篇 代数结构2章 代数结构基本概念及性质12．1 代数结构的定义与例12．2 代数结构的基本性质12．3 同态与同构12．4 同余关系12．5 商代数12．6 积代数习题3章 半群与群13．1 半群和独异点的定义及性质13．2 半群和独异点的同态与同构13．3 积半群13．4 群的基本定义与性质13．5 置换群和循环群13．6 子群与陪集13．7 群的同态与同构习题4章 环和域14．1 环14．2 子环与理想14．3 环同态与环同构14．4 域14．5 有限域习题5章 布尔代数15．1 布尔代数的基本定义与性质15．2 格15．3 子布尔代数、积布尔代数和布尔代数同态15．4 布尔代数的原子表示15．5 布尔代数B215．6 布尔表达式及其范式定理习题第六篇 图 论6章 图的基本概念及其矩阵表示16．1 图的基本概念16．2 链（或路）与圈（或回路）16．3 最短链与关键路16．4 图的矩阵表示习题7章 几类重要的图17．1 欧拉图与哈密尔顿图17．2 二部图17．3 树17．4 图的生成树17．5 平面图17．6 图的色数问题17．7 图的其他一些参数习题8章超图18．1 超图的基本概念与术语18．2 源于数据库理论的超图习题参考文献
作者介绍

序言