本书共分12章，内容包含矩阵知识初步、排列组合与数论初步、命题逻辑、谓词逻辑、集合论基础、关系、特殊关系、图论基础、特殊图、代数系统、群论和其他代数系统。本书以训练学生的思维能力为核心，以培养计算机类专业的应用型人才为目的，将计算机数学与算法设计进行有效结合，全面提高学生的程序设计能力和应用创新能力。通过对典型的例题进行分析，培养学生分析问题和解决问题的能力。同时，对一些内容进行延伸，将计算机数学基础与后续的专业知识进行完美结合。 本书可以作为数学类专业、计算机类专业的本科教材，也可以作为程序设计大赛培训的参考用书。

张小峰，鲁东大学信息与电气工程学院副教授，担任鲁东大学ACM教练，长期从事程序设计基础、离散数学、数据结构、算法分析与设计等课程的教学工作。

第2版前言 　　 　　 　　本书自2016年第1版出版以后，已经印刷了8次。在5年多的时间里，许多同行对本书的内容提出了许多中肯的建议，在此深表感谢。 　　近年来，人工智能、大数据、区块链等计算机技术飞速发展，掀起了IT行业和产业的又一次发展热潮。与此同时，教育部自2017年开始积极推进新工科建设，先后形成了“复旦共识”“天大行动”和“北京指南”，并发布了《关于开展新工科研究与实践的通知》《关于推进新工科研究与实践项目的通知》，全力探索形成领跑全球工程教育的中国模式、中国经验，助力高等教育强国建设。2018年11月，教育部高等教育司吴岩司长提出了高校的“金课”标准，即高阶性、创新性、挑战度。按照这个要求，离散数学的课程内容应有效融合学科前沿知识，在计算机类专业的课程体系中呈现基础性、核心性和前沿性的特点。学生通过课程的学习，应达到知识、能力、素质的全面提升，初步具备解决复杂问题的综合能力和高级思维。 　　2016年，编者开始接手所在学院的程序设计创新实验室，带领学生参加国际大学生程序设计竞赛（International Collegiate Programming Contest，ICPC）和中国大学生程序设计竞赛（China Collegiate Programming Contest，CCPC），对离散数学有了全新的理解和认识。按照新工科的理念，离散数学的授课应该与学生程序设计能力、计算思维的培养进行有机地结合，让学生充分体会到离散数学在计算机学科的基础性作用。通过学习离散数学，真正使计算机类专业的学生做到学以致用，学有所长，为以后专业课程的学习奠定必要的计算思维...