具体描述
内容提要
本书是1985年版的原书的修订版。在保持原有特色的
基础上，对部分内容作了增删和修改。
全书共七章，介绍了离散数学中关于集合论、代数结
构、数理逻辑和图论四个方面的初步知识，选材恰当，叙述
严谨，推演完整，举例丰富。每章均配有习题。
本书可作为理工和师范类大专院校计算机专业的离散
数学教材，也可供从事计算机或相关专业工作的工程技术
人员作为参考用书.
作者简介
目录信息
目录
第一章 集合论
§1基本概念
§2 集合的运算
§3 幂集
§4 n元组和笛卡尔乘积
§5 一一对应
§6 可列集
§7 无限集
第二章 关系和映射
§1 关系和映射
§2 关系的运算
§3 具有某些特殊性质的关系
§4 等价关系
§5 部分序关系
第三章 格和布尔代数
§1 代数系统及其同构
§2 格
§3 作为代数系统的格
§4 有界格、有补格、分配格和模格
§5 布尔代数
第四章 半群与群
§1 半群与单元半群
§2 群的定义及其基本性质
§3 子群
§4 循环群
§5 变换群
第五章 商群
§1 同余关系和商代数
§2 陪集和拉格朗日定理
§3 正规子群和商群
第六章 数理逻辑
§1 命题演算
§2 命题演算的推理理论
§3 定理的自动证明
§4 谓词演算
§5 谓词演算的推理理论
第七章 图论
§1 引论
§2 基本概念
§3 路径问题
§4 树
§5 平面图
· · · · · · (收起)
第一章 集合论
§1基本概念
§2 集合的运算
§3 幂集
§4 n元组和笛卡尔乘积
§5 一一对应
§6 可列集
§7 无限集
第二章 关系和映射
§1 关系和映射
§2 关系的运算
§3 具有某些特殊性质的关系
§4 等价关系
§5 部分序关系
第三章 格和布尔代数
§1 代数系统及其同构
§2 格
§3 作为代数系统的格
§4 有界格、有补格、分配格和模格
§5 布尔代数
第四章 半群与群
§1 半群与单元半群
§2 群的定义及其基本性质
§3 子群
§4 循环群
§5 变换群
第五章 商群
§1 同余关系和商代数
§2 陪集和拉格朗日定理
§3 正规子群和商群
第六章 数理逻辑
§1 命题演算
§2 命题演算的推理理论
§3 定理的自动证明
§4 谓词演算
§5 谓词演算的推理理论
第七章 图论
§1 引论
§2 基本概念
§3 路径问题
§4 树
§5 平面图
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有