recursively axiomatizable

基本解释递归可公理化

网络释义

1)recursively axiomatizable,递归可公理化2)recursively axiomatizable,递归可公理化的3)axiom of reducibility,可化归性公理4)recursively enumerable sets/recursivelycontrolled Turing reducibility,递归可枚举集/递归控制Turing可化归性5)recursion formula,递归公式6)recursive formula,递归公式

用法和例句

Based on the Gaussian kernel function, the recursion formula of bandwidth is derived.

在未知总体分布的情形下,给出密度核估计中选择窗宽的一个新方法,并在选取高斯核的情形下,推导出计算窗宽的递归公式。

Based on recursion formula of two given sequences whose lengths are n and m,and applying the skill of generating function,the enumberation expression is concluded.

应用组合数学的技巧研究了两个序列比对的计数问题,根据已知两个长度分别为n、m的DNA序列比对的递归公式,利用发生函数求出了两序列比对数的表达式。

Particular solutions of some elliptic partial differential equations via recursive formulas;

基于递归公式求解某些椭圆型偏微分方程之特解(英文)

Based on the uniform recursive formula, four methods (central difference method, Newmark′s method, Z-transform method and Duhamel′s step integral method) are systematically studied.

本文在简要总结了计算单自由度系统地震反应频域方法和时域方法的特点之后,按照统一的递归公式,系统地对计算单自由度体系的四种时域方法即中心差分方法、Newmark方法、Z变换方法、Duhamel逐步积分法进行了对比研究。

In this paper,we analyze firstly the relationship between positive regions in the context of rough set and in light of which we derive a simple recursive formula for computing the approximation quality.

首先分析粗糙集中不同正区域之间的关系 ,在此基础上推导出近似精度计算的一个简洁的递归公式 。

Computing Acyclic Direct Network Reliability Based on First Depth Search

一个计算无圈有向网络可靠性的递归公式

A Recurrence Formula of ζ(2t) (t is a positive integer);

Riemann Zeta函数ξ(2t)(t为正整数)的一个递归公式

In this paper, using recurssion formaula of the adjoint polynomial, we shall obtain adjoint polynomials of two graphs.

本文运用伴随多项式的递归公式,求出了两类图的伴随多项式。

The Recursive Equation of Homogeneous Linear Recurrent Sequence of Number Formed by General Term Formula;

由通项公式构造齐次线性递归数列的递归方程

The General Formula of A Usual Type of Linear Recursive Sequence;

一般形式的线性递归数列的通项公式

Method for matrix solution of constant coefficient recursive sequences general term equation;

常系数递归数列通项公式的矩阵求法

Infinite recursion detected during execution of calculated cell formula %1 at pass %2.

在传递 %2 上计算单元公式 %1 的执行过程中检测到无限递归。

Prove and Application of Sequences General Term Equation;

一类线性递归数列通项公式的证明和应用

Methods for obtaining the general term formulae of a kind of non-linear、non-homogeneous recursive sequences;

一类非线性、非齐次递归数列的通项公式的求法

Initial Value Problem of Binary Linear Recurrence Relation and Calculation Formula of Second-order Matrix Square Power;

二元线性递归关系的初值问题与二阶矩阵方幂的计算公式

Change of Variables for General Formula of Non-homogeneous Linear Recursive Sequence with Constant Coefficients;

常系数非齐次线性递归数列通项公式计算的通项变换法

The Methods of Mathematical Thought in Finding the General Term of First Order Constant Coefficient Linear Recursive Sequence;

求一阶常系数线性递归数列通项公式的数学思想方法

The paper introduces the general form of recursive model, the process of recursive program running and the recu-rsive program design.

介绍了递归模型的一般形式、归程序的执行过程及递归程序设计。

The Recursive and Non-recursive Backtrack Algorithms for Nine Different Numerals Constitute an Equation of Multiplication

九位不同数字乘法等式的递归与非递归回溯算法

One of Distributed Recursive Queries Based on XML

基于XML的分布式数据库递归查询优化

It mainly investigates a special method for recursive program design and its applications a-bout the complicated recursion from the angle of the mathematical formular.

重点从数学公式的角度探讨了复杂递归问题的一类特殊编程方法及其应用。

The Recursion Relization of the Greatest Common Divisor of Many Numbers with the Continuous Minus Method;

辗转相减法求多个数的最大公约数的递归实现

Cannot call constructor recursively (directly or indirectly)

无法以直接或间接方式递归调用构造函数

最新行业英语

行业英语