论文部分内容阅读
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。
函数式程序设计语言的教学研究与探讨
【摘 要】
：
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。
【机 构】
：
安徽师范大学计算机系
【出 处】
：
福建电脑
【发表日期】
：
2010年6期
【基金项目】
：
安徽省高校青年教师科研基金项目（2008JQ1057）
其他文献
《数据库原理》课程具有知识点多、涉及面广、内容抽象、不易理解、理论性强等特点，这导致了在教学过程中老师、学生都比较吃力，教学效果不佳。针对这一现状，提出了基于防灾科技
本文论述了利用人工生命的一个重要的实现手段-遗传算法对计算机病毒进行生命化改造的构建的思想和过程,通过该算法可以使计算机病毒具有比较系统的生命功能,并且具有一定的
国家行政学院教授许耀桐认为．四中全会最大的意义是使我们党站在一个新的起点上，标志着党的建设一个新阶段的开始。为什么这样说？因为我们党现在已经执政60年了，60年执政主要分为
高级语言程序设计是高校计算机系各专业的一门必修专业基础课程。本文对基于Visual C#.NET的《程序设计基础》课程的教学内容和教学方法等进行了探讨,提出了对此门课程教学的
教师依据教学内容，利用现有教学设备及仪器，构建出与教学内容相联系的鲜明的教学场景，帮助学生理解教学内容，使学生深入知识内部，进行自主的思考与学习。道德与法治的教育主要是对
“推行‘双诺制’后，村‘两委’班子在发展思路和产业规划上都有了新的起色，干部们的目标承诺也在逐一兑现。”南溪区长兴镇尖山村村民都对“双诺制”表示认可。
在移动互联网时代下，素质教育也在不断推进，对整个传统的教育基础产生了很大的冲击。在互联网时代的推动下，人们对“胜任力”、“班主任胜任力”的研究热潮不断掀起，我国教育研究
目的分析过期妊娠并羊水过少对分娩结局的影响。方法从我院2015年7月—2016年7月期间收治的过期妊娠并羊水过少孕妇中抽取60例设为研究组,并选择同期68例过期妊娠但羊水正常
激励机制是指运用特殊的管理方法，使员工对任务的承诺实现最大化。激励机制包括很多方面、很多内容，如工作激励、精神激励、学习激励、荣誉激励等。建立合理恰当的学校激励机制