程序语言课程教学项目实例设计的实践探索

程序设计语言课程是许多中职学校开设的必修课程,为了帮助学生克服困难,培养学生对程序设计语言的学习兴趣,提高教学效果,促进产学教融合,在教学实践中以学生为中心,采取多途径多方法探索设计教学项目实例,用于开展教学和指导学生实践,培养学生学科核心素养,推动学生能力发展。

基于深度学习的跨自然语言与程序语言生成任务综述

近年来,随着人工智能技术的发展,许多编程人员期望计算机代替他们自动完成程序代码或者代码注释的编写等任务。跨自然语言与程序语言(Natural languages and programming languages, NL-PL)生成即为此类任务,指自然语言和程序语言之间的相互转换任务,包括自然语言到程序语言的生成和程序语言到自然语言的生成两类任务。最近几年,跨NL-PL生成在研究与应用方面呈现出爆发式的增长,尤其是随着深度学习(Deep learning,DL)技术的发展,越来越多研究人员开始利用DL技术来提升跨NL-PL生成任务效果。他们通过优化程序表示方式、改进神经网络模型以及设计大型预训练模型等方法,在该领域取得了众多突破性的进展。在基于DL的跨NL-PL生成技术获得迅猛发展的同时,大型互联网公司逐渐将该领域的研究成果付诸商用,因此,模型应用安全性也受到了学术界和业界的紧密关注。为了进一步系统地研究跨NL-PL生成技术,对这些已有的成果进行梳理非常必要。本文以程序生成和注释生成这两类典型跨NL-PL生成任务为切入点,对该领域具有代表性的最新文献进行归纳总结。我们从众多已有参考文献中抽象出一个基于DL的跨NL-PL生成通用实现模型,并将该模型划分为程序表示、语言处理和语言生成三大组件。在我们提出的通用实现模型的基础上,我们进一步从程序代码表示方法、网络模型结构、模型在业界的应用、应用过程中存在的安全问题与安全研究现状、该领域常用数据集和模型效果等方面详细梳理分析已有研究成果及进展脉络。最后,我们总结了该领域现阶段存在的研究问题,并展望了未来的发展方向。

论高校计算机专业开展函数式程序语言教学的必要性

针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。

案例—任务驱动模式的计算机程序语言教学探究

案例—任务驱动式教学是将案例和任务驱动教学有机结合的一种新教学方法,该方法目前在计算机程序语言教学中正处于探索和尝试阶段。本文针对传统计算机程序语言教学的不足,分析研究了案例—任务驱动式教学运用于计算机程序语言课程教学的可行性和实施策略,形成了计算机程序语言案例—任务驱动教学模式。

AutoCAD与高级程序语言间的联接和通讯技术

对目前广泛应用的AutoCAD图形软件系统所提供的各种接口方式进行了综合分析和讨论 。

程序变换在程序语言中的一种表示——兼论变换型语言

本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。

“C++程序语言”课程教学环节的组织与设计

"C++程序语言"是我校的全校性工科类专业基础课,笔者探索了在短学期如何进行教学环节的组织与设计,并为教学形式与教学方法的选择提出了建议。本文着重探讨了备课过程和课堂教学中多种教学方法的融合,课后如何通过综合性的应用来训练学生的编程与调试能力。以此达到两个目标:实际提高学生编程能力而不仅仅是语法掌握能力,以及为学生今后自学中的知识应用和扩展打下基础。

多集成开发环境在程序语言实验中的协同应用

为提高程序语言实验的效果,采用特性分析和案例对比的方法,研究Visual C++6.0,Turbo C++3.0,Borland C++3.1以及Turbo C 2.0对C语言实验的影响,提出在程序语言实验中多集成开发环境的协同应用.研究表明,多种集成开发环境在语言实验中的协同应用是可行的、必要的和高效的.

如何解决程序语言教学中的“知易行难”问题

针对程序语言学习中理论知识易懂而弱于解决实际问题的情况,分析教与学两方面的原因,提出解决"知易行难"问题的思路:一方面,通过对相关课程教学内容进行取舍和更新、建立课程群、加强实践指导等手段优化教学过程;另一方面,引入明辨性思维,开展第二课堂训练学生独立思考、主动探索的思维方式和学习习惯。

广东高校计算机基础程序语言类课程学习效果调查报告

为了更好地发现省内各高校程序语言类课程学习存在的问题,广东省高等计算机公共课程教学指导委员会于2009年11月至12月对省内10所院校进行了程序语言类课程教学现状调研。本文对调研结果进行分析,并针对当前程序语言类课程学习过程中的问题提出对策。

程序语言中错误处理模型的分析与比较

对目前使用的几种错误处理模型从错误表达、代码结构和多线程同步三个方面进行了分析比较 ,说明了它们的易用性。

命令式模糊程序语言的语义

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.

程序语言智能出题系统的设计与实现

系统地介绍了在ＰＣ系列机上实现的程序语言智能出题系统ＰＩＴＳ．给出了该系统的设计思想、总体结构和基本功能，对系统实现中若干重要问题进行了讨论．本系统设计原理思想及实现方法可推广到智能计算机辅助教学及其应用中．

面向对象的可视化程序语言教学成效探索

为了使VB一类面向对象的可视化程序语言的教学更有成效，本文提出了设定教学目标为培养学生用VB一类语言模拟现实系统的能力是一个有效导向；介绍了为实现这一教学目标，近年在教学中强调VB模拟现实系统的能力，引导学生自主学习以及使用VB的在钱帮助等几方面进行的尝试。

普通高等院校程序语言教学的改革与探索

面对就业压力的增加，市场需求的改变，普通高等院校的计算机程序语言教学模式和内容需要进行相应的课程改革。改革的内容涵盖教学目标、教学内容、教学方式以及课程考核评价等。

程序语言教学中的递归程序思维培养

递归程序设计思想在程序语言教学中处于重要地位,也是程序语言教学的难点。这篇论文从明确递归程序思想教学目标入手,从实际例子出发来引导学生正确理解递归思想并初步掌握其设计的基本方法。在此基础上通过构造趣味教学案例,巧妙设局,层层引入,从多方面多角度训练和培养学生的递归程序思维。通过以上教学环节的实施,取得了较好的教学实施效果,学生普遍接受了递归程序设计思想,并自觉运用递归程序设计思想来解决实际问题。

Comonads理论及其在函数式程序语言Haskell中的应用

函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。

也谈多种程序语言的综合应用

本文分析了采用“虚拟文件”接口的多语言系统存在的缺陷,并从提高软件产品性能的角度介绍了一种简洁明了的接口技术。

无纸化考试系统在Visual FoxPro程序语言设计理论考核中的应用

Visual FoxPro程序语言设计课程的基本知识点很多,无纸化考试系统通过在本课程中的利用可以提高考试效率,涵盖课程知识点。通过考试系统可以进行多用户同时在线考试、考试结束后自动判卷、题库维护以及用户管理等功能,能帮助考试主管部门提高工作效率,实现考试信息管理以及考试流程的系统化、规范化和自动化。该考试系统考试时间灵活,考生随机抽取考试题目,能够对高等院校的作弊现象起到一定的遏制作用。

基于混合思维能力培养的程序语言课程设计教学改革

本文针对传统程序语言课程设计实验提出了基于计算思维、工程思维和创新思维培养的实验教学方案,并通过设计实验流程和改革实验方法,培养学生分析问题、解决问题和抽象模型的计算思维能力和工程实践能力,通过递进式的任务驱动式课题激发学生创新意识和能力。实践证明,基于混合思维能力培养的教学改革方案对学生提高各项能力具有显著效果。