离散数学（微课版）

　　本书是在国家精品课程、国家精品资源共享课程和***一流本科课程“离散数学”的基础上，结合卓越工程师教育培养计划和新工科建设编写而成的。全书共10章，系统介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例，充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。

　　本书编写组成员现为电子科技大学信息与软件工程学院和计算机科学与工程学院“离散数学”课程组教师，长期从事与离散数学密切相关的教学、科研、应用开发和社会服务等方面的工作，主要研究领域包括人工智能、大数据处理与应用、云计算等。 编写组成员长期致力于“离散数学”课程的教学与研究，具有丰富的“离散数学”教学研究经验，取得了丰硕的教学研究成果。2005年“离散数学”课程被评为***精品课程；2008年“离散数学”课程被评为国家双语示范课程；2009年“离散数学”教学团队被评为四川省省级教学团队；2012年“离散数学”被评为教育部精品资源共享课程；2018年“离散数学”课程被评为***精品在线开放课程；2020年编写组成员完成的“以学生为中心”的离散数学课程综合改革与实践”获电子科技大学教学成果二等奖。多人次获得电子科技大学优秀主讲教师、专业核心课程骨干教师等称号。编写组成员先后编写了国家“十一五”规划教材《离散数学及应用（2019年第3版，2013年第2版，2007年第1版）》，《离散数学实验与习题解析》（2007年，高等教育出版社），《离散数学》（2004年，机械工业出版社），《离散数学及其应用》（1997年，电子工业出版社），编写《离散数学及其应用习题解析》（1997年，电子工业出版社），《计算复杂性》（2005年，机械工业出版社），《并行算法及其应用》（2005年，机械工业出版社）；自主研发了集作业发布、撰写、上传、批改及数据统计为一体“离散数学”教学辅助系统，实现了考核方式的科学化和标准化。