简介
本书在编写中,根据原国家教委拟定的高等学校有关课程的教学大纲的要求,针对离散散数学自身的特点,结合多年教学实践,从教与学的实际出发,力求做到教材内容适量,讲解详实,通俗易懂。书中给出了较多典型和富有启发的例题,使抽象的东西具体化,加深了对概念、公式、定理的理解,突出了数学思想方法。每章配有适量习题,书后附有参考解答,既便于教师讲授,又便于学生自学。
本书可作为高等院校计算机专业本科教材和专科教材。专科使用时,代数系统和图论两章可只讲一些基本概念;也可作为成人高校计算机专业的教材;可供专业技术人员、数学工作参考。
目录
离散数学
第一章 命题逻辑
1 命题与关联结词
2 命题公式及其分类
3 等值演算
4 主析取范式与主合取范式
5 命题逻辑的推理理论
习题一
第二章 谓词逻辑
1 谓词概念与表示
2 谓词公式及解释
3 谓词公式的等值式
4 谓词演算的推理理论
习题二
第三章 集合 关系 映射
1 集合的基本概念
2 集合的基本运算
3 笛卡尔积与关系
4 关系的表示与关系的性质
5 关系的运算与闭包
.6 等价关系与划分
7 偏序关系
8 函数的概念
9 复合函数与反函数
习题三
第四章 代数系统
1 二元运算及其性质
2 代数系统及其子代数与积代数
3 代数系统的同态与同构
4 关群与独异点
5 群与子群
6 环与域
7 格布布尔代数
习题四
第五章 图论
1 无向图和有向图
2 路与回路及图的连通性
3 图的矩阵表示
4 欧拉图与哈密尔顿图
5 平面图
6 无向树与有向树
各章习题解答
离散数学(学习指导)
第一章 命题逻辑
1 命题与关联结词
2 命题公式及其分类
3 等值演算
4 主析取范式与主合取范式
5 命题逻辑的推理理论
习题一
第二章 谓词逻辑
1 谓词概念与表示
2 谓词公式及解释
3 谓词公式的等值式
4 谓词演算的推理理论
习题二
第三章 集合 关系 映射
1 集合的基本概念
2 集合的基本运算
3 笛卡尔积与关系
4 关系的表示与关系的性质
5 关系的运算与闭包
.6 等价关系与划分
7 偏序关系
8 函数的概念
9 复合函数与反函数
习题三
第四章 代数系统
1 二元运算及其性质
2 代数系统及其子代数与积代数
3 代数系统的同态与同构
4 关群与独异点
5 群与子群
6 环与域
7 格布布尔代数
习题四
第五章 图论
1 无向图和有向图
2 路与回路及图的连通性
3 图的矩阵表示
4 欧拉图与哈密尔顿图
5 平面图
6 无向树与有向树
各章习题解答
离散数学(学习指导)
离散数学
光盘服务联系方式: 020-38250260 客服QQ:4006604884
云图客服:
用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×