离散数学题解（第六版）

图书标准信息

• 作者 耿素云、屈婉玲、张立昂 著
• 出版社 清华大学出版社
• 出版时间 2022-01
• 版次 1
• ISBN 9787302593201
• 定价 39.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 188页
• 字数 285千字

【内容简介】

本书是《离散数学(第六版)》(耿素云、屈婉玲、张立昂编著，清华大学出版社出版)一书的配套题解。

 

    全书包括数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6部分。每部分均包含内容提要、与本部分配套的习题、习题解答3方面内容。对每道题都做了较详细的解答与分析，对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因。

 

    本书可作为与《离散数学（第六版）》配套的辅助教材，也可作为其他离散数学教材的参考书。

 

【作者简介】

耿素云,北京大学信息科学技术学院教授，常年从事离散数学、概率统计、算法与计算复杂性理论的教学和研究，发表论文多篇。

【目录】

目录

 

第1章命题逻辑1

 

内容提要1

 

习题6

 

习题解答11

 

第2章一阶逻辑28

 

内容提要28

 

习题31

 

习题解答34

 

第3章集合的基本概念和运算41

 

内容提要41

 

习题43

 

习题解答47

 

第4章二元关系和函数53

 

内容提要53

 

习题57

 

习题解答62

 

第5章图的基本概念71

 

内容提要71

 

习题74

 

习题解答77

 

第6章特殊的图86

 

内容提要86

 

习题88

 

习题解答91

 

第7章树97

 

内容提要97

 

习题99

 

习题解答101

 

第8章组合分析初步108

 

内容提要108

 

习题110

 

习题解答113

 

第9章代数系统简介128

 

内容提要128

 

习题134

 

习题解答139

 

第10章形式语言和自动机初步153

 

内容提要153

 

习题156

 

习题解答161