期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
函数式程序设计语言的教学研究与探讨
被引量：
2
下载PDF
职称材料
导出
摘要
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。
作者
陈付龙
机构地区
安徽师范大学计算机系
出处
《福建电脑》
2010年第6期23-23,30,共2页
Journal of Fujian Computer
基金
安徽省高校青年教师科研基金项目(2008JQ1057)
关键词
函数式程序设计语言
OCaml
Lambda演算
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
10
参考文献
4
共引文献
36
同被引文献
8
引证文献
2
二级引证文献
3
参考文献
4
1
冯相忠.
计算机类专业的JAVA语言程序设计课程的教学研究[J]
.福建电脑,2009,25(8):31-31.
被引量：6
2
方洁.
《C语言程序设计》教学研究与探讨[J]
.福建电脑,2009,25(6):213-213.
被引量：2
3
彭召意,朱艳辉,周玉.
C++面向对象程序设计课程的实践教学研究[J]
.计算机教育,2010(5):151-154.
被引量：31
4
Emmanuel Chailloux,Paccal Manoury.Bruno Pagano.Developing Applications with Objective Caml[M].O'REILLY & Associates,Paris,France,2000.
二级参考文献
10
1
刘培强,冯烟利.
JAVA语言教学研究与探讨[J]
.计算机教育,2004(6):65-66.
被引量：5
2
宋平,王振.
提高Java语言教学效果的探索与实践[J]
.沈阳农业大学学报（社会科学版）,2006,8(4):693-695.
被引量：12
3
邹国霞,唐建清.
JAVA语言教学方法初探[J]
.福建电脑,2007,23(9):205-205.
被引量：4
4
冯君,庄波.
“Java语言程序设计”双语教学的实践与思考[J]
.福建电脑,2008,24(5):205-205.
被引量：2
5
罗宪,王家伟,周建丽.
“高级语言程序设计”、“面向对象程序设计”精品课程教学改革与实践[J]
.重庆交通大学学报（社会科学版）,2009,9(1):142-144.
被引量：13
6
宋海玉,李锡祚,王玲芬,李威.
面向对象程序设计课程建设的探索与实践[J]
.计算机教育,2009(5):91-94.
被引量：11
7
杨洋,李扬继.
Java语言教学模式探讨和研究[J]
.西部经济管理论坛,2006,19(4):48-50.
被引量：6
8
吴粉侠,段群,李红.
《面向对象程序设计》课程教学模式的探索与实践[J]
.福建电脑,2009,25(8):37-37.
被引量：10
9
邱桂华,袁丽.
案例教学在C++面向对象程序设计中的实践[J]
.江西科技学院学报,2008,5(4):51-52.
被引量：9
10
刘旭红,佟俐鹃.
《面向对象程序设计》双语教学的探索与实践[J]
.教育理论与实践（学科版）,2007,27(S1):77-78.
被引量：9
共引文献
36
1
陈浩杰.
Visual C++程序设计课程阶梯法教学实践[J]
.电子技术（上海）,2021,50(8):44-45.
被引量：2
2
王大灵.
“任务驱动”在C语言程序设计教学中的应用[J]
.安徽电子信息职业技术学院学报,2009,8(6):71-72.
被引量：1
3
菊花.
使用综合案例贯穿Java程序设计课程教学的探索[J]
.内蒙古师范大学学报（教育科学版）,2010,23(11):139-140.
被引量：6
4
王世东.
C/C++教学改革的探索研究[J]
.福建电脑,2011,27(2):48-49.
被引量：3
5
刘晓勇.
基于CDIO模式的《面向对象程序设计》课程教学改革初探[J]
.广东技术师范学院学报,2011,32(6):45-46.
被引量：2
6
郭小燕.
论《面向对象程序设计(C++)》课程的教学设计[J]
.现代计算机（中旬刊）,2011(8):21-24.
被引量：3
7
潘皎.
高职C#程序设计课案例教学的设计与实施[J]
.黑龙江教育学院学报,2012,31(3):55-56.
8
李杰.
C语言中数组与指针关系的探讨[J]
.价值工程,2012,31(18):195-196.
被引量：2
9
黄柳红.
C++面向对象程序设计的实验教学研究[J]
.广东技术师范学院学报,2012,33(3):70-72.
被引量：2
10
赵海燕,卢宁,赵芳.
民族地区图形图像处理课程群的建设研究[J]
.内蒙古民族大学学报,2012,18(2):17-18.
被引量：1
同被引文献
8
1
颜雯清,李秀娟.
SCADE平台下C代码的自动生成[J]
.计算机仿真,2007,24(10):264-268.
被引量：12
2
董威.
单元测试及测试工具的研究与应用[J]
.微型电脑应用,2008,24(5):24-26.
被引量：8
3
陈钢,宋晓宇,顾明.
COQ定理证明器辅助PLC程序验证和分析[J]
.北京大学学报（自然科学版）,2010,46(1):30-34.
被引量：6
4
俞黎敏.
函数式编程思想[J]
.程序员,2010(9):24-24.
被引量：2
5
林枫.
基于SCADE的形式化验证技术研究[J]
.测控技术,2011,30(12):71-74.
被引量：10
6
谯婷婷,王乐,王芳,葛艳.
基于Coq的软件安全性验证[J]
.计算机应用,2012,32(A02):96-100.
被引量：2
7
王学瑞.
函数式编程语言发展及应用[J]
.计算机光盘软件与应用,2012,15(23):181-182.
被引量：3
8
郭荣.
基于Testbed的C++单元测试(动态测试)方法[J]
.网络安全技术与应用,2014(3):56-57.
被引量：2
引证文献
2
1
王学瑞.
函数式编程语言发展及应用[J]
.计算机光盘软件与应用,2012,15(23):181-182.
被引量：3
2
董玲玲,曹宗生,李旗,刘元.
Kaputt在核安全级软件单元测试上的应用研究[J]
.自动化博览,2017,34(5):70-74.
二级引证文献
3
1
董玲玲,曹宗生,李旗,刘元.
Kaputt在核安全级软件单元测试上的应用研究[J]
.自动化博览,2017,34(5):70-74.
2
艾均,苏湛.
F#函数式编程教学方法研究[J]
.软件导刊,2019,18(10):201-203.
被引量：1
3
李诗琪,聂涌,王俊清,李康,沈彬.
LLMKA:基于Matlab的下肢骨肌运动分析工具箱[J]
.中国修复重建外科杂志,2022,36(5):525-533.
1
唐伎玲,杜钦生.
论程序设计类课程群建设的必要性[J]
.长春工业大学学报（高教研究版）,2013,34(3):84-85.
2
顾保磊.
函数语言Scheme的绘图应用[J]
.武汉工业学院学报,2005,24(3):58-60.
3
王彦,左春,曾炼.
旅游自动应答语义模型分析与实践[J]
.计算机系统应用,2017,26(2):18-24.
被引量：2
4
Peter Blackburn Itzik Ben-Gan Gert Drapers Michael Otey. Kalen Delaney 杨岩(译).
SQL Server最佳实践核对清单 总是匆匆忙忙的？记住下面这些提示，你就可以轻松上路了——T-SQL核对清单 13条卓有成效的T-SQL实践[J]
.Windows IT Pro Magazine（国际中文版）,2007(C00):299-300.
5
陈付龙,樊晓桠.
多阶段编程定制数字电路[J]
.电路与系统学报,2010,15(2):87-94.
6
刘树森.
对CIO的三个要求[J]
.中国计算机用户,2005(50):29-29.
7
石跃祥,袁华强.
函数式语言中赋值语句(之二)[J]
.湘潭大学自然科学学报,2001,23(1):8-11.
被引量：1
8
陈荣鑫,廖湖声.
基于Prolog的函数语言解释执行[J]
.莆田学院学报,2011,18(2):57-61.
9
廖湖声.
完全参数化函数式抽象机——函数式语言的实现模型[J]
.计算机工程与设计,1992,13(2):45-49.
10
窦亮,刘强,杨宗源.
定理证明器Coq与机械语义研究[J]
.计算机应用与软件,2015,32(10):10-14.
福建电脑
2010年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
