本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识,并把理论知识与一系列实际应用联系起来。主要内容包括:命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的教学方法,可以加深学生对离散数学的理解。
本书适合所有学习离散数学的学生,并可作为相关专业的教材。

出版者的话
专家指志委员会
译者序
第1章 导论
1.1 学习动机
1.2 教材内容
1.3 组织结构
第2章 数
2.1 自然数
2.2 Peano算术
2.3 其他类型的数
2.4 附加练习
2.5 练习解答
第3章 命题逻辑
3.1 原子命题
3.2 真值
3.3 否定运算符
3.4 合取运算符
3.5 析取运算符
3.6 蕴合运算符
3.7 等值运算符
3.8 运算的优先级
3.9 重言式、矛盾式和不定式
3.10 真值表
3.11 等值推理
3.12 自然演绎
3.13 附加练习
3.14 练习解答
第4章 集合论
4.1 集合
4.2 单集
4.3 空集
4.4 集合成员
4.5 子集
4.6 超集
4.7 集合的并集
4.8 集合的交集
4.9 集合的差集
4.10 有关集合的推理
……
第5章 布尔代数
第6章 类型集合论
第7章 谓词逻辑
第8章 关系
第9章 函数
第10章 序列
第11章 归纳法
第12章 图论
第13章 组合数学
第14章 应用实例
参考文献

Andrew Simpson目前任教于牛津大学,担任软件工程项目主任。他拥有牛津大学的计算机专业硕士和博士学位。他曾在牛津大学、牛津鲁斯金等学院和北伦敦大学讲授各种层次离散数学课程,拥有丰富的教学经验和理论知识,以在教学中善于结合实际需求著称。