离散数学教程 / 高等院校计算机专业及专业基础课系列教材
￥49.00定价
作者： 耿素云，屈婉玲
出版时间：2002-06
出版社：北京大学出版社
- 北京大学出版社
- 9787301053669
- 1版
- 117417
- 45157561-7
- 平装
- 16开
- 2002-06
- 981
- 634
- 理学
- 数学
- O158
- 信息科学与技术
作者简介
内容简介
《离散数学教程》共分五编。第一编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。第四编为组合灵敏学，其中包括组合存在性、组合计数、级合设计与编码以及组合最优化。第五编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。
目录
第一编 集合论 第一章 集合 第二章 二元关系 第三章 函数 第四章 自然数 第五章 基数（势） 第六章 序数第二编 图论 第七章 图 第八章 欧拉图与哈密顿图 第九章 树 第十章 图的矩阵表示 第十一章 平面图 第十二章 图的着色 第十三章 支配集、覆盖集、独立集与匹配 第十四章 带权图及其应用第三编 代数结构 第十五章 代数系统 第十六章 半群与独异点 第十七章 群 第十八章 环与域 第十九章 格与布尔代数第四编 组合数学 第二十章 组存在性定理 第二十一章 基本的计数公式 第二十二章 组合计数方法 第二十三章 组合计数定理 第二十四章 组合设计与编码 第二十五章 组合最优化问题第五编 数理逻辑 第二十六章 命题逻辑 第二十七章 一阶谓词演算 第二十八章 消解原理 第二十九章 直觉主义逻辑附录1 第一编与第二编符号注释与术语索引附录2 第三编与第四编符号注释与术语索引附录3 第五编符号注番与术语索引参考书目和文献
