本书获评全国高等学校计算机教育研究会“十四五”规划教材,是一本面向应用型本科的离散数学教程。书中系统介绍了离散数学的基本定义、定理和性质等基础知识,着重引导学生通过学习离散概念建立计算机思维意识。
全书共分为4部分:第1部分(1~3章)集合论,着重介绍了集合、关系和映射;第2部分( 4~5章)数理逻辑,着重介绍了命题逻辑和谓词逻辑;第3部分( 6~8章)图论,着重介绍了图、欧拉图和哈密尔顿图,树、二部图和平面图等特殊图;第4部分( 9~11章)代数系统,着重介绍了代数结构、环与域、格与布尔代数。
本书适合作为高等院校计算机相关本科生的教材或参考书,特别是作为离散数学教学改革探索者的教材或参考书。
●对知识点提供算法思想描述,让学生直观理解离散数学理论与计算机专业课程之间的联系。
●按难易度分级设置章节习题,方便不同层次读者参考,另有在线题库系统,可供教师组卷或学生自测。
●配套课件、教学大纲和进度表、思政版教案等教学资源,为教师备课提供便利。
吴昊,珠海科技学院副教授,珠海市科技工贸和信息化专项资金管理系统专家。承担多项纵向和横向科研项目,指导多项大学生创新创业训练计划项目和ACM学科竞赛等,通过“IBM Certified Database Administrator”、“微软高级软件研发主管”等多项专业技术资格认证,获得2016年度中国商业联合会科学技术奖——全国商业科技进步奖一等奖等多项奖励。从事离散数学教学工作16年,研究方向为机器学习、数据挖掘与知识发现、软件工程应用等。
梁艳春,二级教授,博士生导师,现任珠海科技学院计算机学院院长,广东省南粤优秀教师,国务院政府特殊津贴获得者。广东省计算机应用技术优势重点学科带头人,国家级一流本科专业(计算机科学与技术)建设点负责人。担任教育部高等学校科学研究优秀成果奖评委,科技部重点研发计划项目评审专家,国家自然科学基金项目评审专家,国家科学技术奖评审专家。全国高等学校计算机教育研究会理事,中国生物信息学会(筹)理事,澳门生物信息学会理事。研究方向为机器学习、计算智能、生物信息学。主持完成国家自然科学基金项目、863项目、欧盟项目和省部级科研项目20余项。获得省部级科技进步奖特等奖/一等奖7项、二等奖4项,获得国家发明专利7项,出版学术著作4部。发表学术论文480余篇。连续7年(2014-2020)入选Elsevier计算机科学领域中国高被引学者榜单。
李雄飞,吉林大学教授,博士生导师。研究方向为人工智能与大数据分析。承担国家科技攻关项目、国家高技术发展计划(“863”计划)项目、国家自然科学基金项目8项,省部级科技项目近20项。发表学术论文180余篇,获省级科技进步二、三等奖各1次。
郭夕敬,珠海科技学院讲师,研究方向为Hopf代数。任教16年,主持多项科研项目,发表多篇学术论文,出版多部学术专著,多次参与“数学建模”竞赛培训,参赛多次获奖。获得多次先进工作者及优秀教师荣誉称号。