递归-一流百科

几何模型

简介几何模型是应用数学和计算几何的一个分支，研究形状的数学描述的方法和算法。几何建模中研究的形状大多是二维或三维的，尽管它的许多工具和原理都可以应...

词条百科

不动点组合子

不动点组合子在一般的数学和计算机科学中，函数的不动点是由函数映射到自身的值。在计算机科学的组合逻辑中，定点组合子（或定点组合子）是一个高阶函数 fix ...

词条百科

庞加莱映射

庞加莱映射在数学中，特别是在动力系统中，以 Henri Poincaré 命名的xxx个递归映射或递归映射是连续动力系统状态空间中的周期轨道与某个低维子空间（称为 Poi...

词条百科

阿克曼函数

阿克曼函数在可计算性理论中，以 Wilhelm Ackermann 命名的阿克曼函数是非原始递归的总可计算函数的最简单和最早发现的示例之一。所有原始递归函数都是全函...

词条百科

原始递归函数

原始递归函数在可计算性理论中，原始递归函数粗略地说就是一个可以被计算机程序计算的函数，其循环都是for循环（即在进入循环之前可以确定每个循环的迭代次数...

词条百科

递归

递归递归（形容词：递归）发生在根据自身或其类型定义事物时。递归用于从语言学到逻辑学的各种学科。递归最常见的应用是在数学和计算机科学中，其中定义的...

词条百科

递归可枚举语言

递归可枚举语言在数学、逻辑和计算机科学中，一种形式语言被称为递归可枚举的（也可识别的、部分可判定的、半可判定的、图灵可接受的或图灵可识别的）如果它...

词条百科

递归函数

递归函数在数理逻辑和计算机科学中，一般递归函数、部分递归函数或 μ 递归函数是从自然数到自然数的部分函数，在直觉和形式上都是可计算的。如果函数是全函...

词条百科

互递归

互递归在数学和计算机科学中，相互递归是递归的一种形式，其中两个数学或计算对象（例如函数或数据类型）是根据彼此定义的。互递归在函数式编程和一些问题领...

词条百科

编号 (可计算性理论)

编号（可计算性理论）在可计算性理论中，编号是将自然数分配给一组对象，例如函数、有理数、图形或某种形式语言中的单词。编号可用于将最初使用可计算函数定...

词条百科

递归 (计算机科学)

递归（计算机科学）在计算机科学中，递归是一种解决计算问题的方法，其中的解决方案取决于同一问题的较小实例的解决方案。递归通过使用从自己的代码中调用自...

词条百科

递归可枚举集合

递归可枚举集合在可计算性理论中，一组自然数 S 被称为可计算可枚举 (c.e.)、递归可枚举 (r.e.)、半可判定、部分可判定、可列出、可证明或图灵可识别，如果：...

词条百科

递归集合

递归集合在可计算性理论中，一组自然数被称为可计算的、递归的或可判定的，如果有一种算法将一个数字作为输入，在有限的时间（可能取决于给定的数字）后终止...

词条百科

可计算函数

可计算函数可计算函数是可计算性理论研究的基本对象。可计算函数是算法直观概念的形式化模拟，从某种意义上说，如果存在可以完成函数工作的算法，则函数是可...

词条百科

可计算性

可计算性可计算性是有效解决问题的能力。它是数理逻辑中可计算性理论领域和计算机科学中计算理论领域的一个关键课题。问题的可计算性与解决问题的算法的存...

词条百科

共递归

共递归在计算机科学中，核心递归是一种与递归对偶的运算。递归以分析方式工作，从基本案例开始处理数据并将其分解为更小的数据并重复直到到达基本案例，而核...

词条百科

平方求幂

平方求幂在数学和计算机编程中，平方取幂是快速计算一个数的大正整数幂的通用方法，或者更一般地计算半群的元素，如多项式或方阵。一些变体通常称为平方和乘...

词条百科

Rnn（软件）

简介rnn是一个开源的机器学习框架，它在R编程语言中实现了LSTM和GRU等递归神经网络架构，已经被下载超过10万次（仅来自RStudio服务器）。rnn软件包是在开源的...

词条百科

神经网络高斯过程

神经网络高斯过程贝叶斯网络是一种建模工具，用于为事件分配概率，从而描述模型预测的不确定性。深度学习和人工神经网络是机器学习中用来建立计算模型的方法...

词条百科

视频游戏中的机器学习

视频游戏中的机器学习在视频游戏中，各种人工智能技术被以各种方式使用，从非玩家角色（NPC）控制到程序性内容生成（PCG）。机器学习是人工智能的一个子集，...

词条百科

Legendre矩

Legendre矩在数学中，Legendre矩是一种图像矩，通过使用Legendre多项式实现。Legendre矩被用于图像处理领域，包括：模式和物体识别、图像索引、线条拟合、特...

词条百科

有限模型属性

简介在数理逻辑中，如果L的任何非定理都被L的某个有限模型所证伪，则逻辑L具有有限模型属性（简称fmp）。另一种说法是，如果对于L的每个公式A，当且仅当A是L...

词条百科

归纳编程

简介归纳编程（IP）是自动编程的一个特殊领域，涵盖了来自人工智能和编程的研究，它解决了从不完整的规格，如输入/输出实例或约束条件，学习典型的陈述性（逻...

词条百科

递归数据类型

递归数据类型在计算机编程语言中，递归数据类型（也被称为递归定义、归纳定义或归纳数据类型）是一种用于可能包含相同类型的其他值的数据类型。递归类型的数...

词条百科

归纳类型

归纳类型在类型理论中，如果一个系统具有从创建该类型的常量和函数中创建新类型的设施，那么它就具有归纳类型。该功能的作用类似于编程语言中的数据结构，并...

词条百科

有界量化

有界量化在类型理论中，有界量化（也是有界多态性或有界泛型）指的是普遍的或存在的量词，这些量词被限制（有界）在一个特定类型的子类型上范围。有界量化是...

词条百科

理查森外推法

理查森外推法在数值分析中，理查森外推法是一种序列加速方法，用于提高某个数值的估计序列的收敛率。.它是以LewisFryRichardson的名字命名的，他在20世纪初引...

词条百科

成对求和

简介在数值分析中，成对求和也叫级联求和，是一种对有限精度浮点数序列进行求和的技术，与天真地依次累加求和相比，可以大大减少累积的舍弃误差。虽然还有其...

词条百科

列文森递归

列文森递归列文森递归或列文森-杜宾递归是线性代数中的一个程序，用于递归地计算涉及托普利茨矩阵的方程的解。该算法的运行时间为Θ(n2)，这比高斯-乔丹消除法...

词条百科

克伦肖算法

克伦肖算法在数值分析中，克伦肖算法，也叫克伦肖求和法，是一种评估切比雪夫多项式线性组合的递归方法。该方法由CharlesWilliamClenshaw于1955年发表。它是H...

词条百科

1 2