离散数学
出版时间:
2005-06
版次:
1
ISBN:
9787302107576
定价:
32.00
装帧:
平装
开本:
其他
纸张:
胶版纸
页数:
388页
字数:
535千字
12人买过
-
本教材是根据ACM和IEEE/CS最新推出的Computing Curricula 2004，以及教育部高等教育司组织评审通过的《中国计算机科学与技术学科教程2002》中制定的关于“离散数学”的知识结构和体系撰写的．全书共14章，主要包含证明技巧、数理逻辑、集合与关系、函数、图和树、组合计数、初等数论、离散概率和代数系统等内容．本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学．另外，本书有配套习题解答与学习指导等辅导用书，以满足教学需要。
本书适合作为计算机和相关专业本科生“离散数学”的教学用书，也可以作为对离散数学感兴趣的人的参考书． 第1章 数学语言与证明方法
1.1 常用的数学符号
1.1.1 集合符号
1.1.2 运算符号
1.1.3 逻辑符号
1.2 集合及其运算
1.2.1 集合及其表示法
1.2.2 集合之间的包含与相等
1.2.3 集合的幂集
1.2.4 集合的运算
1.2.5 基本集合恒等式及其应用
1.3 证明方法概述
1.3.1 逻辑推理的形式结构
1.3.2 公理、定理与证明
1.3.3 证明方法
1.3.4 数学归纳法
习题
第2章 命题逻辑
2.1 命题逻辑基本概念
2.1.1 命题与联结词
2.1.2 命题公式及其分类
2.2 命题逻辑等值演算
2.2.1 等值式与等值演算
2.2.2 联结词完备集
2.3 范式
2.4 命题逻辑推理理论
习题
第3章 一阶逻辑
3.1 一阶逻辑基本概念
3.2 一阶逻辑等值演算
3.3 一阶逻辑推理理论
习题
第4章 关系
4.1 关系的定义及其表示
4.2 关系的运算
4.3 关系的性质
4.4 等价关系与偏序关系
习题
第5章 函数
5.1 函数的定义及其性质
5.2 函数的复合与反函数
习题
第6章 图
6.1 图的基本概念
6.2 图的连通性
6.3 图的矩阵表示
6.4 几种特殊的图
习题
第7章 树及其应用
7.1 无向树
7.2 根树及其应用
习题
第8章 组合计数基础
8.1 基本计数规则
8.2 排列与组合
8.3 二项式定理与组合恒等式
8.4 多项式定理与多项式系数
习题
第9章 容斥原理
9.1 容斥原理及其应用
9.2 对称筛公式及其应用
习题
第10章 递推方程与生成函数
10.1 递推方程及其应用
10.2 生成函数及其应用
10.3 指数生成函数及其应用
10.4 Catalan数与Stirling数
习题
第11章 初等数论
……
第12章 离散概率
第13章 初等数论和离散概率的应用
第14章 代数系统
-
内容简介:
本教材是根据ACM和IEEE/CS最新推出的Computing Curricula 2004，以及教育部高等教育司组织评审通过的《中国计算机科学与技术学科教程2002》中制定的关于“离散数学”的知识结构和体系撰写的．全书共14章，主要包含证明技巧、数理逻辑、集合与关系、函数、图和树、组合计数、初等数论、离散概率和代数系统等内容．本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学．另外，本书有配套习题解答与学习指导等辅导用书，以满足教学需要。
本书适合作为计算机和相关专业本科生“离散数学”的教学用书，也可以作为对离散数学感兴趣的人的参考书．
-
目录:
第1章 数学语言与证明方法
1.1 常用的数学符号
1.1.1 集合符号
1.1.2 运算符号
1.1.3 逻辑符号
1.2 集合及其运算
1.2.1 集合及其表示法
1.2.2 集合之间的包含与相等
1.2.3 集合的幂集
1.2.4 集合的运算
1.2.5 基本集合恒等式及其应用
1.3 证明方法概述
1.3.1 逻辑推理的形式结构
1.3.2 公理、定理与证明
1.3.3 证明方法
1.3.4 数学归纳法
习题
第2章 命题逻辑
2.1 命题逻辑基本概念
2.1.1 命题与联结词
2.1.2 命题公式及其分类
2.2 命题逻辑等值演算
2.2.1 等值式与等值演算
2.2.2 联结词完备集
2.3 范式
2.4 命题逻辑推理理论
习题
第3章 一阶逻辑
3.1 一阶逻辑基本概念
3.2 一阶逻辑等值演算
3.3 一阶逻辑推理理论
习题
第4章 关系
4.1 关系的定义及其表示
4.2 关系的运算
4.3 关系的性质
4.4 等价关系与偏序关系
习题
第5章 函数
5.1 函数的定义及其性质
5.2 函数的复合与反函数
习题
第6章 图
6.1 图的基本概念
6.2 图的连通性
6.3 图的矩阵表示
6.4 几种特殊的图
习题
第7章 树及其应用
7.1 无向树
7.2 根树及其应用
习题
第8章 组合计数基础
8.1 基本计数规则
8.2 排列与组合
8.3 二项式定理与组合恒等式
8.4 多项式定理与多项式系数
习题
第9章 容斥原理
9.1 容斥原理及其应用
9.2 对称筛公式及其应用
习题
第10章 递推方程与生成函数
10.1 递推方程及其应用
10.2 生成函数及其应用
10.3 指数生成函数及其应用
10.4 Catalan数与Stirling数
习题
第11章 初等数论
……
第12章 离散概率
第13章 初等数论和离散概率的应用
第14章 代数系统
查看详情
-
全新
海南省海口市
平均发货15小时
成功完成率84.02%
-
8
九品
河南省郑州市
平均发货5小时
成功完成率98.11%
-
7
九品
北京市昌平区
平均发货7小时
成功完成率97.25%
-
七品
江西省赣州市
平均发货23小时
成功完成率81.6%
-
八品
山东省济南市
平均发货9小时
成功完成率93.63%
-
八五品
湖北省咸宁市
平均发货11小时
成功完成率93.6%
-
全新
海南省海口市
平均发货12小时
成功完成率87.51%
-
八五品
甘肃省兰州市
平均发货15小时
成功完成率87.17%
-
八品
山东省滨州市
平均发货9小时
成功完成率92.52%
-
全新
海南省海口市
平均发货14小时
成功完成率81.41%
-
八五品
山东省滨州市
平均发货9小时
成功完成率93.88%
-
八五品
山东省滨州市
平均发货9小时
成功完成率96.57%
-
2
九五品
重庆市九龙坡区
平均发货10小时
成功完成率88.95%
-
2
九五品
重庆市大渡口区
平均发货16小时
成功完成率80.56%
-
3
2007年 印刷
九品
江苏省连云港市
平均发货3小时
成功完成率96.5%
-
2
九品
江西省南昌市
平均发货52小时
成功完成率100%
-
八五品
安徽省蚌埠市
平均发货11小时
成功完成率97.51%
占位居中
