离散数学教程(高等院校计算机专业及专业基础课系列教材)
点此进入淘宝搜索页搜索分類: 图书,教材教辅与参考书,大学,数理化,
品牌: 耿素云
基本信息·出版社：北京大学出版社
·页码：624 页
·出版日期：2002年
·ISBN：7301053665
·条形码：9787301053669
·包装版本：1版
·装帧：平装
·开本：16
·正文语种：中文
·丛书名：高等院校计算机专业及专业基础课系列教材
产品信息有问题吗？请帮我们更新产品信息。
内容简介《离散数学教程》共分五编。第一编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。第四编为组合灵敏学，其中包括组合存在性、组合计数、级合设计与编码以及组合最优化。第五编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。
编辑推荐《离散数学教程》体系严谨、内容丰富、配有大量的例题和习题，并与计算机科学的理论与实践密切结合。
《离散数学教程》不仅适用于计算机及相关专业的本科生或研究生，也可供计算机专业的科技人员使用或参考。
目录
第一编 集合论
第一章集合
第二章二元关系
第三章函数
第四章自然数
第五章基数（势）
第六章序数
第二编 图论
第七章图
第八章欧拉图与哈密顿图
第九章树
第十章图的矩阵表示
第十一章 平面图
第十二章 图的着色
第十三章 支配集、覆盖集、独立集与匹配
第十四章 带权图及其应用
第三编 代数结构
第十五章 代数系统
第十六章 半群与独异点
第十七章 群
第十八章 环与域
第十九章 格与布尔代数
第四编 组合数学
第二十章 组存在性定理
第二十一章 基本的计数公式
第二十二章 组合计数方法
第二十三章 组合计数定理
第二十四章 组合设计与编码
第二十五章 组合最优化问题
第五编 数理逻辑
第二十六章 命题逻辑
第二十七章 一阶谓词演算
第二十八章 消解原理
第二十九章 直觉主义逻辑
附录1 第一编与第二编符号注释与术语索引
附录2 第三编与第四编符号注释与术语索引
附录3 第五编符号注番与术语索引
参考书目和文献
……[看更多目录]
