图书简介：

内容提要：

图书目录：

图书简介：

作/译者：[美]约翰索鲍出版社：人民邮电出版社

出版日期：2003年09月ISBN：9787115103543 [十位:7115103542]

页数：638 重约：1.023KG

定价：￥68.00

旧书普通用户价：￥27.20 为您节省：￥40.80

旧书VIP用户价：￥24.50 为您节省：￥43.50

内容提要：

本书从算法和问题求解的角度介绍离散数学。

全书分为11章,内容包括逻辑与证明,集合、关系与函数,算法,排列组合、鸽笼原理、古典概率,递归关系,图的基本概念,树及其应用,网络模型,Boole代数与组合电路,自动机、文法和语言,计算几何等。每一章包括要点、章节回顾、章节测试和上机练习。全书共有500个精选实例,3500个练习题,135个上机练习题,对于读者学习、理解和应用离散数学理论有很大帮助。

本书适合作为高等院校计算机相关专业离散数学课程的教材,也适合读者自学。

图书目录：

第1章 逻辑与证明 1

1.1 命题 1

本节复习 5

练习 5

1.2 条件命题与逻辑等价 7

本节复习 11

练习 11

1.3 量词 13

本节复习 22

练习 22

1.4 证明 25

本节复习 30

练习 30

1.5 归结证明 33

本节复习 35

练习 35

1.6 数学归纳法 36

本节复习 40

练习 40

问题求解:数学归纳法 44

注释 46

本章复习 46

本章自测题 48

上机练习 49

第2章 数学语言 50

2.1 集合 50

本节复习 55

练习 56

2.2 序... [显示全部]