离散数学导学

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

　　本书适合所有学习离散数学的学生，并可作为相关专业的教材。

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