离散数学基础

出版时间：2009-10  出版社：洪帆 华中科技大学出版社 (2009-10出版)  作者：洪帆 编  页数：291  

内容概要

　　离散数学是计算机科学的理论基础，是计算机学科的核心课程，对于培养学生抽象思维、逻辑推理和分析问题的能力起着重要的作用。　　《离散数学基础（第3版）》系统地介绍了离散数学四个部分的内容：集合论、代数结构、图论和数理逻辑。全书共分l0章，主要包括集合、关系、函数；代数系统、群、环和域、格和布尔代数；图论；命题逻辑、谓词逻辑。内容的安排由简单到复杂，由直观到抽象，循序渐进，便于学生理解和接受，叙述中概念清晰，推理严谨，并配有较多的例题和习题。　　《离散数学基础（第3版）》可作为高等学校计算机及相关专业的教材，也可供从事计算机科学、自动控制、电子工程等专业的科学工作者及工程技术人员参考。

书籍目录

第1章 集合1.1 集合1.2 集合的包含和相等1.3 幂集1.4 集合的运算1.5 文氏图1.6 集合成员表1.7 集合运算的定律1.8 分划1.9 集合的标准形式1.10 多重集合1.11 实例解析习题第2章 关系2.1 笛卡儿积2.2 关系2.3 关系的复合2.4 复合关系的关系矩阵和关系图12.5 关系的性质与闭包运算2.6 等价关系2.7 偏序2.8 实例解析习题第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 积代数4.6 实例解析习题第5章 群5.1 半群和独异点5.2 群的定义5.3 群的基本性质5.4 子群及其陪集5.5 正规子群与满同态5.6 实例解析习题第6章 环和域6.1 环6.2 子环与理想子环6.3 理想与满同态6.4 域6.5 实例解析习题第7章 格和布尔代数7.1 偏序集7.2 格及其性质7.3 格是一种代数系统7.4 分配格和有补格7.5 布尔代数7.6 有限布尔代数的同构7.7 布尔代数w7.8 布尔表达式和布尔函数7.9 实例解析习题第8章 图论8.1 基本概念8.2 图的矩阵表示8.3 图的连通性8.4 欧拉图和哈密顿图8.5 树8.6 有向树8.7 二部图8.8 平面图8.9 有向图8.1 0实例解析习题第9章 命题逻辑9.1 命题和命题联结词9.2 命题公式9.3 命题公式的等值关系和蕴含关系9.4 范式9.5 命题演算的推理理论9.6 实例解析习题第10章 谓词逻辑10.1 谓词、个体和量词10.2 谓词逻辑公式及解释10.3 谓词演算的永真公式10.4 前束范式10.5 谓词演算的推理理论10.6 实例解析习题参考文献

章节摘录

版权页：插图：

编辑推荐

《离散数学基础(第3版)》由华中科技大学出版社出版。

用户评论 (总计2条)

•   好书 推荐 ，，，，，，
•   找了好久，能在亚马逊上找到不容易