离散数学教程

图书标准信息

• 作者 耿素云 著
• 出版社 北京大学出版社
• 出版时间 2004-02
• 版次 1
• ISBN 9787301053669
• 定价 49.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 624页
• 字数 981千字
• 正文语种 简体中文

【内容简介】

　　本书共分五编。第一编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。第四编为组合灵敏学，其中包括组合存在性、组合计数、级合设计与编码以及组合最优化。第五编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。
　　本书体系严谨、内容丰富、配有大量的例题和习题，并与计算机科学的理论与实践密切结合。
　　本书不仅适用于计算机及相关专业的本科生或研究生，也可供计算机专业的科技人员使用或参考。

【作者简介】

耿素云，北京大学信息科学技术学院教授。屈婉玲，女，北京大学信息科学技术学院教授，博士生导师，中国人工智能学会离散数学专委会副主任。多年讲授本科生主干基础课离散数学和研究生必修课算法设计与分析。主要研究方向是算法设计与分析。

【目录】

第一编 集合论
第一章集合
第二章二元关系
第三章函数
第四章自然数
第五章基数（势）
第六章序数
第二编 图论
第七章图
第八章欧拉图与哈密顿图
第九章树
第十章图的矩阵表示
第十一章 平面图
第十二章 图的着色
第十三章 支配集、覆盖集、独立集与匹配
第十四章 带权图及其应用
第三编 代数结构
第十五章 代数系统
第十六章 半群与独异点
第十七章 群
第十八章 环与域
第十九章 格与布尔代数
第四编 组合数学
第二十章 组存在性定理
第二十一章 基本的计数公式
第二十二章 组合计数方法
第二十三章 组合计数定理
第二十四章 组合设计与编码
第二十五章 组合最优化问题
第五编 数理逻辑
第二十六章 命题逻辑
第二十七章 一阶谓词演算
第二十八章 消解原理
第二十九章 直觉主义逻辑
附录1 第一编与第二编符号注释与术语索引
附录2 第三编与第四编符号注释与术语索引
附录3 第五编符号注番与术语索引
参考书目和文献