普通高等院校计算机类专业规划教材 离散数学
作者：任长安，罗丹霞主编
出版时间：2019年版
丛编项： 普通高等院校计算机类专业规划教材
内容简介
《离散数学/普通高等院校计算机类专业规划教材》介绍了离散数学基础知识和应用方法，全书共分为4篇，第1篇为数理逻辑，内容包括命题逻辑和一阶逻辑；第2篇为集合论，内容包括集合、二元关系和函数；第3篇为代数系统，内容包括代数结构和格与布尔代数；第4篇为图论，内容包括图的基本概念及表示、几类重要的图和树。《离散数学/普通高等院校计算机类专业规划教材》在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，各章配备了大量的例题，其内容与计算机科学的理论与实践密切结合，便于自学。《离散数学/普通高等院校计算机类专业规划教材》适合作为普通高等院校计算机类专业本科生的教材，也可供计算机专业的科技人员使用或参考。
目录
第1篇 数理逻辑
第1章 命题逻辑
1．1 命题逻辑的基本概念
1．1．1 命题
1．1．2 联结词
1．2 命题公式及其分类
1．2．1 合式公式及层次
1．2．2 真值赋值及公式分类
1．3 真值表和真值函数
1．3．1 真值表
1．3．2 真值函数
1．4 等值式与等值演算
1．5 联结词完备集
1．6 范式
1．7 命题逻辑的推理理论
1．7．1 推理的形式结构
1．7．2 自然推理系统P
习题
第2章 一阶逻辑
2．1 谓词与量词
2．2 一阶语言
2．2．1 一阶语言的定义
2．2．2 解释和赋值
2．2．3 公式的分类
2．3 一阶逻辑的等值演算
2．3．1 等值演算
2．3．2 前束范式
2．4 一阶逻辑的推理理论
2．4．1 推理定律
2．4．2 推理规则
习题
第2篇 集合论
第3章 集合
3．1 集合的概念及其表示
3．2 集合的基本运算
3．3 有限集计数问题
习题
第4章 二元关系
4．1 有序对与笛卡儿积
4．3 二元关系的性质
4．4 二元关系的运算
4．4．1 关系的基本运算
4．4．2 关系的闭包
4．4．3 闭包的复合
4．5 特殊关系及其性质
4．5．1 等价关系
4．5．2 相容关系
4．5．3 序关系
习题
第5章 函数
5．1 函数的基本概念
5．2 逆函数与复合函数
5．2．1 逆函数
5．2．2 复合函数
习题
第3篇 代数系统
第6章 代数结构
6．1 代数系统的基本概念
6．1．1 代数运算
6．1．2 代数系统
……
第4篇 图论
参考文献
