程序设计中递归的探讨

递归是一种较难掌握的程序设计结构,在C语言、数据结构等课程教学中时有涉及。就学生掌握的情况看,很多学生并未深刻地掌握递归,不能灵活地进行应用。因此,就递归算法在程序学习中的作用及使用范围进行探讨,以期深化学生对该部分知识的掌握及运用。     

尾递归优化新方法

本文阐述了利用Ｔｕｒｂｏ Ｐｒｏｌｏｇ的动态数据库功能结合构造辅助谓词并借鉴传统语言的结构化程序设计思想及无需堆栈的显式循环和迭代的方法，交二般递归化为尾递归的新方法。文中列举数便进一步说明此方法的实际运用技巧。     

递归程序设计的理论基础探讨

本文从数学公式角度讨论了递归程序的实质和特点，以及编制归程序的一个通用方法，并通过产例加以详细的说明，另外对递归程序 韦条件进行了初步探讨。     

FOXPRO递归程序设计

递归是程序设计中最有力的方法之一,FOX-PRO提供相对于过程调用和返回处理的变量传递过程语句DO〈过程〉[WITH〈实参数表〉],PARAME-TERS,PRIVATE,RETURN〈表达式〉,并且充分利用了局部变量(PRIVATE)语句,即上级程序的内存变量名称暂时隐含,允许本级程序建立同名内存变量,又不影响被隐含变量的值,本级程序调用结束时,原被隐含的上级变量即行恢复,这样内存变量表就是一个动态数据区,实现了FOXPRO递归程序设计,充分发挥了FOXPRO的资源功能,对于某一变量来     

递归Prolog程序终止问题的探讨

本文用Ｐｒｏ图的方法讨论了递归Ｐｒｏｌｏｇ程序的终止问题。其中包括Ｐｒｏ图的概念和Ｐｒｏ图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。     

以问题结构为基础的递归程序设计

对递归程序的结构进行了较为深入的研究,提出了递归程序的更一般结构,根据此结构,给出了复杂的递归疸的程序设计方法,根据此方法,可方便地写出较为复杂的递归问题的递归程序,从而提高设计递归程序的效率。     

一种新型程序设计范型概述

介绍了一种新型程序设计范型——生成式程序设计提出的背景和意义、概念、分类、研究概况、存在的问题以及进一步的研究方向。     

基于C语言的递归函数教学方法探讨

本文从实际教学出发,首先讨论了递归的基本条件,总结出递归程序的设计方法,然后详细分析递归程序的执行过程并给出了递归程序的一般结构,最后让学生自己分析汉诺塔问题并动手写程序,在教学中取得了较好的效果。     

间接递归中的“向前引用”

本文介绍了“向前引用”的概念和作用,并通过产例进一步说明“向前引用”在间接递归中的使用。     

Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms

Dynamic programming is a well-known algorithmic technique that solves problems by a combination of dividing a problem into subproblems and using memoization to avoid an exponential growth of the costs. We show how to implement dynamic programming in Haskell using a variation of hylomorphisms that includes memoization. Our implementation uses polymorphism so the same function can return the best score or the solution to the problem based on the type of the returned value.     

Axioms for Recursion in Call-by-Value

We propose an axiomatization of fixpoint operators in typed call-by-value programming languages, and give its justifications in two ways. First, it is shown to be sound and complete for the notion of uniform T-fixpoint operators of Simpson and Plotkin. Second, the axioms precisely account for Filinski's fixpoint operator derived from an iterator (infinite loop constructor) in the presence of first-class continuations, provided that we define the uniformity principle on such an iterator via a notion of effect-freeness (centrality). We then explain how these two results are related in terms of the underlying categorical structures.     

递归与循环算法分析

程序设计中没有用到循环或递归算法，很难解决一些实际问题。本文以斐波那契（Fibonacci）数列为例对递归与循环算法的时间复杂度作了比较、分析。     

Scheme语言递归问题的实现

对于八皇后问题，曾有许多人采用不同的程序设计语言和不同的算法加以解决，本文采用函数式程序设计语言Scheme的递归算法来解决八皇后的问题。     

递归算法在面向内容音乐信息近似检索中的应用

针对现有面向内容音乐信息近似检索算法的弊端,结合递归算法的特点,设计了一则基于递归的面向内容音乐信息近似检索算法;为配合该算法,设计了相应的基于R-tree树的音乐信息索引结构方案;经理论分析和对比实验结果,发现以递归来设计音乐信息近似检索算法,可得到较佳的检索效率。     

递归与循环算法分析

程序设计中没有用到循环或递归算法,很难解决一些实际问题。本文以斐波那契(Fibonacci)数列为例对递归与循环算法的时间复杂度作了比较、分析。     

软件过程中的范型研究

为实现软件工程的目标,有必要研究软件开发过程。论文规范了软件开发方法学、软件过程范型、模型和编程范型等概念;讨论了软件过程中各种范型之间的关系;研究了选择范型的原则和机制。本研究有助于软件实施。     

浅谈递归算法在程序设计中的运用

递归在计算机科学和数学中都是一个重要的问题求解工具,许多复杂问题的求解都可以用递归算法去解决,适当的使用递归算法可以简化复杂问题。该文通过具体的实例,讨论了递归算法的实现,并对递归算法进行了进一步的探讨。