【摘 要】
：
计算机数学，又称离散数学，是计算机学科的重要专业基础课程。在实际教学中发现，计算机科学专业的学生对该课程感兴趣的不多，多数畏惧其概念多、理论强且抽象。利用一种函数式程序
【基金项目】
：
国家自然科学基金面上项目“基于单子技术的网构软件构件模型及其演化”(编号:60973046);江苏省高校自然科学基金(10KJB520015);江苏省“青蓝工程”优秀青年骨干教师项目;南京邮电大学计算机学院教改项目(JSJ09021)等资助
论文部分内容阅读
计算机数学，又称离散数学，是计算机学科的重要专业基础课程。在实际教学中发现，计算机科学专业的学生对该课程感兴趣的不多，多数畏惧其概念多、理论强且抽象。利用一种函数式程序设计语言（Haskell）辅助学生进行计算机数学中相关概念理解及其实际编程实验，主要针对课程教学中代数系统（如群）知识点，通过群定义及其性质验证实验采介绍函数编程技术，可以帮助计算机专业学生更好地学习理解计算机数学课程，并能充分调动其学习积极性和主动性，还可培养学生接受新知识的能力。
其他文献
野生兜兰品种多,花形奇特,从选购、栽前处理、基质配制、肥水管理、温湿度管理、光照调控、病虫害防治等方面介绍了兜兰的温室栽培管理技术,以期为兜兰的驯化和育种提供技术
本文阐述了现行的美术高考制度存在的一些问题,并分析和总结了美术人才选拨的经验教训,探索符合高等美术教育的考核方式,指出我们必须采用冷静的眼光去了解现行的美术高考制
电动轮椅车的速度参数,是衡量电动轮椅车使用是否安全的重要指标。使用国家标准GB/T 12996-2012《电动轮椅车》规定的检验方法在检验时人为因素对检验结果的影响大,影响检验
本文主要从人工古水系和雕刻艺术的角度对宏村的建筑美学进行探究,阐述了宏村的水系建筑布局及美学特征.在现代景观建筑设计中,这种美学特征具有一定的启迪作用.
运用典型案例开展廉政廉洁教育相对于传统教育方式具有更强的震撼力和实际效果。典型案例作为廉政廉洁教育的有效载体,有助于领导干部提高拒腐防变的自觉性,严格遵守党纪国法
目的：对小儿静脉留置针进行静脉输液发生渗漏肿胀的部位进行分析，并提出相应的护理对策，加强输液安全的管理。方法：对2006年12月～2007年12月住院使用静脉留置针发生输液肿胀面积超
如何在带车库的高层建筑中合理布置塔吊,规范中未有统一规定。本文主要探讨在符合相关规定的情况下,如何更经济实用的设置塔吊基础,进一步阐述塔吊基础的设置步骤及施工方法
大凡学校的教育都应包含两种教育：其一是科技知识教育；其二是人文教育。人文教育是传授人文知识、培养人文精神和提高人文素养的教育，通过把人类积累的智慧精神、心性精粹与阅历
【据《Hepatology》2017年5月报道】题：血浆胱抑素C是肝硬化急性失代偿期患者发生肾功能障碍、慢加急性肝衰竭及其病死率的预测指标（作者Markwardt D等）肝硬化慢加急性肝衰竭随
目的探讨彩色多普勒超声及超声血管造影对自体骨髓干细胞移植治疗下肢动脉闭塞症的疗效。方法选择新疆医科大学第一附属医院2009年7月-2012年4月7例下肢动脉闭塞患者,干细胞