全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 theorem 在 逻辑学 分类中 的翻译结果: 查询用时：0.066秒
 历史查询

 theorem 定理(0)定理的(0)原理(0)
 定理
 This paper makes simple analysis on Godel First Incompleteness Theorem and Godel Second In- completeness Theorem,thus demonstrates that there are mistakes in the process of proving the two Godel theorems. 简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。 短句来源 On the other hand, we construct a theorem A and prove G(A) = F, thus we proved that there exists a theorem which can not be proved without the axiom or inference rule whose independence we are seeking by contradiction. 另一方面,我们再构造一条定理A,证明G(A)=F(或0),由此证明了存在一条定理,它不用我们想要证明其为独立的那条公理或推理规则就无法被证明,从而得出我们欲证的那条公理或推理规则的独立性。 A theorem in F can be a rule in expert systems if it is, once translated into the Cn form, also a theorem in Cn. F中的定理可成为专家系统中的规则,当且仅当,F 中的定理翻译成Cn 的式后也是Cn 的定理。 The Omitting Type Theorem in Lattice valued Model Theory of L(Q) (Q)格值模型的省略型定理 短句来源 A compactness theorem of abstract semantics 关于抽象逻辑紧致性的一个定理 短句来源 更多
 定理的
 This paper makes simple analysis on Godel First Incompleteness Theorem and Godel Second In- completeness Theorem,thus demonstrates that there are mistakes in the process of proving the two Godel theorems. 简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。 短句来源 The Prohibition of Self-reference & Substitution Propositions——The Elimination of the Liar Paradox and Discussion of Godel's Incompleteness Theorem 禁止使用自指代命题——说谎者悖论的排除和哥德尔定理的讨论 短句来源 On the Mistakes in the Process of Proving Godel Incompleteness Theorem 哥德尔不完全性定理的证明过程有误 短句来源 It is proved in the machine of the theorem. This text also introduces the reasoning simulation system of the analogy , settle a lawsuit in analogy, conflict controlling , project application , software putting in double use and model is managed ,etc. 本文还简要介绍了类比推理模拟系统在定理的机器证明、类比断案、冲突控制、工程应用、软件重用和模型管理等方面的运用。 短句来源 The product space(with the product topology) of any family of compact spaces iscompact. This is a well known theorem in topology. In this paper. 任意个紧致空间的乘积（用积拓扑）仍然是紧致空间，这是个拓朴学上已知的定理．本文使用超限归纳法给出了这个重要的定理的一个较简单且较易于记忆的证明． 短句来源 更多
 定理
 This paper makes simple analysis on Godel First Incompleteness Theorem and Godel Second In- completeness Theorem,thus demonstrates that there are mistakes in the process of proving the two Godel theorems. 简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。 短句来源 On the other hand, we construct a theorem A and prove G(A) = F, thus we proved that there exists a theorem which can not be proved without the axiom or inference rule whose independence we are seeking by contradiction. 另一方面,我们再构造一条定理A,证明G(A)=F(或0),由此证明了存在一条定理,它不用我们想要证明其为独立的那条公理或推理规则就无法被证明,从而得出我们欲证的那条公理或推理规则的独立性。 A theorem in F can be a rule in expert systems if it is, once translated into the Cn form, also a theorem in Cn. F中的定理可成为专家系统中的规则,当且仅当,F 中的定理翻译成Cn 的式后也是Cn 的定理。 The Omitting Type Theorem in Lattice valued Model Theory of L(Q) (Q)格值模型的省略型定理 短句来源 A compactness theorem of abstract semantics 关于抽象逻辑紧致性的一个定理 短句来源 更多

我想查看译文中含有：的双语例句

 theorem
 In the case of 3-dimensional commutative algebras a new proof of a recent theorem of Katsylo and Mikhailov about the 28 bitangents to the associated plane quartic is given. If the additive group of complex numbers acts algebraically on a normal affine variety, then the associated ring of invariants need not be finitely generated, but is an ideal transform of some normal affine algebra (Theorem 1). If the variety is a complex affine space and the ring of invariants is isomorphic to a polynomial ring, then the action is conjugate to a translation (Theorem 3). On the other hand, there is a locally trivialGa-action on a normal affine variety with nonfinitely generated ring of invariants (Theorem 2). As an application of the results we prove a generalization of Chevalley's restriction theorem for the classical Lie algebras. 更多
 By using the technigue of pointwise representation, this paper goes somewhat deeper into the theory of fuzzy subspaces. It has mainly studied the structure of generated fuzzy subspaces, and various relations between a fuzzy set and its generated fuzzy subspace are given. Furthermore, a pointwise representation theorem for fuzzy subspaces is presented. 本文利用点态表示方法进一步探讨了Fuzzy子空间理论,着重研究了生成Fuzzy子空间的结构,给出了Fuzzy集与其生成Fuzzy子空间之间的各种关系,进而,文章还给出了Fuzzy子空间的一个点态表示定理。 Some recursive relations were derived for the radial matrix elements of Hydrogenic Atom using hypervirial Theorem and ladder operators. These relations are very useful in calculating high order matrix elements recursively from a few known values of lower order on.es to a high degree of accuracy without the round error of computation as in the standard formula. The consequence of this paper can be extended to the study of Rydberb states of multi-electron atoms. 本文使用超维里定理与升降算符方法,导出了氢原子跃迁矩阵元与平均值计算的一些递推关系式.使用这些递推关系式可克服直接计算公式中交替双重求和所带来的计算机舍入误差,可从少数几个低阶矩阵元出发,求出任意幂次径向算符的矩阵元,从而可为里德堡原子激发态结构的现代研究提供必备的高阶微扰计算公式. The energy levels of the 1~P~e states of the helium atom have been calculated with the aid of the Hydrogen-like wavefunetions. The obtained results have been evaluated by the virial theorem are in good agreement with the calculations by Lipsky. 本文利用类氢波函数计算了氦原子双激发态~1P~e中的N=2,3系列能谱,利用维里定理对计算结果给出了评估,并与Lipsky等人的结果进行了比较,结果令人满意、 << 更多相关文摘
 相关查询

 CNKI小工具 在英文学术搜索中查有关theorem的内容 在知识搜索中查有关theorem的内容 在数字搜索中查有关theorem的内容 在概念知识元中查有关theorem的内容 在学术趋势中查有关theorem的内容
 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
2008 CNKI－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社