| 函数编程技术在计算机数学教学中的应用探讨 |
| |
| 引用本文： | 张迎周.函数编程技术在计算机数学教学中的应用探讨[J].教育与教学研究,2011(9):76-78,82. |
| |
| 作者姓名： | 张迎周 |
| |
| 作者单位： | 南京邮电大学计算机学院 |
| |
| 基金项目： | 国家自然科学基金面上项目“基于单子技术的网构软件构件模型及其演化”(编号:60973046);江苏省高校自然科学基金(10KJB520015);江苏省“青蓝工程”优秀青年骨干教师项目;南京邮电大学计算机学院教改项目(JSJ09021)等资助 |
| |
| 摘 要： | 计算机数学,又称离散数学,是计算机学科的重要专业基础课程。在实际教学中发现,计算机科学专业的学生对该课程感兴趣的不多,多数畏惧其概念多、理论强且抽象。利用一种函数式程序设计语言(Haskell)辅助学生进行计算机数学中相关概念理解及其实际编程实验,主要针对课程教学中代数系统(如群)知识点,通过群定义及其性质验证实验来介绍函数编程技术,可以帮助计算机专业学生更好地学习理解计算机数学课程,并能充分调动其学习积极性和主动性,还可培养学生接受新知识的能力。
|
| 关 键 词： | 计算机数学 函数式编程 Haskell 代数系统 |
The Application of Functional Programming Techniques in Teaching Computer Mathematics |
| |
| Zhang Ying-zhou.The Application of Functional Programming Techniques in Teaching Computer Mathematics[J].Journal of Chengdu University(Educational Sciences Edition),2011(9):76-78,82. |
| |
| Authors: | Zhang Ying-zhou |
| |
| Institution: | Zhang Ying-zhou(Nanjing University of Posts and Telecommunications,Nanjing,Jiangsu,210003,China) |
| |
| Abstract: | The computer mathematics,also known as the discrete mathematics,is an important basic course of computer science.However,the class-room 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 functional programming language(Haskell) to assist students to understand math concepts and their practical programming experiments.We illustrate 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 programming techniques can help students majoring in computer to better understand computer mathematics,fully inspire their learning initiative and enthusiasm,and train their abilities of accepting new knowledge. |
| |
| Keywords: | computer mathematics functional programming Haskell algebraic system |
| 本文献已被 CNKI 等数据库收录！ |
|
