微信扫一扫,移动浏览光盘
简介
本书系统地介绍了离散数学基础知识。主要内容有命题逻辑、谓词逻辑、集合、二元关系、函数、代数、群论、格与布尔代数、图论和特殊图等。本书具有内容系统、概念清晰、证明严谨的特点，各部分相对独立而又相互联系，各章都配有典型的例题，各节后还配有适量的习题，以便于读者理解和掌握所学的知识。
本书可作为高等理工院校计算机软件和应用专业的本科、研究生教材，也可以供有关从事计算机工程的技术人员参考。
目录
第1章 命题逻辑
第1节 命题
第2节 重言式
第3节 范式
第4节 推理规则和证明方法
第2章 谓词逻辑
第1节 谓词和量词
第2节 谓词演算的永真式
第3节 谓词演算的推理规则
第3章 集合
第1节 集合论的基本概念
第2节 集合上的运算
第3节 归纳法和自然数
第4节 集合的笛卡儿乘积
第4章 二元关系
第1节 基本概念
第2节 关系的合成运算
第3节 关系上的闭包运算
第4节 次序关系
第5节 等价关系和划分
.第5章 函数
第1节 函数的基本概念
第2节 特殊函数类
第6章 代数
第1节 代数结构
第2节 子代数
第3节 同态
第4节 同余关系
第5节 商代数与积代数
第7章 群论
第1节 半群和独异点
第2节 群与子群
第3节 特殊群
第4节 环和域
第8章 格与布尔代数
第1节 格
第2节 格是代数系统
第3节 特殊格
第4节 布尔代数
第9章 图论
第1节 图的基本概念
第2节 路径和回路
第3节 图的矩阵表示
第10章 特殊图
第1节 二部图
第2节 平面图
第3节 树
第4节 有向树
参考文献
第1节 命题
第2节 重言式
第3节 范式
第4节 推理规则和证明方法
第2章 谓词逻辑
第1节 谓词和量词
第2节 谓词演算的永真式
第3节 谓词演算的推理规则
第3章 集合
第1节 集合论的基本概念
第2节 集合上的运算
第3节 归纳法和自然数
第4节 集合的笛卡儿乘积
第4章 二元关系
第1节 基本概念
第2节 关系的合成运算
第3节 关系上的闭包运算
第4节 次序关系
第5节 等价关系和划分
.第5章 函数
第1节 函数的基本概念
第2节 特殊函数类
第6章 代数
第1节 代数结构
第2节 子代数
第3节 同态
第4节 同余关系
第5节 商代数与积代数
第7章 群论
第1节 半群和独异点
第2节 群与子群
第3节 特殊群
第4节 环和域
第8章 格与布尔代数
第1节 格
第2节 格是代数系统
第3节 特殊格
第4节 布尔代数
第9章 图论
第1节 图的基本概念
第2节 路径和回路
第3节 图的矩阵表示
第10章 特殊图
第1节 二部图
第2节 平面图
第3节 树
第4节 有向树
参考文献
离散数学[电子资源.图书]
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
