助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   给出 在 逻辑学 分类中 的翻译结果: 查询用时:2.063秒
图标索引 在分类学科中查询
所有学科
逻辑学
数学
计算机软件及计算机应用
自动化技术
电信技术
电力工业
物理学
无线电电子学
建筑科学与工程
更多类别查询

图标索引 历史查询
 

给出    
相关语句
  given
    Congruence partitions about  on F(S) have been given in logic system r,G r,S n, respectively by utilizing the concepts of accessible generalized tautology and α contradiction.
    利用可达广义重言式概念和α 矛盾式概念分别在 Gr,Gr,Sn 中给出了F(S)的一个关于 同余的分划 .
短句来源
    Congruence partitions about  on F(S) have been given in logic system ,G,G n , respectively by utilizing the concepts of accessible generalized tautology and α contradiction.
    利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。
短句来源
    The formal deductive system B of universal logic in the ideal condition(the generalized correlative coefficient h=0.5 and the generalized self-correlative coefficient k=0.5)has been given in paper3.
    文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。
短句来源
    Results Two simpler new characterization theorems of R_0-algebras and week R_0-algebra are given.
    结果给出了R_0代数一个新的特征定理并证明了该定理中各条件相互独立。
短句来源
    Conclusion The given definition of R_0-algebras is simplest.
    结论所给出的(弱)R_0代数的简化定义已是最简。
短句来源
更多       
  is given
    In this paper we give four sufficient conditions about the continuity of sample function of strong stationary process. A new sufficient condition is given under the condition of independent increment process.
    本文讨论强平稳过程的样本函数,对其连续性提出了四个充分条件,并且在[2]的基础上对独立增量的情形给出一个充分条件.
短句来源
    Finally a running result of a real case on the system is given.
    并给出了一个实际例在该系统下的运行结果。
短句来源
    The accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function. The main result is that when α is an irrational number, the set of accessible (α-tautology) is empty, consequently, a kind of partition on F(S) is given.
    利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.
短句来源
    Fuzzy proposition "if A then B"is described as R0 implication operator, where A and B is a fuzzy set respectively. A concrete R0 Fuzzy Modus Ponens inference is given.
    用R0蕴涵算子描述了模糊命题“若A则B”,并通过一个例子给出了运用模糊取式推理的R0 方法进行推理的具体操作过程.
短句来源
  are given
    Results Two simpler new characterization theorems of R_0-algebras and week R_0-algebra are given.
    结果给出了R_0代数一个新的特征定理并证明了该定理中各条件相互独立。
短句来源
    Based on the triple-I method,the expressions of triple-I algorithm and α-triple-I algorithm are given when the implication operator is used in an implication lattice.
    基于模糊推理的全蕴涵三I算法,给出了当蕴涵算子→为蕴涵格中的蕴涵算子(称为IL型蕴涵)时的三I算法和α-三I算法的表达式,并进一步讨论了IL型三IMT算法.
短句来源
    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子空间的一个点态表示定理。
短句来源
    The three valued sentential logic based on the Open World Assumption(SLO)is developed from Ju Shier(1996,1997); the semantics and formal axiomatic system of SLO are given; and SLO is proved to have consistency and adequacy.
    在文献(鞠实儿,1996和1997)的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO),给出SLO的语义理论,构造相应的形式公理系统,并证明该形式系统具有一致性和恰当性。
短句来源
    In this paper, R 0 algebras are further studied. Some properties of R 0 algebras are given out, and the relationship among R 0 algebras and other algebraic systems related to fuzzy logic is clarified.
    文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统之间的关系。
短句来源
更多       
  gives
    This paper we gives invariant theorem of average based on the formulas' truth degree in the finite interpretation,some reasoning rules,such as MP rule,HS rule,average-meet reasoning rule of average are obtained.
    通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则平均值MP规则、平均值HS规则、平均值交推理规则.
短句来源
    Alethic model and deontic model are discussed in this paper . On the basis of this discussions, the author gives the standard system of deontic logic which was created by Von Wright and abstracts the development from the classic system to the standard system of deontic logic.
    真性模态和道义模态之间存在着类似和区别 ,在此基础上给出冯·赖特道义逻辑的经典系统 ,说明经典道义逻辑在向标准道义逻辑发展
短句来源
    Especially the article gives a new definition, classifying the anti-syllogism into three kinds--anti-syllogism with abundant conditions,anti-syllogism with necessary conditions and anti-syllogism with abundant and necessary conditions, and giving a creative statement and conclusion about its content,efficient reasoning foumular and inner struture.
    特别是给出了全新的定义 ,把反三段论分出三个种类——充分条件反三段论、必要条件反三段论和充分必要条件反三段论 ,并对其内容、有效推理式和内在结构作了阐述和论证。
短句来源
    and puts foward the method to change logic equation F=G into zero type or one type logic equation and corresponding consequences; and gives their proofs.
    文章给出了逻辑方程F=G、F+G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。
短句来源
    By adding some different new conditions of the normal object selection function N in semantics, which express the connection between subject sense and predicate sense, this paper gives some different models about inferences of generic sentences, and based on the system G, by removing and adding axioms and rules, we give systems G0- G4 corresponding the models.
    本文通过对正常个体选择函数N进行细化研究,给出了概称句主项涵义和谓项涵义之间的一些关系或限制条件,由此得到关于得概称句推理的不同语义模型,并从系统G出发,通过删减和增加关于正常算子Ⅳ的公理和规则,给出与语义模型相应的逻辑系统G0-G4。
更多       

 

查询“给出”译词为其他词的双语例句

 

查询“给出”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  given
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
      
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.
      
A linear model for a given action is a linear orthogonal action with the same orbit types and equivalent slice representations.
      
The presentations are given in the form of graphs resembling Dynkin diagrams and very similar to the presentations for finite complex reflection groups given in [2].
      
We see that the theory ofn-valued groups is distinct from that of groups with a given automorphism group.
      
更多          
  is given
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
      
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.
      
A characterization of the complexity of a homogeneous space of a reductive groupG is given in terms of the mutual position of the tangent Lie algebra of the stabilizer of a generic point of and the (-1)-eigenspace of a Weyl involution of.
      
A representation of a quiver is given by a collection of matrices.
      
In the spirit of work of Kerman and Sawyer, a condition is given that is necessary and sufficient for the Fourier transform norm inequality
      
更多          
  are given
The presentations are given in the form of graphs resembling Dynkin diagrams and very similar to the presentations for finite complex reflection groups given in [2].
      
Explicit bounds on the number of type V variables in a complete system of typical separating invariants are given for the binary polyhedral groups, and this is applied to the invariant theory of binary
      
These means are given by some function λ and generalize the well-known Bochner-Riesz means.
      
Several inclusion results comparing the algebra A* with certain Banach spaces of smooth functions are given.
      
Several inclusion results comparing the algebra A* with certain Banach spaces of smooth functions are given.
      
更多          
  gives
We find that with a specific choice of this parameter, the action on the Fock spaces gives rise to the toroidal action on irreducible level-1 highest weight modules of the affine quantum algebra.
      
Similarly, by a specific choice of the parameter, the level (1,0) vertex representation of the quantum totoidal algebra gives rise to a structure on irreducible level-1 highest weight-modules.
      
To prove this, we first state and prove a general result which gives a criterion for checking whether a variety of dimensionN≥3 is a (compactification of a) ball quotient.
      
Such central extension gives rise to a goup scheme that leads to a geometric construction of unrestricted representations.
      
Kostant gives a description of theG-module structure for the exterior algebra of the Lie algebra.
      
更多          
  其他


点击这里查询相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关给出的内容
在知识搜索中查有关给出的内容
在数字搜索中查有关给出的内容
在概念知识元中查有关给出的内容
在学术趋势中查有关给出的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社