离散数学

内容简介

[

　　《离散数学》共分4篇8章，分别介绍数理逻辑、集合论、图论和代数系统四个专题。内容体系严谨，叙述深入浅出，证明推演详尽。在每一专题后，给出相关知识的应用实例，并且在每一章后配有相当数量的习题。为便于学习，《离散数学》配有多媒体课件及习题解答。　　《离散数学》可作为高等院校计算机科学与技术专业及软件工程专业的教材，也可作为其他相关专业的教学用书，并可供计算机科研和工程技术人员参考。

]

目录

前言**篇 数理逻辑第1章 命题逻辑1．1 命题及命题联结词1．2 命题公式及其类型1．3 等价式与蕴涵式1．4 对偶与范式1．5 推理与证明1．6 命题逻辑的应用小结习题一第2章 谓词逻辑2．1 谓词逻辑基本概念2．2 谓词公式及命题符号化2．3 变元的约束2．4 谓词演算的等价式和蕴涵式2．5 谓词公式的范式2．6 谓词演算的推理理论小结习题二第二篇 集合论第3章 集合论基础3．1 集合的基本概念3．2 集合的运算3．3 集合的划分与覆盖3．4 包含排斥原理3．5 数学归纳法3．6 集合的计算机表示小结习题三第4章 二元关系4．1 关系的概念4．2 关系的性质4．3 关系的运算4．4 关系的闭包运算4．5 等价关系和等价类4．6 相容关系和相容类4．7 序关系和哈斯图4．8 关系的应用小结习题四第5章 函数5．1 函数的概念5．2 函数的运算5．3 集合的基数5．4 基数的比较5．5 特征函数的应用小结习题五第三篇 图论第6章 图论6．1 图的基本概念6．2 路和图的连通性6．3 图的矩阵表示6．4 欧拉图和哈密尔顿图6．5 平面图及对偶图6．6 图的着色6．7 树与生成树6．8 根树及其应用6．9*短路径问题6．1 0图论的应用小结习题六第四篇 代数系统第7章 代数结构7．1 代数系统的基本概念7．2 半群与独异点7．3 群与子群7．4 阿贝尔群与循环群7．5 陪集与拉格朗日定理7．6 同态与同构7．7 环与域小结习题七第8章 格与布尔代数8．1 格8．2 特殊格8．3 布尔代数8．4 布尔表达式小结习题八参考文献

封面

书名:离散数学

作者:郝林

页数:305

定价:¥49.0

出版社:科学出版社

出版日期:2016-02-26

ISBN:9787030343444

PDF电子书大小:85MB 高清扫描完整版