本书包括以下6个方面的内容:(1)数理逻辑;(2)集合论;(3)代数结构;(4)图论;(5)组合分析初步;(6)形式语言与自动机初步。
书中概念论述清楚,讲解详实,通俗易懂,并且着重于概念的应用,而不着重于定理的证明,每章后均附有习题。
本书可以作为计算机及相关专业本科生的教材,也可以作为计算机软件专业水平考试的参考书,同时还可以供从事计算机软件、硬件研究开发和应用的人员使用,另有配套教材《离散数学题解》。
目录
- 第一章 命题逻辑
- 1 命题符号化及联结词
- 2 命题公式及分类
- 3 等值演算
- 4 联结词全功能集
- 5 对偶与范式
- 6 推理理论
- 7 题例分析
- 习题
- 第二章 一阶逻辑
- 1 一阶逻辑基本概念
- 2 一阶逻辑合式公式及解释
- 3 一阶逻辑等值式
- 4 一阶逻辑推理理论
- 5 题例分析
- 习题
- 第三章 集合的基本概念和运算
- 1 集合的基本概念
- 2 集合的基本运算
- 3 集合中元素的计数
- 4 题例分析
- 习题
- 第四章 二元关系和函数
- 1 集合的笛卡儿积与二元关系
- 2 关系的运算
- 3 关系的性质
- 4 关系的闭包
- 5 等价关系与偏序关系
- 6 函数的定义和性质
- 7 函数的定义和性质
- 8 题例分析
- 习题
- 第五章 代数系统的一般性质
- 1 二元运算及其性质
- 2 代数系统及其子代数和各代数
- 3 代数系统的同态与同构
- 4 题例分析
- 习题
- 第六章 几个典型的代数系统
- 1 半群与群
- 2 环与域
- 3 格与布尔代数
- 4 题例分析
- 习题
- 第七章 图的基本概念
- 1 无向图及有向图
- 2 通路、回路、图的连通性
- 3 图的矩径及关键路径
- 4 最短路径及关键路径
- 5 题例分析
- 习题
- 第八章 一些特殊的图
- ……
- 第九章 树
- 第十章 组合分析初步
- 第十一章 形式语言和自动机初步