编辑推荐
《离散数学教程》体系严谨、内容丰富、配有大量的例题和习题,并与计算机科学的理论与实践密切结合。
《离散数学教程》不仅适用于计算机及相关专业的本科生或研究生,也可供计算机专业的科技人员使用或参考。
内容简介
本书共分五编。一编为集合论,其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论,其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构,其中包括代数系统的基本概念、几个重要的代数系统:半群、群、环、域、格与布尔代数。第四编为组合灵敏学,其中包括组合存在性、组合计数、级合设计与编码以及组合优化。第五编为数理逻辑,其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。
本书体系严谨、内容丰富、配有大量的例题和习题,并与计算机科学的理论与实践密切结合。
本书不仅适用于计算机及相关专业的本科生或研究生,也可供计算机专业的科技人员使用或参考。
目录
第一编 集合论
第一章 集合
第二章 二元关系
第三章 函数
第四章 自然数
第五章 基数(势)
第六章 序数
第二编 图论
第七章 图
第八章 欧拉图与哈密顿图
第九章 树
第十章 图的矩阵表示
第十一章 平面图
第十二章 图的着色
第十三章 支配集、覆盖集、独立集与匹配
第十四章 带权图及其应用
第三编 代数结构
第十五章 代数系统
第十六章 半群与独异点
第十七章 群
第十八章 环与域
第十九章 格与布尔代数
第四编 组合数学
第二十章 组存在性定理
第二十一章 基本的计数公式
第二十二章 组合计数方法
第二十三章 组合计数定理
第二十四章 组合设计与编码
第二十五章 组合最优化问题
第五编 数理逻辑
第二十六章 命题逻辑
第二十七章 一阶谓词演算
第二十八章 消解原理
第二十九章 直觉主义逻辑
附录1 第一编与第二编符号注释与术语索引
附录2 第三编与第四编符号注释与术语索引
附录3 第五编符号注番与术语索引
参考书目和文献
前言/序言
高等院校计算机专业及专业基础课系列教材:离散数学教程 下载 mobi epub pdf txt 电子书 格式