递归函数相关论文
本文简要分析自我递归结构在埃舍尔几幅著名作品中的应用,以图形设计过程中设计灵感的获取、设计程序的敲定、设计信息的提炼之间......
五月一个阳光明媚的下午,在加州大学伯克莱分校,Brian Harvey 教授正在上计算机科学基础课,这是期末考试前最后一次集中上课了。Ha......
<正>1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和......
XML作为半结构化数据描述语言在互联网上被广泛地用于数据交换和数据共享。W3C为满足对XML数据的查询和处理需求,针对XML的数据特点......
该文叙述的工作如下.首先介绍部分计值的思想和技术,并阐明部分计值和基于解释的泛化之间的关系,用逻辑演绎的方式表明它们的算法......
一、导言现代逻辑发展的主流,自从布尔(G.Boole)到弗雷格(G.Freqe)的开创性时期以来,沿着数学兴趣和应用的方向发展,取得了十分显......
计算机在人类生活中的地位越来越重要,应用也越来越广泛,人们越来越离不开计算机,而计算机给我们的不成熟、不稳定、不安全、不科......
数理逻辑是现代科学与技术的发展中最重要的新兴领域之一。它是一门“边缘”科学。它的研究对象深深地伸入好几门科学的对象中去,......
今年4月初举行了全国计算机等级考试。本期对这次考试二级笔试试卷中C语言程序设计部分作一分析,下期将对试卷中的难点进行解析。......
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术......
形式规约语言LFC是为支持形式规约的获取工作而开发的.该语言具有多种特色,如:以定义在上下文无关语言上的递归函数为基础;在语言......
该文提出了一种原子钟信号的数字仿真--模拟方法。具体过程是:先产生模拟所需的正态分布随机数,从实际钟的阿仑方差估算出噪声电平,然后......
本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序.该程序从递归函数定义出发,自动生成归纳法模板;从待证定理出发,借助归纳......
C语言课程是单招计算机专业重点高考课程之一,难度系数高,高考分值大,往届高考成绩不甚理想,将有效教学思想应用于C语言课堂之中,......
函数递归基于分治法思想,将复杂的大规模问题转化为小规模问题进行求解,在算法设计中具有重要的理论意义和实用价值,是C语言教学的难......
将模糊Zadeh算子的定义域作了扩充,并重新定义为模糊极大极小算子,使其满足交换律、结合律和零元律.在此基础上提出一种模糊极大极小......
本文介绍了利用AutoLISP语言对AutoCAD进行二次开发─—绘制函数曲线以及如何使其成为实用绘图命令的方法,同时分析了程序设计中可能遇到的问题,并提......
给出了循环数列的定义,并用克莱姆法则证明了循环数列通项可用一个表达式表示。...
提出一种关于最小生成树的生成法,此方法是在一个给定的网络中,首先找到一条权最大的边,判断此边的2个结点在不经过此边的情况下是......
建立与遍历一棵二叉树历来为数据结构中不可缺少的内容。由于C语言仅有单向的“值传递”,所以多年来数据结构教课书中,皆使用指针函......
给出了Fibonacci问题的一种新的解模型.通过这个模型,找出了兔群的转移规律,得到一个与传统的递归解完全一样的非递归算法.......
本文提出了一种用于计算机进行模型自动发现和自动维护的方法──递归函数方法。本文的主要工作包括:(一)应用递归函数理论给出了模型......
一个过程直接或间接地引用自身,或者一个定义中又部分地引用自身,它们就是递归式的过程或定义。对于具有推理、归纳性质的复杂算法......
§1 介绍与基本概念最近,许多文章讨论r.e。集合的T-度与W-度之间的结构差别,例如Lerman和Remmel讨论USP性质以及UWP性质。198......
分析C程序的函数调用机制,阐述函数调用可视化实现技术,并利用GNU编译器工具链跟踪函数,对函数调用进行可视化展示,从而有助于对复......
递归函数独特的运算方式,使其在人工智能和各种事务处理过程中有着广泛的应用,因而成为一个重要的研究课题.文中以迷宫、汉诺塔等......
C语言是计算机类课程的一门重要课程。运用内容分析法与文献研究法,分析C语言课程特点以及课堂教学存在问题与微课应用现状,以递归......
从公理语义的角度,讨论C语言的重要机制─—函数─—的语义。...
本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并......
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。......
目前提高软件可靠性的方法有3种:动态测试、静态分析和程序验证.动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不......
递归论是数理逻辑的一个分支,形成于本世纪30年代。最初的任务是刻划和研究自然数的一切算法函数类。因此递归论被称为研究递归函数......
研究了定义递归函数过程中极小化运算的次数问题,证实了任意一个递归函数可以从初始子数出发,经有限次复合,递归和至多一次极小化运算......
C语言程序设计关于斐波那契数列问题的解决方案有七种,分别是两种循环结构的实现方法,一种数组变量的方法,四种用户自定义函数的方......
作为早期研究成果的特殊情况和续篇.我们来研究递归Riemann Zeta-函数ζ(s)的Taylor系数,并且建立了它们与Laurent coefficients之间的......
通过举例就如何编写递归程序的问题进行了探讨。...
晚清数学家戴煦在《外切密率》中用递归法同时定义了正切数和欧拉数,在世界数学史上是一重要创新,提醒人们注意两者间的“对称”关......
我们在[5]中提出了K-n-度的概念,证明了∑<sub>n</sub><sup>p</sup>≠∑<sub>n+1</sub><sup>p</sup>当且仅当存在无穷多个不同的K-......