离散数学简明教程

图书信息

内容简介

本书主要介绍集合论、关系、函数、近世代数、图论、数理逻辑。并为程序设计、数据结构、数字电路、算法设计与分析等课程打下扎实的基础。对于提高计算机及相关专业学生理解、解决问题的能力非常重要。

目录

1. 离散数学简明教程 目录
2. 第1章 集合论1．1 集合和元素的概念1．2 集合之间的相互关系1．3 集合的运算、文氏图小结习题第2章 关系2．1 关系的基本概念2．2 关系的性质2．3 关系的运算2．4 关系的闭包2．5 等价关系与划分*2．6 相容关系与覆盖*2．7 偏序关系小结习题第3章 函数3．1 函数的基本概念3．2 特殊函数3．3 函数的复合3．4 逆函数小结习题*第4章 无限集4．1 集合的基数4．2 可数集与不可数集小结习题第5章 近世代数5．1 代数运算5．2 代数系统5．3 同态和同构5．4 半群与单元半群5．5 群及相关概念5．6 子群5．7 循环群*5．8 置换群*5．9 陪集、正规子群、商群和同态定理*5．10 环、理想、整环和域5．11 格与布尔代数小结习题第6章 图论6．1 图的基本概念6．2 图的连通性6．3 欧拉图与哈密顿图6．4 图的矩阵表示6．5 权图、*小权通路和*小权回路6．6 树*6．7 二分图*6．8 平面图6．9 有向图小结习题第7章 命题逻辑7．1 命题逻和命题联结词7．2 命题公式和真值表7．3 重言式*7．4 范式*7．5 命题演算的推理理论小结习题第8章 谓词逻辑8．1 谓词、个体和量词8．2 谓词演算公式及其基本永真公式*8．3 前束范式*8．4 谓词演算的推理理论小结习题参考文献
3. 展开全部