离散数学（修订版）
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
本书是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 平面图 书摘：
集合是数学中的一个重要概念，有关集合论的最早文献是康托尔(G.Cantor)在十九世纪末叶发表的。很多数学家认为，所有的数学都可以用集合论中的术语来描述，我们对集合论感兴趣，除了它在现代数学中的重要作用外，还因为它在为计算机科学某些领域中的问题建立数学模型及进行深入探讨时，集合论是十分有用的工具。集合是一个原始的数学概念，它的严谨定义属于数学的一个分支——公理集合论的研究范围，这里只给出集合的一种描述。我们把在某种特定的场合下考察研究的所有对象视为一个整体，这个整体称为集合。考察的对象（又称个体）称为该集合的元素，集合有时简称为集。
|