离散数学(第2版)

✍ Scribed by 邵学才 叶秀明

• Publisher: 电子工业出版社
• Year: 2009
• Tongue: Chinese
• Leaves: 300
• Edition: 2
• Category: Library

✦ Synopsis

离散数学是计算机学科重要的基础课程，本书是作者多年教学经验的总结，全书内容包括：集合、二元关
系、函数、代数结构（群、环、域、格和布尔代数）、图论、命题逻辑和谓词逻辑等。本书结构清晰，概念准确，叙述
严谨，有层次地精选了丰富的例题，各章节还配有适量的习题，帮助读者巩固和掌握所学知识。本书还为任课
老师提供电子课件和习题选解。 本书可作为高等学校计算机、信息管理与信息系统、信息与计算科学等专业教材，也适合工程技术人员和
自学者参考。

✦ Table of Contents

封面
书名页
版权页
第2版前言
第1版前言
目录页
第1章 集合
1.1 集合的基本概念
1.2 集合的基本运算
1.3 包含排斥原理
第2章 二元关系
2.1 二元关系及其表示形式
2.2 二元关系的基本类型与判定方法
2.3 等价关系、相容关系和偏序关系
2.4 复合关系、逆关系和关系的闭包运算
第3章 函数
3.1 函数的定义与特殊函数
3.2 复合函数与逆函数
第4章 代数结构
4.1 代数系统
4.2 半群与独异点
4.3 群
4.4 子群
4.5 循环群
4.6 置换群
4.7 陪集和拉格朗日定理
4.8 群同态
4.9 群码
4.10 环和域
4.11 格和布尔代数
第5章 图论
5.1 图的基本概念
5.2 图的连通性和赋权图的最短通路
5.3 树
5.4 欧拉图与哈密顿图
5.5 二部图和平面图
第6章 命题逻辑
6.1 命题与联结词
6.2 真值表与逻辑等价
6.3 范式
6.4 永真蕴含式
6.5 推理理论
第7章 谓词逻辑
7.1 谓词逻辑的基本概念
7.2 等价式与永真蕴含式
7.3 谓词演算的推理理论
参考文献