结合计算机应用的离散数学教学研究.docVIP

　　结合计算机应用的离散数学教学研究 结合计算机应用的离散数学教学研究 　　离散数学是研究离散量的结构及相互关系的数学学科，是计算机等信息类专业的专业基础课.该课程的学习为数据结构、编译原理、操作系统、数据库原理和人工智能等后续课程的学习打下了坚实的数学基础，同时也有利于提高学生的抽象思维、逻辑思维和计算思维能力，为学生后续的学习和工作奠定了基础.鉴于离散数学在计算机科学中的重要性，中国计算机科学与技术学科教程2002和教育部高等学校计算机科学与技术教学指导委员会都将其列为计算机科学与技术学科教育的核心基础课程. 　　离散数学具有内容广、概念多、逻辑性与理论性强、高度抽象等特点，对计算机专业的学生来讲，他们更注重于计算机应用技能的获得，认识不到离散数学与其专业的相关性，把离散数学作为一门纯粹的数学课学习，导致一些学生失去学习热情，严重影响教学效果.另一方面，纯数学的教学方法也不能满足应用性人才培养的需求.为了解决这个问题，很多教师离散数学教学中增加相应实验内容，并且设计了切实可行的实验项目.但这些实验项目大多是对离散数学中的一些基本算法进行实现，其目的在于巩固学生所学的基本概念、原理和方法.笔者认为影响离散数学教学效率的一个最根本的原因是学生不明白离散数学与所学专业的关系，如何将离散数学与计算机应用相结合起来成为提高离散数学教学效率的重要环节.本文深入探讨了离散数学在计算机科学中的应用，并给出了必要的应用实例，旨在引导广大教师将更多的计算机应用相关的实例引入离散数学课堂教学中，使学生认识到离散数学的实用性，从而激发学生的学习兴趣，提高教学效率. 　　一、数理逻辑在计算机科学中的应用 　　数理逻辑是以数学的方法研究形式逻辑中的推理，一般包括命题逻辑和谓词逻辑两部分内容，它广泛地应用于人工智能、程序理论、数据库理论和计算机硬件电路设计等研究中.在课堂教学中，如果教师仅用这些概括性的结论强调数理逻辑在计算机科学中的应用，恐怕会适得其反，为了突出应用，吸引学生的注意力，教师可以把如下几个简单的应用实例引入课堂教学. 　　1.数理逻辑在硬件电路设计中的应用 　　数理逻辑中的逻辑演算是数字逻辑本文由.LE，SEX，AGE，DEP），课程名表C（C#，AME，TEACHER），学生选课表SC（S#，C#，GRADE）；要求学生用带量词的SQL语句完成如下查询并验证其查询结果是否正确. 　　①查询至少选修一门课的学生的姓名； 　　②查询选修全部课程的学生的姓名； 　　③查询没有学生选修的课程. 　　教师也可以给出相应的查询语句并让学生解释，使其体会到离散数学与计算机应用之间的关系. 　　二、集合论在计算机科学中的应用 　　集合论一般包括集合代数、二元关系和函数三部分内容.集合是具有共同性质的、可确定的、可分辨一组事物组成整体，二元关系是由二元组作为元素构成的集合，函数是特殊的二元关系.由此可见，二元关系和函数都是集合.集合是构造离散结构的基础，在数据库技术、数据结构、软件工程和程序设计中得到了广泛的应用. 　　1.集合在关系数据库查询中的应用 　　一个关系数据库表就是其行的集合，数据表中每个行就是由其数据项组成的一个n元组（表中有几列就是几元组），关系代数中选择运算和投影运算及为二元关系中的限制运算和像运算，笛卡尔积运算可以使用SQL语句中的多表连接查询来实现，SQL查询中还允许使用普通的并、交、差、补等运算.在教学中，我们针对学生管理数据库中的数据表设计了如下查询，要求学生用连接运算和集合运算完成，并鼓励学生在课外上机验证，以激发学生的学习兴趣. 　　例1 完成下列SQL查询. 　　① 检索数学系和计算机系的所有学生的姓名； 　　② 检索既选修C2和C3课程的学生的姓名； 　　③ 检索选修C2但不选修C3课程的学生的姓名； 　　④ 检索没有选修C2和C3课程的学生的姓名. 　　这个例子有助于学生很好的理解逻辑运算和集合运算之间的关系.如①的两种SQL查询语句分别如下： 　　I.SELECT S.SNAME FROM S E FROM S E FROM S E，C.AME FROM S，C 　　该例子的查询结果是表S和表C的笛卡尔积，无论学生与课程之间是否有选课关系，都会将学生名和课程名连接起来. 　　2.等价类在软件测试中的应用 　　软件测试是软件开发的最后一个阶段，其目的是通过运行程序，发现程序中潜在的错误.等价类划分是黑盒测试最常用的方法，其基本思想是把输入数据的可能取值划分为若干个等价类，使每个等价类中的数据可以发现程序中的一类错误，这样只需从每个等价类中选择一个数据作为测试用例就可测试出这类错误，而不需要穷举所有的数据.实际教学中，教师可以写出一个简单C语言程序要求学生使用等价类划分