离散数学（第3版）

陈莉，西北大学信息科学与技术学院教授、博士生导师，陕西省高等学校教学名师。现为中国计算机学会高级会员、中国人工智能学会离散智能计算专委会副主任委员、中国体视学学会图像分析分会常务理事；陕西省计算机学会及陕西省信号处理学会常务理事。主持和承担国家科技支撑计划课题、科技部重大仪器专项、国家自然科学基金、国防973及省部级项目多项，是国家科技支撑计划项目的首席专家；发表学术论文100余篇，其中三大检索论文30余篇；获发明专利2项，获软件著作权10余项；获陕西省高等学校科学技术一等奖。主持和承担省部级教学研究项目和校级教学研究项目多项；是国家、省级教学团队骨干成员；获国家教学成果二等奖、陕西省教学成果特等奖、一等奖及二等奖多项；获陕西省优秀教材奖；获陕西省优秀青年教师称号；获西北大学教学成果特等奖、一等奖及二等奖数项；获西北大学优秀教学质量一等奖和青年教师讲课比赛一等奖；主持省、校级精品课程“离散数学”；主编“十一五”“十二五”普通高等教育本科国家级规划教材，出版专著及教材4部，发表教学研究类论文20余篇。刘晓霞，西北大学信息科学与技术学院教授，硕士生导师。作为访问学者在美国伊利诺伊大学厄巴纳一香槟分校（UIUC）计算机系和丹麦哥本哈根大学计算机系开展合作研究。主要从事智能信息处理方面的研究工作。主持和承担国家自然科学基金、航空科学基金、陕西省自然科学基金、陕西省教育厅专项基金等多项科研项目；在核心期刊发表论文30余篇；主持和承担国家、省级、校级精品课程，校重点课程，校质量工程双语课程建设等多项教学项目；出版教材2部，其中普通高等教育“十一五”国家级规划教材1部；获省级教学成果奖、省优秀教材奖等多项奖励；是国家、省级教学团队骨干成员；西北大学“112”人才；多次获西北大学优秀教师称号。