离散数学及应用-(第二版) 内容简介
本书是按教育部离散数学教学大纲的精神，并根据笔者多年来从事离散数学课程教学的实践经验以及计算机科研工作经验编写而成。主要内容包括数理逻辑、集合论、图论、代数结构四个基本部分以及应用部分。应用部分主要介绍用计算机化简逻辑函数、形式语言与自动机这两个专题。
本书可作为计算机类各专业的教材，也可作为有关专业的教学用书，并可供有关专业的工程技术人员及具有高中（或职业高中）以上文化水平的读者参考。
离散数学及应用-(第二版) 目录
**篇 数理逻辑
第1章 命题演算
1.1 命题及联结词
1.2 命题变元与命题公式
1.3 命题演算的关系式
1.4 其他联结词
1.5 范式
1.6 命题演算的推理
第2章 谓词演算
2.1 谓词演算的基本概念
2.2 谓词演算的关系式
2.3 前東范式
2.4 谓词演算的推理
习题
学习提要
第二篇 集合论
第3章 集合
3.1 集合的基本概念
3.2 集合的运算及基本公式
3.3 幂集
3.4 包含排斥原理
3.5 集合的直积(笛卡儿乘积)
第4章 关系
4.1 关系及其运算
4.2 关系的有关性质
4.3 关系的闭包运算
4.4 等价关系和相容关系
4.5 偏序关系
第5章 映射与无限集
5.1 映射
5.2 无限集
习题二
学习提要二
第三篇 图论
第6章 图论
6.1 图的基本概念
6.2 图的矩阵表示
6.3 欧拉图与哈密顿图
6.4 树
6.5 平面图
6.6 二分图与匹配
习题三
学习提要三
第四篇 代数结构
第7章 代数结构的基本知识
第8章 半群与群
第9章 环与域
第10章 格与布尔代数
第五篇 离散数学在计算机科学技术中的应用
第11章 用计算机化简逻辑函数
第12章 形式语言与自动机
附录
参考文献
离散数学及应用-(第二版) 节选
《离散数学及应用(第2版)》是按教育部离散数学教学大纲的精神，并根据笔者多年来从事离散数学课程教学的实践经验以及计算机科研工作经验编写而成。主要内容包括数理逻辑、集合论、图论、代数结构四个基本部分以及应用部分。应用部分主要介绍用计算机化简逻辑函数、形式语言与自动机这两个专题。《离散数学及应用(第2版)》可作为计算机类各专业的教材，也可作为有关专业的教学用书，并可供有关专业的工程技术人员及具有高中（或职业高中）以上文化水平的读者参考。
