摘要
计算机数学,又称离散数学,是计算机学科的重要专业基础课程。在实际教学中发现,计算机科学专业的学生对该课程感兴趣的不多,多数畏惧其概念多、理论强且抽象。利用一种函数式程序设计语言(Haskell)辅助学生进行计算机数学中相关概念理解及其实际编程实验,主要针对课程教学中代数系统(如群)知识点,通过群定义及其性质验证实验来介绍函数编程技术,可以帮助计算机专业学生更好地学习理解计算机数学课程,并能充分调动其学习积极性和主动性,还可培养学生接受新知识的能力。
The computer mathematics, also known as the discrete mathematics,is an important basic course of computer science. However, the classroom teaching shows that few students majoring in computer are interested in this course, and most students are afraid of too many math concepts as well as the complex and abstract theories. In this paper, according to the actual computer mathematics teaching, we use a func- tional programming language （Haskell） to assist students to understand math concepts and their practical programming experiments. We illus- trate the functional programming techniques with the textual knowledge of the algebraic systems （such as group ） through the definition of group and the experiment to verify its nature. We conclude that the functional pwgramming techniques can help students majoring in computer to bet- ter understand eanputer mathematics,fially inspire their learning initiative andenthusiasm, and train their abilities of accepting new knowledge.
出处
《教育与教学研究》
2011年第9期76-78,82,共4页
Education and Teaching Research
基金
国家自然科学基金面上项目"基于单子技术的网构软件构件模型及其演化"(编号:60973046)
江苏省高校自然科学基金(10KJB520015)
江苏省"青蓝工程"优秀青年骨干教师项目
南京邮电大学计算机学院教改项目(JSJ09021)等资助
