简介
本书系统介绍了数理逻辑、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学在计算机中的应用，并给出了大
量的例子和应用实例。
本书可作为工科院校有关专业学生的必修课教材，也适用于计算机专业的科技人员及学生使用。
目录
出版说明
前言
第1篇 预备知识
第1章 集合基础
1.1 集合与子集
1.2 集合的运算
1.3 无限集的基本概念
1.4 有限集合的计数
1.5 习题
第2章 序列（有序组）
2.1 序列与子序列
2.2 序列的运算
2.3 习题
第3章 整数中的除法
3.1 整除
3.2 最大公因子
3.3 最小公部数
3.4 习题
第4章 矩阵的基础知识
4.1 矩阵的定义
. 4.2 矩阵的运算及性质
4.3 布尔矩阵及运算
4.4 习题
第2篇 数理逻辑
第5章 命题逻辑
5.1 命题与命题联结词
5.2 命题公式、解释与真值表
5.3 联结词的完备集
5.4 范式
5.5 命题逻辑的推理论
5.6 习题
第6章 谓词逻辑
6.1 谓词逻辑中的基本概念与表示
6.2 谓词公式与解释
6.3 范式
6.4 谓词演算的演绎与推理
6.5 习题
第7章 数理逻辑在计算机科学中的应用
7.1 命题逻辑在计算机科学中的应用
7.2 谓词逻辑在计算机科学中的应用
第3篇 二元关系
第8章 二元关系
第9章 特殊关系
第10章 函数
第11章 关系在计算机科学中的应用
第4篇 图论
第12章 图
第13章 特殊图
第14章 图论在计算机科学中的应用
第5篇 代数系统与布尔代数
第15章 代数系统
第16章 群论
第17章 环与域
第18章 格与布尔代数
第19章 代数系统的应用
前言
第1篇 预备知识
第1章 集合基础
1.1 集合与子集
1.2 集合的运算
1.3 无限集的基本概念
1.4 有限集合的计数
1.5 习题
第2章 序列（有序组）
2.1 序列与子序列
2.2 序列的运算
2.3 习题
第3章 整数中的除法
3.1 整除
3.2 最大公因子
3.3 最小公部数
3.4 习题
第4章 矩阵的基础知识
4.1 矩阵的定义
. 4.2 矩阵的运算及性质
4.3 布尔矩阵及运算
4.4 习题
第2篇 数理逻辑
第5章 命题逻辑
5.1 命题与命题联结词
5.2 命题公式、解释与真值表
5.3 联结词的完备集
5.4 范式
5.5 命题逻辑的推理论
5.6 习题
第6章 谓词逻辑
6.1 谓词逻辑中的基本概念与表示
6.2 谓词公式与解释
6.3 范式
6.4 谓词演算的演绎与推理
6.5 习题
第7章 数理逻辑在计算机科学中的应用
7.1 命题逻辑在计算机科学中的应用
7.2 谓词逻辑在计算机科学中的应用
第3篇 二元关系
第8章 二元关系
第9章 特殊关系
第10章 函数
第11章 关系在计算机科学中的应用
第4篇 图论
第12章 图
第13章 特殊图
第14章 图论在计算机科学中的应用
第5篇 代数系统与布尔代数
第15章 代数系统
第16章 群论
第17章 环与域
第18章 格与布尔代数
第19章 代数系统的应用
离散数学
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
