离散数学（修）

　　内容提要本书是1985年版的原书的修订版。在保持原有特色的基础上，对部分内容作了增删和修改。全书共七章，介绍了离散数学中关于集合论、代数结构、数理逻辑和图论四个方面的初步知识，选材恰当，叙述严谨，推演完整，举例丰富。每章均配有习题。本书可作为理工和师范类大专院校计算机专业的离散数学教材，也可供从事计算机或相关专业工作的工程技术人员作为参考用书.

暂缺《离散数学（修）》作者简介

第一章　集合论
　§1　基本概念
　§2　集合的运算
　§3　幂集
　§4　n元组和笛卡儿乘积
　§5　一一对应
　§6　可列集
　§7　无限集
第二章　关系和映射
　§1　关系和映射
　§2　关系的运算
　§3　具有某些特殊性质的关系
　§4　等价关系
　§5　部分序关系
第三章　格和布尔代数
　§1　代数系统及其同构
　§2　格
　§3　作为代数系统的格
　§4　有界格、有补格、分配格和模格
　§5　布尔代数
　§6　布尔表达式
第四章　半群与群
　§1　半群和单元半群
　§2　群的定义及其性质
　§3　子群
　§4　循环群
　§5　变换群
第五章　商群
　§1　同余关系和商代数
　§2　陪集和拉格朗日定理
　§3　正规子群和商群
第六章　数理逻辑
　§1　命题演算
　§2　命题演算的推理理论
　§3　定理的自动证明
　§4　谓词演算
　§5　谓词演算的推理理论
第七章　图论
　§1　引论
　§2　基本概念
　§3　路径问题
　§4　树
　§5　平面图