教学课程资源库 更多>>

关键词： 泛型程序设计   动态语义约束   抽象程序设计语言  

摘要： 面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持静态语法约束,但受语言其他方面的限制,抽象层次较低,定义的泛型概念难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离.该文综合比较了Java、C#、C++、Concept 4种支持泛型程序设计的语言,基于抽象程序设计语言Apla提出了离完整实现GP更近一步的泛型机制,通过同典型泛型实例对各种程序设计语言泛型特性进行分析,验证抽象泛型程序设计语言Apla中该泛型机制的优越性.

关键词： C++面向对象程序设计语言   教学   优化  

摘要： 本文针对C++面向对象程序设计语言这门课程的教学过程展开了讨论,分析了目前的教学过程中主要存在的问题,并提出了优化方法,以期提高该课程的教学质量,以供参考。

关键词： 大数运算   数据存储   正整数   高级程序设计语言  

摘要： 将利用高级程序设计语言对位数较多的正整数运算的算法进行算法分析和算法比较,再通过实际案例来解决因数据位数较多而无法正常存储和计算的问题.

关键词： 课程教学   学生实践能力   软件工程专业   程序设计语言   强化   软件工程课程   开发工具   软件设计模式  

摘要： 软件工程课程是软件工程专业一门综合性基础课程,对于软件工程专业的其他课程起到穿针引线的作用,是其他课程基础知识的综合应用,包含程序设计语言、数据库、开发工具、系统平台以及软件设计模式等内容,采用工程化的概念、原理、技术和方法进行软件的开发和维护,贯穿软件的全生命周期,包括软件的需求分析、设计、开发、测试、交付以及维护等全过程。

关键词： 数据链接   多点连接   connection   程序设计语言   传递参数   计算机程序   交互作用   功能部件  

摘要： 连接(connection)是互相衔接之意,指一般在程序设计语言中允许模块之间交互作用;各种功能部件之间为了传递信息所建立的联系,如级联连接、多点连接。链接(chaining)在计算机程序的各模块之间传递参数和控制命令、并把它们组成一个可执行的整体过程,如果第一个程序能引发第二个程序的执行,则称这2个程序是链接的,如数据链接、反向链接、搜索链接。

关键词： C语言  

ISBN: (纸本)9787113261368

摘要： 本书详细介绍了C语言的基础知识,包括数据类型、结构化程序设计及相关控制语句、数组、函数、指针、结构体及文件等。 本书在编写上体现了任务引领式教学思想,每个单元的开头展示了本单元的知识目标和能力目标,围绕本单元的知识目标和能力目标提出了一个总体任务,然后通过对与任务相关知识的学习,逐步达到完成本单元任务的目的,为巩固和强化知识的应用,设置了同步训练环节,该环节分为指导部分和练习部分,指导部分给出任务需求说明、实现思路和实现代码,练习部分基本以指导部分为模型,进行变形从而达到仿学仿做的教学效果。 本书知识结构完整、例题设计精巧、习题丰富多样,强调对知识应用能力的培养。引导学生通过上机实际操作,培养及训练学生的程序设计技能以及分析问题和解决问题的能力。 本书中的示例代码均经过细心调试,保证能够正确运行。

关键词： 程序设计教学   计算思维   VB   培养   Python语言   网络版   程序设计语言   学生  

摘要： 教育部公布的《普通高中信息技术课程标准(2017年版)》明确了信息技术学科核心素养,界定计算思维是“运用计算机科学领域的思想方法在形成问题解决方案的过程中产生的一系列思维活动”。很多教师投入很大的热情学习Python语言,以为将程序设计语言由VB或C等换成Pyt hon语言,就可以实现计算思维的培养,但如果程序设计语言的教学未关注解决问题的思维,只是程序语言的调整,那只会是“穿新鞋”走“老路”,又回到教编程语言的语法、语句上来。

关键词： 深度学习   信息技术   美国麻省理工学院   程序设计语言   教学   小学   媒体实验室   高效课堂  

摘要： Scratch是美国麻省理工学院媒体实验室开发的程序设计语言,它富有童趣,操作简便,学习者只要轻松地以搭积木的方式就能创造出交互式的故事、动画、游戏及艺术专题。随着Scratch程序设计走进课堂,如何提升学生学习Scratch编程的兴趣,打造深度学习的高效课堂变得尤为重要。

关键词： 程序设计语言   计算机科学   编译原理   形式语言   编译方法   文法   乔姆斯基  

摘要： 自1956年,乔姆斯基建立了形式语言的描述,使得形式语言的理论发展得十分迅速。形式语言的理论不仅对计算机科学有着深远的影响,也对编译方法、程序设计语言的设计等方面有着更重大的作用。乔姆斯基将文法分为0型,1型,2型,3型,本文重点介绍这四种文法的分类与判别条件。

关键词： 机器人程序设计   程序设计语言   机器人技术  

摘要： 随着计算机的普遍应用和计算机技术的不断提高,对于理工科来说C语言程序设计在教学中所占比重较大。由于应用型本科学生原有的计算机水平和学习能力参差不齐,C语言程序设计的教学效果也会存在差别。教师要结合当下热门技术和话题,分析C语言在其中优势,融入到C语言教学,提高教学效果。一、机器人应用技术现状从20世纪60年代在美国问世的第一台工业机器人开始,机器人技术发展迅猛。