|
离散数学教程 内容简介
本书全面介绍了计算机专业**的离散数学基础知识，全书共分10章，内容包括数理逻辑，集合。关系，函数，无限集和基数，代数系统概论，群、环和域，格与布尔代数，图论，模型论浅述。
本书按照认识论的规律介绍知识，用方法论指导定理证明与推导。因此，本书的介绍深人浅出，特别适合于作为高等院校理工科各专业本科生的教材，也适合于相关领域的科技工作者参考使用。
离散数学教程 目录
第1章 数理逻辑
1.1 命题逻辑的基本概念
1.2 命题逻辑中的推理规则和证明方法
1.3 命题演算与公理系统
1.4 一阶谓词逻辑的基本概念
1.5 谓词演算的推理规则与证明方法
1.6 自动定理证明与消解原理
1.7 robinson消解原理
1.8 horn子句问题求解逻辑
第2章 集合
2.1 集合的基本概念和表示方法
2.2 集合的运算
2.3 归纳定义与归纳证明
2.4 归纳证明
2.5 语言的“并置”运算、“幂”运算和“闭包”运算
第3章 关系
3.1 关系的基本概念
3.2 关系的性质
3.3 关系的复合运算
3.4 关系的幂运算
3.5 逆关系及其性质
3.6 关系的闭包运算
3.7 次序关系
3.8 等价关系与划分
3.9 相容关系
第4章 函数
4.1 基本概念
4.2 特殊函数类
4.3 逆函数
4.4 置换
4.5 运算
第5章 无限集和基数
5.1 无限集的基本概念
5.2 可数集与不可数集
5.3 不可数无限集及其基数
5.4 基数的比较
5.5 无限集合的特性
第6章 代数系统
6.1 代数系统的组成与分类
6.2 代数系统的公理
6.3 代数运算的规则和特异元素
6.4 子代数
6.5 常见代数系统的实例
6.6 代数系统的同构与同态
6.7 同余关系
6.8 商代数和积代数
第7章 群、环和域
7.1 半群和独异点
7.2 群
7.3 环和域
第8章 格与布尔代数
8.1 格是满足一定条件的偏序集合
8.2 格是满足一定公理的代数系统
8.3 子格与格的积代数
8.4 格的同态与同构
8.5 特殊格
8.6 布尔代数
第9章 图论
9.1 图的基本概念
9.2 路径和回路
9.3 图的矩阵表示
9.4 平面图
9.5 二部图（偶图）
9.6 树
9.7 根树（有向树）
9.8 支撑树和割集
第10章 模型论浅述
10.1 逻辑科学的发展概要
10.2 数理逻辑的形成与发展
10.3 模型论的发展历史
10.4 模型论的研究内容
10.5 模型论的研究方法
参考文献
|
