B122CC《离散数学》课程描述-南京大学软件学院.PDF

南京大学软件工程专业本科教程——附录B ：专业基础/核心课程描述 B122CC ：《离散数学》课程描述 0 课程基本信息 课程编号： B122CC 课程名称： 离散数学 英文名称： Discrete Mathematics 英文简称： DS 预备课程： 无 授课时间： 一年级第二学期 时间分配： 课堂教学（64 课时）＋课后作业与阅读（64 课时） 学分数： 4 1 课程简介 本课程是软件工程专业的专业基础课程。离散数学是计算机科学与技术的基础知识，属于现 代数学的范畴，主要研究离散量的结构及其相互关系。本课程主要内容包括：集合论与常用数学 结构、逻辑与推理证明、排列组合、关系与函数、偏序关系与格、树及其相关算法、图论和群论 与半群等。本课程注重为学生的专业学习及将来的学术、应用研究打下坚实的基础，培养学生的 抽象思维和严格逻辑推理的能力。 2 教材与参考资料 2.1 教材与指定阅读材料 1) Bernard Kolman, Robert C. Busby, Sharon Cutler Ross, Discrete Mathematical Structures , (Fifth Edition), Prentice Hall, 2005 （对照中译本：罗平译, 离散数学结构（第五版），高等教育出 版社，2005 ） 2.2 参考资料 1) Kenneth Rosen, Discrete Mathematics and Its Applications, (Sixth Edition), McGraw-Hill Higher Education, 2007 2) Ralph P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction (Fifth Edition), Addison Wesley, 2003 3) Norman L. Biggs, Discrete Mathematics (Second Edition), Oxford University Press 4) Richard Johnsonbaugh, Discrete Mathematics (Sixth Edition), Macmillan, 2004 5) Neville Dean, Essence of Discrete Mathematics, Prentice Hall 6) 耿素云，屈婉玲，离散数学，北京大学出版社，2003 7) 一个离散数学的资源列表：/topics/discreteMath.html 8) 北京大学精品课程：/pkujpk/course/lssx/index.htm 3 教学目标 通过本课程的学习，学生应该能够： 1) 奠定坚实的计算机数学基础，提高抽象思维和严格逻辑推理的能力，掌握利用数学方法 解决软件工程问题的技能； 2) 理解集合、关系和函数的基本概念，能够利用其为软件工程的相关问题建立数学模型； 3) 掌握命题逻辑和谓词逻辑的形式化方法，能够利用其建模和解决实际问题； 附录B 第31 页 南京大学软件工程专业本科教程——附录B ：专业基础/核心课程描述 4) 掌握数学归纳法、递归等推理和证明技巧； 5) 掌握排列组合等计数技术，能够解决实际计数问题； 6) 理解树、图、群论等基本的离散数学结构，能够分析、处理并设计解决离散问题； 7) 为软件工程专业学习及将来的学术、应用研究打下坚实的基础。 4 相关知识体系 编号 描述 k, c, a E, D, O 学时 MEP-DS.bk.0 基础知识 6 MEP-DS.bk.1 集合与子集 k E 1 MEP-DS.bk.2