公共文化服务平台

搜索到148篇“ 递归程序“的相关文章

体会—理解—内化:高中递归程序教学三步: 2024年; 高中信息技术教学中,递归可将复杂问题简单化,且递归程序代码较为简洁,是程序设计必备的算法。递归同时也是高中信息技术课标要求学生所掌握的算法。在教学中,教师可从体会递归的原理、深层次理解递归、内化递归思维三个方面展开,促进学生理解递归,进而形成递归思维。; 张宏亮; 关键词：高中信息技术递归算法递归程序

基于函数式语义的循环和递归程序结构通用证明技术: 2023年; 各类安全攸关系统的可靠运行离不开软件程序的正确执行.程序的演绎验证技术为程序执行的正确性提供高度保障.程序语言种类繁多,且用途覆盖高可靠性场景的新式语言不断涌现,难以为每种语言设计支撑其程序验证任务的整套逻辑规则,并证明其相对于形式语义的可靠性和完备性.语言无关的程序验证技术提供以程序语言的语义为参数的验证过程及其可靠性结果.对每种程序语言,提供其形式语义后可直接获得面向该语言的程序验证过程.提出一种面向大步操作语义的语言无关演绎验证技术,其核心是对不同语言中循环、递归等可导致无界行为的语法结构进行可靠推理的通用方法.特别地,借助大步操作语义的一种函数式形式化提供表达程序中子结构所执行计算的能力,从而允许借助辅助信息对子结构进行推理.证明所提出验证技术的可靠性和相对完备性,通过命令式、函数式语言中的程序验证实例初步评估了该技术的有效性,并在Coq辅助证明工具中形式化了所有理论结果和验证实例,为基于辅助证明工具实现面向大步语义的语言无关程序验证工具提供了基础.; 李希萌王国辉张倩颖施智平关永; 关键词：定理证明

同一个问题的循环程序与递归程序实现的比较: 2022年; 马克思曾说过:“比较方法是理解现象的钥匙。”不怕不知道,就怕不比较,有比较才有鉴别。学生通过对同一个问题设计其循环程序与递归程序的比较,使学生亲身体验和感受循环程序与递归程序的不同,真正深刻地认识到循环程序与递归程序的各自优点,引导学生更深入的认识循环程序与递归程序,激发学生学习循环程序与递归程序的浓厚兴趣。; 张竞朱子楠梁晗张丽; 关键词：递归程序

Scratch递归程序设计的教学探讨被引量：1: 2020年; 在常规的程序设计教学中,递归算法能在运行过程中实现自我调用,能将大问题层层转化为小规模相似问题来进行求解,虽然其理解上抽象难懂但却能够轻巧地解决很多复杂问题,是结构化程序教学上重点和难点。通过对递归算法原理的分析,提出抓住三个要点及构造递归表达式的学习方法。结合Scratch简洁的编程风格,通过举例提出基于Scratch的递归算法教学引导思路,并分析探讨更有效的递归教学方法。; 江玉珍朱映辉邓清华王晓辉陆锡聪; 关键词：递归递推 SCRATCH 汉诺塔

递归程序设计教学方法的研究被引量：10: 2017年; 递归程序设计基于分治法和全息的思想方法,将大规模系统中的复杂问题转化为小规模系统问题进行求解(如Hanio塔问题)。递归算法是一种自然且合乎逻辑的解决问题的方式,但其执行效率通常比较差。因此,在求解某些问题时,常采用递归算法来分析问题,用非递归算法来求解问题;递归程序设计在算法设计中具有重要的理论意义和实用价值,但其在C语言、数据结构、程序设计教学上是难点,主要是思想方法的不同。介绍了在教学中通过一组例题从简单到复杂的程序实例,引导学生由浅入深地掌握递归程序及搜索的编写技巧,取得较好的效果。; 吴晓晨; 关键词：C语言递归函数教学方法

用C语言实现N皇后问题的递归程序及分析被引量：2: 2016年; 利用一种简易的递归回溯算法,给出C语言实现N皇后问题的伪代码和完整程序,并在程序中准确地显示出皇后的各种摆法。程序逻辑清晰,结构明了,便于理解掌握,对于学习C语言编程具有很好的帮助促进作用。; 冯林生张惠民; 关键词：N皇后问题 C语言

基于上下文定界的队列通信并发递归程序验证方法: 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post<Sup>*</Sup>算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次数k利用上下文...; 钱俊彦贾书贵赵岭忠蔡国永郭云川; 文献传递

基于上下文定界的队列通信并发递归程序验证方法: 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post<Sup>*</Sup>算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次数k利用上下文...; 钱俊彦贾书贵赵岭忠蔡国永郭云川; 文献传递

递归程序编写方法探讨: 2013年; 递归程序是一种有效而简单的程序设计方法。它使得程序的逻辑思路简洁、清晰。本文就递归程序的写法及递归程序的优化进行论述,可以用公式法和数学归纳法编写递归程序。这两种方法使递归程序的编写变得简单,同时对于递归程序存在的占用大量的系统时间和弓箭的情况,给出尾部递归的方法加以解决。; 宋金平; 关键词：递归公式法数学归纳法

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

相关作者