期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1,357
篇文章
<
1
2
…
68
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
程序语言课程教学项目实例设计的实践探索
1
作者
薛传谷
《佳木斯职业学院学报》
2024年第3期163-165,共3页
程序设计语言课程是许多中职学校开设的必修课程,为了帮助学生克服困难,培养学生对程序设计语言的学习兴趣,提高教学效果,促进产学教融合,在教学实践中以学生为中心,采取多途径多方法探索设计教学项目实例,用于开展教学和指导学生实践,...
程序设计语言课程是许多中职学校开设的必修课程,为了帮助学生克服困难,培养学生对程序设计语言的学习兴趣,提高教学效果,促进产学教融合,在教学实践中以学生为中心,采取多途径多方法探索设计教学项目实例,用于开展教学和指导学生实践,培养学生学科核心素养,推动学生能力发展。
展开更多
关键词
程序语言
项目实例设计
实践探索
下载PDF
职称材料
论高校计算机专业开展函数式程序语言教学的必要性
被引量:
1
2
作者
余珊珊
易法令
苏锦钿
《计算机教育》
2014年第15期34-38,共5页
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的...
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
展开更多
关键词
函数式
程序语言
命令式
程序语言
HASKELL
Lambda演算
下载PDF
职称材料
案例—任务驱动模式的计算机程序语言教学探究
被引量:
16
3
作者
张松敏
王国强
《计算机教育》
2010年第2期132-134,共3页
案例—任务驱动式教学是将案例和任务驱动教学有机结合的一种新教学方法,该方法目前在计算机程序语言教学中正处于探索和尝试阶段。本文针对传统计算机程序语言教学的不足,分析研究了案例—任务驱动式教学运用于计算机程序语言课程教学...
案例—任务驱动式教学是将案例和任务驱动教学有机结合的一种新教学方法,该方法目前在计算机程序语言教学中正处于探索和尝试阶段。本文针对传统计算机程序语言教学的不足,分析研究了案例—任务驱动式教学运用于计算机程序语言课程教学的可行性和实施策略,形成了计算机程序语言案例—任务驱动教学模式。
展开更多
关键词
案例-任务驱动
计算机
程序语言
教学模式
下载PDF
职称材料
AutoCAD与高级程序语言间的联接和通讯技术
被引量:
2
4
作者
冯仁余
刘茂武
《机械设计与研究》
CSCD
2003年第1期42-43,52,共3页
对目前广泛应用的AutoCAD图形软件系统所提供的各种接口方式进行了综合分析和讨论 。
关键词
AUTOCAD
高级
程序语言
联接接口
通讯技术
下载PDF
职称材料
程序变换在程序语言中的一种表示——兼论变换型语言
被引量:
4
5
作者
张乃孝
《软件学报》
EI
CSCD
北大核心
1993年第5期17-23,共7页
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操...
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。
展开更多
关键词
程序语言
变换型
语言
下载PDF
职称材料
“C++程序语言”课程教学环节的组织与设计
被引量:
2
6
作者
蒋浩
黄学良
徐志科
《电气电子教学学报》
2009年第6期10-11,21,共3页
"C++程序语言"是我校的全校性工科类专业基础课,笔者探索了在短学期如何进行教学环节的组织与设计,并为教学形式与教学方法的选择提出了建议。本文着重探讨了备课过程和课堂教学中多种教学方法的融合,课后如何通过综合性的应...
"C++程序语言"是我校的全校性工科类专业基础课,笔者探索了在短学期如何进行教学环节的组织与设计,并为教学形式与教学方法的选择提出了建议。本文着重探讨了备课过程和课堂教学中多种教学方法的融合,课后如何通过综合性的应用来训练学生的编程与调试能力。以此达到两个目标:实际提高学生编程能力而不仅仅是语法掌握能力,以及为学生今后自学中的知识应用和扩展打下基础。
展开更多
关键词
C++
程序语言
现场编程
编程与调试能力
下载PDF
职称材料
多集成开发环境在程序语言实验中的协同应用
被引量:
1
7
作者
郑远攀
苏晓珂
金钊
《郑州轻工业学院学报(自然科学版)》
CAS
2011年第6期38-41,共4页
为提高程序语言实验的效果,采用特性分析和案例对比的方法,研究Visual C++6.0,Turbo C++3.0,Borland C++3.1以及Turbo C 2.0对C语言实验的影响,提出在程序语言实验中多集成开发环境的协同应用.研究表明,多种集成开发环境在语言实验中的...
为提高程序语言实验的效果,采用特性分析和案例对比的方法,研究Visual C++6.0,Turbo C++3.0,Borland C++3.1以及Turbo C 2.0对C语言实验的影响,提出在程序语言实验中多集成开发环境的协同应用.研究表明,多种集成开发环境在语言实验中的协同应用是可行的、必要的和高效的.
展开更多
关键词
集成开发环境
程序语言
实验
协同应用
下载PDF
职称材料
如何解决程序语言教学中的“知易行难”问题
被引量:
3
8
作者
杨波
张军
《计算机教育》
2018年第7期70-73,共4页
针对程序语言学习中理论知识易懂而弱于解决实际问题的情况,分析教与学两方面的原因,提出解决"知易行难"问题的思路:一方面,通过对相关课程教学内容进行取舍和更新、建立课程群、加强实践指导等手段优化教学过程;另一方面,引...
针对程序语言学习中理论知识易懂而弱于解决实际问题的情况,分析教与学两方面的原因,提出解决"知易行难"问题的思路:一方面,通过对相关课程教学内容进行取舍和更新、建立课程群、加强实践指导等手段优化教学过程;另一方面,引入明辨性思维,开展第二课堂训练学生独立思考、主动探索的思维方式和学习习惯。
展开更多
关键词
程序语言
教学
知易行难
思维方式
学习习惯
下载PDF
职称材料
广东高校计算机基础程序语言类课程学习效果调查报告
被引量:
1
9
作者
杜炫杰
郑德庆
《计算机教育》
2011年第3期107-110,共4页
为了更好地发现省内各高校程序语言类课程学习存在的问题,广东省高等计算机公共课程教学指导委员会于2009年11月至12月对省内10所院校进行了程序语言类课程教学现状调研。本文对调研结果进行分析,并针对当前程序语言类课程学习过程中的...
为了更好地发现省内各高校程序语言类课程学习存在的问题,广东省高等计算机公共课程教学指导委员会于2009年11月至12月对省内10所院校进行了程序语言类课程教学现状调研。本文对调研结果进行分析,并针对当前程序语言类课程学习过程中的问题提出对策。
展开更多
关键词
程序语言
类课程
计算机公共课程
教学现状调研
下载PDF
职称材料
程序语言中错误处理模型的分析与比较
被引量:
1
10
作者
龚跃玲
《武汉理工大学学报》
CAS
CSCD
2002年第4期113-116,共4页
对目前使用的几种错误处理模型从错误表达、代码结构和多线程同步三个方面进行了分析比较 ,说明了它们的易用性。
关键词
错误处理模型
错误表达
代码结构
程序语言
比较分析
多线程同步
下载PDF
职称材料
命令式模糊程序语言的语义
被引量:
1
11
作者
吴恒洋
《计算机学报》
EI
CSCD
北大核心
2013年第4期862-869,共8页
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研...
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.
展开更多
关键词
模糊
程序语言
命令式
语言
指称语义
最弱(线性)前置条件语义
模糊逻辑
下载PDF
职称材料
程序语言智能出题系统的设计与实现
被引量:
2
12
作者
郑丽英
熊伟清
党建武
《甘肃工业大学学报》
1995年第3期100-103,共4页
系统地介绍了在PC系列机上实现的程序语言智能出题系统PITS.给出了该系统的设计思想、总体结构和基本功能,对系统实现中若干重要问题进行了讨论.本系统设计原理思想及实现方法可推广到智能计算机辅助教学及其应用中.
关键词
CAI
试题库
程序语言
智能出题系统
下载PDF
职称材料
面向对象的可视化程序语言教学成效探索
被引量:
2
13
作者
吴小滔
《电气电子教学学报》
1998年第2期71-73,共3页
为了使VB一类面向对象的可视化程序语言的教学更有成效,本文提出了设定教学目标为培养学生用VB一类语言模拟现实系统的能力是一个有效导向;介绍了为实现这一教学目标,近年在教学中强调VB模拟现实系统的能力,引导学生自主学习以及使...
为了使VB一类面向对象的可视化程序语言的教学更有成效,本文提出了设定教学目标为培养学生用VB一类语言模拟现实系统的能力是一个有效导向;介绍了为实现这一教学目标,近年在教学中强调VB模拟现实系统的能力,引导学生自主学习以及使用VB的在钱帮助等几方面进行的尝试。
展开更多
关键词
面向对象
可视化
程序语言
教学方法
程序
设计
下载PDF
职称材料
普通高等院校程序语言教学的改革与探索
被引量:
1
14
作者
杨素娣
徐会艳
吴克力
《电脑知识与技术》
2014年第10期6693-6695,6706,共4页
面对就业压力的增加,市场需求的改变,普通高等院校的计算机程序语言教学模式和内容需要进行相应的课程改革。改革的内容涵盖教学目标、教学内容、教学方式以及课程考核评价等。
关键词
程序语言
教学
课程改革
考核评价
下载PDF
职称材料
程序语言教学中的递归程序思维培养
被引量:
3
15
作者
邵利平
《电脑知识与技术(过刊)》
2011年第10X期7201-7204,共4页
递归程序设计思想在程序语言教学中处于重要地位,也是程序语言教学的难点。这篇论文从明确递归程序思想教学目标入手,从实际例子出发来引导学生正确理解递归思想并初步掌握其设计的基本方法。在此基础上通过构造趣味教学案例,巧妙设局,...
递归程序设计思想在程序语言教学中处于重要地位,也是程序语言教学的难点。这篇论文从明确递归程序思想教学目标入手,从实际例子出发来引导学生正确理解递归思想并初步掌握其设计的基本方法。在此基础上通过构造趣味教学案例,巧妙设局,层层引入,从多方面多角度训练和培养学生的递归程序思维。通过以上教学环节的实施,取得了较好的教学实施效果,学生普遍接受了递归程序设计思想,并自觉运用递归程序设计思想来解决实际问题。
展开更多
关键词
程序语言
教学
递归
程序
思维
程序
设计
教学案例
下载PDF
职称材料
Comonads理论及其在函数式程序语言Haskell中的应用
16
作者
苏锦钿
余珊珊
《计算机科学》
CSCD
北大核心
2011年第7期144-147,156,共5页
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Has...
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。
展开更多
关键词
Comonads
函数式
程序语言
HASKELL
上下文依赖计算
范畴论
下载PDF
职称材料
也谈多种程序语言的综合应用
17
作者
李新华
张华磊
《计算机应用研究》
CSCD
1992年第5期36-37,共2页
本文分析了采用“虚拟文件”接口的多语言系统存在的缺陷,并从提高软件产品性能的角度介绍了一种简洁明了的接口技术。
关键词
程序语言
应用
下载PDF
职称材料
无纸化考试系统在Visual FoxPro程序语言设计理论考核中的应用
被引量:
1
18
作者
杨琳
《产业与科技论坛》
2013年第2期66-67,共2页
Visual FoxPro程序语言设计课程的基本知识点很多,无纸化考试系统通过在本课程中的利用可以提高考试效率,涵盖课程知识点。通过考试系统可以进行多用户同时在线考试、考试结束后自动判卷、题库维护以及用户管理等功能,能帮助考试主管部...
Visual FoxPro程序语言设计课程的基本知识点很多,无纸化考试系统通过在本课程中的利用可以提高考试效率,涵盖课程知识点。通过考试系统可以进行多用户同时在线考试、考试结束后自动判卷、题库维护以及用户管理等功能,能帮助考试主管部门提高工作效率,实现考试信息管理以及考试流程的系统化、规范化和自动化。该考试系统考试时间灵活,考生随机抽取考试题目,能够对高等院校的作弊现象起到一定的遏制作用。
展开更多
关键词
无纸化考试系统
VISUAL
FoxPro
程序语言
设计
计算机等级考试
下载PDF
职称材料
基于混合思维能力培养的程序语言课程设计教学改革
19
作者
卢瑾
顾国民
+3 位作者
江颉
李曲
雷艳静
徐卫
《中国信息技术教育》
2022年第16期96-99,共4页
本文针对传统程序语言课程设计实验提出了基于计算思维、工程思维和创新思维培养的实验教学方案,并通过设计实验流程和改革实验方法,培养学生分析问题、解决问题和抽象模型的计算思维能力和工程实践能力,通过递进式的任务驱动式课题激...
本文针对传统程序语言课程设计实验提出了基于计算思维、工程思维和创新思维培养的实验教学方案,并通过设计实验流程和改革实验方法,培养学生分析问题、解决问题和抽象模型的计算思维能力和工程实践能力,通过递进式的任务驱动式课题激发学生创新意识和能力。实践证明,基于混合思维能力培养的教学改革方案对学生提高各项能力具有显著效果。
展开更多
关键词
程序语言
课程设计
计算思维
工程思维
创新思维
下载PDF
职称材料
基于Moodle远程在线编译的程序语言教学研究
20
作者
赵学龙
严悍
+1 位作者
衷宜
陆建峰
《信息技术与信息化》
2018年第8期123-125,共3页
程序语言是一种实践性很强的课程,需要通过较为大量的练习实践才能取得较好的效果。论文以Java语言为例,通过建立基于Moodle平台的Java语言远程在线编译环境,构筑一个不受时空限制的师生在线交流互助学习管理环境。实践结果表明,这种方...
程序语言是一种实践性很强的课程,需要通过较为大量的练习实践才能取得较好的效果。论文以Java语言为例,通过建立基于Moodle平台的Java语言远程在线编译环境,构筑一个不受时空限制的师生在线交流互助学习管理环境。实践结果表明,这种方式可以有效培养学生的学习兴趣,提高学习主动性,使学生获得学习乐趣和成就感,对提升学生的实践能力和知识应用水平都具有很好的作用。
展开更多
关键词
在线编译
Moodle系统
程序语言
教学研究
下载PDF
职称材料
题名
程序语言课程教学项目实例设计的实践探索
1
作者
薛传谷
机构
福建省屏南职业中专学校
出处
《佳木斯职业学院学报》
2024年第3期163-165,共3页
文摘
程序设计语言课程是许多中职学校开设的必修课程,为了帮助学生克服困难,培养学生对程序设计语言的学习兴趣,提高教学效果,促进产学教融合,在教学实践中以学生为中心,采取多途径多方法探索设计教学项目实例,用于开展教学和指导学生实践,培养学生学科核心素养,推动学生能力发展。
关键词
程序语言
项目实例设计
实践探索
分类号
G623.58 [文化科学—教育学]
下载PDF
职称材料
题名
论高校计算机专业开展函数式程序语言教学的必要性
被引量:
1
2
作者
余珊珊
易法令
苏锦钿
机构
广东药学院医药信息工程学院
华南理工大学计算机科学与工程学院
出处
《计算机教育》
2014年第15期34-38,共5页
基金
广东省科技计划项目(2011B010200043)
国家自然科学基金资助项目(61103038)
文摘
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
关键词
函数式
程序语言
命令式
程序语言
HASKELL
Lambda演算
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
案例—任务驱动模式的计算机程序语言教学探究
被引量:
16
3
作者
张松敏
王国强
机构
洛阳理工学院计算机与信息工程系
出处
《计算机教育》
2010年第2期132-134,共3页
基金
洛阳理工学院09院级教研项目(09-JY119)
文摘
案例—任务驱动式教学是将案例和任务驱动教学有机结合的一种新教学方法,该方法目前在计算机程序语言教学中正处于探索和尝试阶段。本文针对传统计算机程序语言教学的不足,分析研究了案例—任务驱动式教学运用于计算机程序语言课程教学的可行性和实施策略,形成了计算机程序语言案例—任务驱动教学模式。
关键词
案例-任务驱动
计算机
程序语言
教学模式
Keywords
case-task driven
computer program language
teaching mode
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
AutoCAD与高级程序语言间的联接和通讯技术
被引量:
2
4
作者
冯仁余
刘茂武
机构
军事交通学院装运机械系
出处
《机械设计与研究》
CSCD
2003年第1期42-43,52,共3页
文摘
对目前广泛应用的AutoCAD图形软件系统所提供的各种接口方式进行了综合分析和讨论 。
关键词
AUTOCAD
高级
程序语言
联接接口
通讯技术
Keywords
AutoCAD
hing level program language
interface
communication technology
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
程序变换在程序语言中的一种表示——兼论变换型语言
被引量:
4
5
作者
张乃孝
机构
北京大学计算机科学技术系
出处
《软件学报》
EI
CSCD
北大核心
1993年第5期17-23,共7页
基金
国家自然科学基金的资助
文摘
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。
关键词
程序语言
变换型
语言
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
“C++程序语言”课程教学环节的组织与设计
被引量:
2
6
作者
蒋浩
黄学良
徐志科
机构
东南大学电气工程学院
出处
《电气电子教学学报》
2009年第6期10-11,21,共3页
文摘
"C++程序语言"是我校的全校性工科类专业基础课,笔者探索了在短学期如何进行教学环节的组织与设计,并为教学形式与教学方法的选择提出了建议。本文着重探讨了备课过程和课堂教学中多种教学方法的融合,课后如何通过综合性的应用来训练学生的编程与调试能力。以此达到两个目标:实际提高学生编程能力而不仅仅是语法掌握能力,以及为学生今后自学中的知识应用和扩展打下基础。
关键词
C++
程序语言
现场编程
编程与调试能力
Keywords
C+ + programming language
programming on-site
programming and debugging ability
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
G420 [文化科学—课程与教学论]
下载PDF
职称材料
题名
多集成开发环境在程序语言实验中的协同应用
被引量:
1
7
作者
郑远攀
苏晓珂
金钊
机构
郑州轻工业学院计算机与通信工程学院
应急平台信息技术河南省工程实验室
兰州大学信息科学与工程学院
出处
《郑州轻工业学院学报(自然科学版)》
CAS
2011年第6期38-41,共4页
基金
国家自然科学基金项目(61163017)
河南省教育厅科技攻关项目(2011B620003)
郑州轻工业学院博士科研基金(2010BSJJ009)
文摘
为提高程序语言实验的效果,采用特性分析和案例对比的方法,研究Visual C++6.0,Turbo C++3.0,Borland C++3.1以及Turbo C 2.0对C语言实验的影响,提出在程序语言实验中多集成开发环境的协同应用.研究表明,多种集成开发环境在语言实验中的协同应用是可行的、必要的和高效的.
关键词
集成开发环境
程序语言
实验
协同应用
Keywords
integrated development environment
programming language experiment
collaborative application
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
如何解决程序语言教学中的“知易行难”问题
被引量:
3
8
作者
杨波
张军
机构
贵阳学院数学与信息科学学院
出处
《计算机教育》
2018年第7期70-73,共4页
文摘
针对程序语言学习中理论知识易懂而弱于解决实际问题的情况,分析教与学两方面的原因,提出解决"知易行难"问题的思路:一方面,通过对相关课程教学内容进行取舍和更新、建立课程群、加强实践指导等手段优化教学过程;另一方面,引入明辨性思维,开展第二课堂训练学生独立思考、主动探索的思维方式和学习习惯。
关键词
程序语言
教学
知易行难
思维方式
学习习惯
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
广东高校计算机基础程序语言类课程学习效果调查报告
被引量:
1
9
作者
杜炫杰
郑德庆
机构
华南师范大学教育信息技术中心
出处
《计算机教育》
2011年第3期107-110,共4页
文摘
为了更好地发现省内各高校程序语言类课程学习存在的问题,广东省高等计算机公共课程教学指导委员会于2009年11月至12月对省内10所院校进行了程序语言类课程教学现状调研。本文对调研结果进行分析,并针对当前程序语言类课程学习过程中的问题提出对策。
关键词
程序语言
类课程
计算机公共课程
教学现状调研
Keywords
programming language course
public computer literacy course
current teaching and learning status
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
程序语言中错误处理模型的分析与比较
被引量:
1
10
作者
龚跃玲
机构
武汉理工大学
出处
《武汉理工大学学报》
CAS
CSCD
2002年第4期113-116,共4页
文摘
对目前使用的几种错误处理模型从错误表达、代码结构和多线程同步三个方面进行了分析比较 ,说明了它们的易用性。
关键词
错误处理模型
错误表达
代码结构
程序语言
比较分析
多线程同步
Keywords
error handle
error expression
code structure
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP302.8 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
命令式模糊程序语言的语义
被引量:
1
11
作者
吴恒洋
机构
杭州电子科技大学信息工程学院
华东师范大学上海市高可信计算重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2013年第4期862-869,共8页
基金
上海市高可信计算重点实验室项目(51X14017)
浙江省教育厅科研项目(Y201223001)资助~~
文摘
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.
关键词
模糊
程序语言
命令式
语言
指称语义
最弱(线性)前置条件语义
模糊逻辑
Keywords
fuzzy programming language
imperative language
denotational semantics
weakest(liberal) precondition semantics
fuzzy logic
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
程序语言智能出题系统的设计与实现
被引量:
2
12
作者
郑丽英
熊伟清
党建武
机构
兰州铁道学院电信系
出处
《甘肃工业大学学报》
1995年第3期100-103,共4页
文摘
系统地介绍了在PC系列机上实现的程序语言智能出题系统PITS.给出了该系统的设计思想、总体结构和基本功能,对系统实现中若干重要问题进行了讨论.本系统设计原理思想及实现方法可推广到智能计算机辅助教学及其应用中.
关键词
CAI
试题库
程序语言
智能出题系统
Keywords
knowledge library
reasoning
inelligence
CAI
searching
分类号
G434 [文化科学—教育技术学]
下载PDF
职称材料
题名
面向对象的可视化程序语言教学成效探索
被引量:
2
13
作者
吴小滔
机构
上海第二工业大学电子电气工程系
出处
《电气电子教学学报》
1998年第2期71-73,共3页
文摘
为了使VB一类面向对象的可视化程序语言的教学更有成效,本文提出了设定教学目标为培养学生用VB一类语言模拟现实系统的能力是一个有效导向;介绍了为实现这一教学目标,近年在教学中强调VB模拟现实系统的能力,引导学生自主学习以及使用VB的在钱帮助等几方面进行的尝试。
关键词
面向对象
可视化
程序语言
教学方法
程序
设计
分类号
TP31-41 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
普通高等院校程序语言教学的改革与探索
被引量:
1
14
作者
杨素娣
徐会艳
吴克力
机构
淮阴师范学院计算机科学与技术学院
出处
《电脑知识与技术》
2014年第10期6693-6695,6706,共4页
基金
基金项目:江苏省教育科学“十二五”规划立项课题“基于素质教育视角下的大学生生命教育的研究”阶段性成果,课题批准文号:D/2011/01/013
市科技支撑项目(HAS2013074)
第四批高等教育教学改革研究项目11GJA0017
文摘
面对就业压力的增加,市场需求的改变,普通高等院校的计算机程序语言教学模式和内容需要进行相应的课程改革。改革的内容涵盖教学目标、教学内容、教学方式以及课程考核评价等。
关键词
程序语言
教学
课程改革
考核评价
Keywords
teaching of programming language
curriculum reform
assessment and evaluation
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
程序语言教学中的递归程序思维培养
被引量:
3
15
作者
邵利平
机构
陕西师范大学计算机科学学院
出处
《电脑知识与技术(过刊)》
2011年第10X期7201-7204,共4页
基金
国家自然科学基金(No:61100239)
陕西省自然科学基金(No.2011JQ8009)
教育部博士点基金(No.20100201110063)
文摘
递归程序设计思想在程序语言教学中处于重要地位,也是程序语言教学的难点。这篇论文从明确递归程序思想教学目标入手,从实际例子出发来引导学生正确理解递归思想并初步掌握其设计的基本方法。在此基础上通过构造趣味教学案例,巧妙设局,层层引入,从多方面多角度训练和培养学生的递归程序思维。通过以上教学环节的实施,取得了较好的教学实施效果,学生普遍接受了递归程序设计思想,并自觉运用递归程序设计思想来解决实际问题。
关键词
程序语言
教学
递归
程序
思维
程序
设计
教学案例
Keywords
programming language teaching
recursive
programming thought
programming design
teaching case
分类号
TP312.1-4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Comonads理论及其在函数式程序语言Haskell中的应用
16
作者
苏锦钿
余珊珊
机构
华南理工大学计算机科学与工程学院
中山大学信息科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2011年第7期144-147,156,共5页
基金
2010年高校博士点科研基金-新教师类(20100172120043)
华南理工大学中央高校基本科研业务费专项资金(2009ZM0158)资助
文摘
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。
关键词
Comonads
函数式
程序语言
HASKELL
上下文依赖计算
范畴论
Keywords
Comonads
Functional programming
Haskell
Context dependent computations
Category theory
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
也谈多种程序语言的综合应用
17
作者
李新华
张华磊
机构
安徽大学电信系
出处
《计算机应用研究》
CSCD
1992年第5期36-37,共2页
文摘
本文分析了采用“虚拟文件”接口的多语言系统存在的缺陷,并从提高软件产品性能的角度介绍了一种简洁明了的接口技术。
关键词
程序语言
应用
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
无纸化考试系统在Visual FoxPro程序语言设计理论考核中的应用
被引量:
1
18
作者
杨琳
机构
三亚学院计算机公共教学部
出处
《产业与科技论坛》
2013年第2期66-67,共2页
基金
三亚学院教改项目(编号:syxyjy110402)研究成果
文摘
Visual FoxPro程序语言设计课程的基本知识点很多,无纸化考试系统通过在本课程中的利用可以提高考试效率,涵盖课程知识点。通过考试系统可以进行多用户同时在线考试、考试结束后自动判卷、题库维护以及用户管理等功能,能帮助考试主管部门提高工作效率,实现考试信息管理以及考试流程的系统化、规范化和自动化。该考试系统考试时间灵活,考生随机抽取考试题目,能够对高等院校的作弊现象起到一定的遏制作用。
关键词
无纸化考试系统
VISUAL
FoxPro
程序语言
设计
计算机等级考试
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于混合思维能力培养的程序语言课程设计教学改革
19
作者
卢瑾
顾国民
江颉
李曲
雷艳静
徐卫
机构
浙江工业大学计算机科学与技术学院
出处
《中国信息技术教育》
2022年第16期96-99,共4页
基金
浙江省高等教育“十三五”第二批教学改革项目(jg20190071)。
文摘
本文针对传统程序语言课程设计实验提出了基于计算思维、工程思维和创新思维培养的实验教学方案,并通过设计实验流程和改革实验方法,培养学生分析问题、解决问题和抽象模型的计算思维能力和工程实践能力,通过递进式的任务驱动式课题激发学生创新意识和能力。实践证明,基于混合思维能力培养的教学改革方案对学生提高各项能力具有显著效果。
关键词
程序语言
课程设计
计算思维
工程思维
创新思维
分类号
G434 [文化科学—教育技术学]
下载PDF
职称材料
题名
基于Moodle远程在线编译的程序语言教学研究
20
作者
赵学龙
严悍
衷宜
陆建峰
机构
南京理工大学计算机科学与工程学院
出处
《信息技术与信息化》
2018年第8期123-125,共3页
基金
南京理工大学教改基金项目
文摘
程序语言是一种实践性很强的课程,需要通过较为大量的练习实践才能取得较好的效果。论文以Java语言为例,通过建立基于Moodle平台的Java语言远程在线编译环境,构筑一个不受时空限制的师生在线交流互助学习管理环境。实践结果表明,这种方式可以有效培养学生的学习兴趣,提高学习主动性,使学生获得学习乐趣和成就感,对提升学生的实践能力和知识应用水平都具有很好的作用。
关键词
在线编译
Moodle系统
程序语言
教学研究
分类号
G642 [文化科学—高等教育学]
TP312-4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
程序语言课程教学项目实例设计的实践探索
薛传谷
《佳木斯职业学院学报》
2024
0
下载PDF
职称材料
2
论高校计算机专业开展函数式程序语言教学的必要性
余珊珊
易法令
苏锦钿
《计算机教育》
2014
1
下载PDF
职称材料
3
案例—任务驱动模式的计算机程序语言教学探究
张松敏
王国强
《计算机教育》
2010
16
下载PDF
职称材料
4
AutoCAD与高级程序语言间的联接和通讯技术
冯仁余
刘茂武
《机械设计与研究》
CSCD
2003
2
下载PDF
职称材料
5
程序变换在程序语言中的一种表示——兼论变换型语言
张乃孝
《软件学报》
EI
CSCD
北大核心
1993
4
下载PDF
职称材料
6
“C++程序语言”课程教学环节的组织与设计
蒋浩
黄学良
徐志科
《电气电子教学学报》
2009
2
下载PDF
职称材料
7
多集成开发环境在程序语言实验中的协同应用
郑远攀
苏晓珂
金钊
《郑州轻工业学院学报(自然科学版)》
CAS
2011
1
下载PDF
职称材料
8
如何解决程序语言教学中的“知易行难”问题
杨波
张军
《计算机教育》
2018
3
下载PDF
职称材料
9
广东高校计算机基础程序语言类课程学习效果调查报告
杜炫杰
郑德庆
《计算机教育》
2011
1
下载PDF
职称材料
10
程序语言中错误处理模型的分析与比较
龚跃玲
《武汉理工大学学报》
CAS
CSCD
2002
1
下载PDF
职称材料
11
命令式模糊程序语言的语义
吴恒洋
《计算机学报》
EI
CSCD
北大核心
2013
1
下载PDF
职称材料
12
程序语言智能出题系统的设计与实现
郑丽英
熊伟清
党建武
《甘肃工业大学学报》
1995
2
下载PDF
职称材料
13
面向对象的可视化程序语言教学成效探索
吴小滔
《电气电子教学学报》
1998
2
下载PDF
职称材料
14
普通高等院校程序语言教学的改革与探索
杨素娣
徐会艳
吴克力
《电脑知识与技术》
2014
1
下载PDF
职称材料
15
程序语言教学中的递归程序思维培养
邵利平
《电脑知识与技术(过刊)》
2011
3
下载PDF
职称材料
16
Comonads理论及其在函数式程序语言Haskell中的应用
苏锦钿
余珊珊
《计算机科学》
CSCD
北大核心
2011
0
下载PDF
职称材料
17
也谈多种程序语言的综合应用
李新华
张华磊
《计算机应用研究》
CSCD
1992
0
下载PDF
职称材料
18
无纸化考试系统在Visual FoxPro程序语言设计理论考核中的应用
杨琳
《产业与科技论坛》
2013
1
下载PDF
职称材料
19
基于混合思维能力培养的程序语言课程设计教学改革
卢瑾
顾国民
江颉
李曲
雷艳静
徐卫
《中国信息技术教育》
2022
0
下载PDF
职称材料
20
基于Moodle远程在线编译的程序语言教学研究
赵学龙
严悍
衷宜
陆建峰
《信息技术与信息化》
2018
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
68
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部