"本书在湖南省一流本科课程“离散数学”的基础上，结合十几年针对不同培养类型学生的教学实践经验编写而成。全书共 7章，系统介绍集合、关系、函数、命题逻辑、谓词逻辑、自然推理系统，以及图论的基本概念、定理、算法和常用证明方法。本书不仅重视离散数学的基础知识，还特别注重通过程序设计展示离散数学基本概念与基本算法；不仅关注每一章知识的应用，还着重展示多章节内容之间的关联与综合应用；不仅介绍离散数学问题基于基本概念与定理的解决方法，还重视这些解决方法的自动化问题。充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。 本书体系严谨，内容丰富，配有丰富的习题与在线实训。本书可作为计算学科各专业及其他相关专业的教材，也可作为从事相关专业的工程师和研究人员的参考书籍。 "

李暾，博士，教授，研究方向为电子设计自动化、微处理器设计与验证等，发表论文70余篇，他引230余次，获军队科技进步二等奖1次。从教16年，主讲《离散数学》、《软件体系结构》、《高级软件工程》、《计算机程序设计》等本科与研究生课程，获军队院校育才奖银奖1次，国家教学成果二等奖、军队教学成果奖一、三等奖、湖南省教学成果奖二、三等奖等成果奖多次。

前言 习近平总书记在党的二十大报告中指出：教育、科技、人才是全面建设社会主义现 代化国家的基础性、战略性支撑。必须坚持科技是第一生产力、人才是第一资源、创新 是第一动力，深入实施科教兴国战略、人才强国战略、创新驱动发展战略，这三大战略 共同服务于创新型国家的建设。报告同时强调：推动战略性新兴产业融合集群发展，构 建新一代信息技术、人工智能、生物技术、新能源、新材料、高端装备、绿色环保等一 批新的增长引擎。 计算是推动战略性新兴产业融合集群发展，构建新一代信息技术、人工智能、生物 技术、新能源、新材料、高端装备、绿色环保等一批新的增长引擎的必备工具之一。“离 散数学”作为计算学科相关各专业的一门重要学科基础课或专业必修课，其重要性已得 到广泛的认可。“离散数学”课程为各专业提供理论基础，承担着培养学生严谨思维能 力、增强学生应对复杂问题及复杂问题求解能力，以及培养学生创新能力、提高学术素 养的重要任务。 因此，我们认为离散数学不应仅仅是一门纯数学课程，还应注重离散数学与各学科 间的关系，注重离散数学基础知识在相关课程中的体现与应用，注重借助计算解决离散 数学的自身问题。但在实际教学中，本课程的学习与各专业后续课程的教学存在脱节情 况，例如，将本课程当作纯数学课程讲授、所学内容难以找到合适的应用加以实践、所 学内容与软件开发脱节等。 在湖南省一流本科课程“离散数学”的基础上，结合十几年针对不同培养类型学生 的教学实践经验，我们撰写了本书，力求兼顾理论教学与计算学科各专业教学，展示以 课程自身内容为载体的应用及实践，链接各专业后续课程。 ...