离散数学解题指导（第2版）

图书标准信息

• 作者 贲可荣；袁景凌；高志华
• 出版社 清华大学出版社
• 出版时间 2016-10
• 版次 1
• ISBN 9787302444695
• 定价 35.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 236页
• 字数 381千字

【内容简介】

本书是根据高等学校计算机教育规划教材《离散数学》(第2版)编写的配套指导用书。全书分为10章，每章包括内容提要、例题精选和习题解答三个部分。内容提要叙述了本章的主要定义、定理和重要公式等内容；例题精选包括一些典型题目及其详细的分析解答；习题解答提供了上述主教材各章习题的答案。本书既可以作为上述主教材的配套教学用书，也可以单独使用，为学习离散数学的读者在解题能力和技巧训练方面提供有益的帮助。

【作者简介】

作者简介：贲可荣  海军工程大学电子工程学院教授、博士生导师。大学教学委员会委员、职称评审委员会委员、研究生教育专家组成员。评为教育部骨干教师、首届湖北省优秀研究生导师。获军队院校育才奖金奖、第三届大学教学名师。中国计算机学会计算机理论专业委员会委员、中国计算机学会软件工程专业委员会委员、中国造船工程学会电子技术学术委员会委员、湖北省计算机学会理事、武汉软件工程学会副理事长。《计算机科学与探索》、《计算机工程与科学》、《中国舰船研究》、中国计算机学会《技术动态》、《海军工程大学学报》编委，《高等学校计算机教育规划教材》编委。担任《海军新军事变革丛书》编委会常务副主任。担任大学首批建设的教学团队负责人。创建了大学军用软件测评中心，为海军装备软件建设发挥重要作用。主编教材《人工智能》获海军优秀教材一等奖，入选普通高等教育“十一五”和“十二五”国家级规划教材。主编教材《离散数学》《软件工程》获海军优秀教材二等奖。主讲课程离散数学、人工智能、软件工程，分别获海军优秀和海军重点立项建设。先后主持和参加了国家自然科学基金等20余个项目。发表论文120余篇。指导毕业46名硕士研究生，9名博士研究生。袁景凌 教授，博士，武汉理工大学计算机科学与技术学院副院长。讲授课程主要离散数学（本科）、计算机专业英语（本科）、分布式并行处理（研究生）等。高志华 讲师，博士，海军工程大学计算机系讲师。讲授课程主要离散数学（本科）、大学计算机基础（本科）、计算机语言与软件（本科）等。

【目录】

目录 

第1章命题逻辑1

1.1内容提要1

1.2例题精选5

1.3应用案例8

1.3.1克雷格探长案卷录8

1.3.2忘却林中的艾丽丝(狮子与独角兽)12

1.3.3忘却林中的艾丽丝(斤斤计与斤斤较)13

1.4习题解答15

第2章谓词逻辑34

2.1内容提要34

2.2例题精选38

2.3应用案例41

2.3.1电路领域的知识工程41

2.3.2一个基于逻辑的财务顾问44

2.4习题解答46

第3章集合与关系60

3.1内容提要60

3.2例题精选65

3.3应用案例69

3.3.1同余关系在出版业中的应用69

3.3.2拓扑排序在建筑工序中的应用70

3.3.3等价关系在软件测试等价类划分中的应用72

3.4习题解答73

第4章函数92

4.1内容提要92离散数学解题指导（第2版）目录4.2例题精选95

4.3应用案例96

4.3.1逢黑必反魔术96

4.3.2生成函数在解决汉诺塔问题中的应用98

4.4习题解答99

第5章组合计数与离散概率111

5.1内容提要111

5.2例题精选115

5.3应用案例118

5.3.1大使馆通信的码字数118

5.3.2条条道路通罗马119

5.4习题解答122

第6章图论127

6.1内容提要127

6.2例题精选133

6.3应用案例135

6.3.1网络爬虫135

6.3.2读心术魔术137

6.3.3高度互联世界的行为原理138

6.4习题解答142

第7章树及其应用161

7.1内容提要161

7.2例题精选163

7.3应用案例166

7.3.1Huffman压缩算法的基本原理166

7.3.2一字棋博奕的极大极小过程168

7.4习题解答170

第8章代数系统177

8.1内容提要177

8.2例题精讲182

8.3应用案例186

8.3.1物理世界中群的应用186

8.3.2群码及纠错能力189

8.4习题解答193

第9章自动机、文法和语言211

9.1内容提要211

9.2例题精选212

9.3应用案例214

9.3.1奇偶校验机214

9.3.2识别地址的有限状态机216

9.3.3语音识别217

9.4习题解答218

第10章初等数论225

10.1内容提要225

10.2例题精选226

10.3应用案例229

10.3.1密码系统与公开密钥229

10.3.2单向陷门函数在公开密钥密码系统中的应用233

10.4习题解答234

参考文献237