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

出版者的话
专家指志委员会
译者序
第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章 应用实例
参考文献