结果给出了该类半环成为分配格的几个等价命题。
Results Some equivalent statements are obtained concerning a semiring becoming a distributive lattice.
本文通过变分法欧拉方程推导出极小曲面的几个等价命题。
This paper investigates several equiyalent propositions of minimal curve surface by means of the euler equation of calculus of variations .
本文给出了关于准正则图的五个等价命题,使我们可以更好了解准正则图的本质。
This paper gives five equivalent propositions for almost regular graphs, and so that we can see the almost regular graphs better.
渐近鞅型序列具有很好的性质,本文给出实值渐近鞅的四个等价命题,并应用停时理论对它们予以证明。
Amarts have very good properties. This paper gave the four equivalent propositions of R-Value's amart and their proofs by utilizing the theory of stopping time.
本文应用形式矩阵的计算技巧,得到李善兰恒等式的一个等价命题,进而给出李善兰恒等式的一个初等证明。
In this article we apply formal matrices technique to get a equivalent proposition of Li Shanian identity, and hence give an elementary proof for Li Shanlan identity.
首先,通过对再生核的研究,给出了小波级数的部分和在跳跃间断点处的收敛性与再生核之间的关系的等价命题。
First, by studying the producing kernel, equivalent positions of the relation between the convergence of partial sums of wavelet expansions at jumping points and producing kernel are given.
文章研究的是解析函数的等价命题和解析函数及其柯西—黎曼方程在解决物理学中平面场的无源无旋问题中的应用。
This paper discusses several equivalent propositions in analytic function and their application to the nonsource and irrotation problems of plane field in physics.
文章运用数论中的一些简单结果,如辛达拉姆筛法与威尔逊定理,建立了哥德巴赫猜想、孪生素数猜想以及费马素数猜想的等价命题。
This paper sets up equivalent propositions of Goldbach's Conjecture and Twin Prime Conjecture and Fermat's Conjecture for prime numbers by using the simple result among the number theory.
其次,为使此定理的应用变得直接简便,我们还给出了关于拓扑空间(组)之间同伦等价的几个命题。
Secondly, in order to favor utilizing this theorem, several propositions are given on the homotopy equivalence between two topological space sets.
我们给出一个与传统的全序域定义等价的全序域定义,并由此推导出一系列关于全序域的基本命题。
We give a new definition of the so-called ordered field which is equivalent to the traditional one, and derive a series of the basic propositions with this new definition.
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义,同时分析它们的形式和用法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
应用推荐