助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   order logic 的翻译结果: 查询用时:0.174秒
图标索引 在分类学科中查询
所有学科
无线电电子学
更多类别查询

图标索引 历史查询
 

order logic
相关语句
  时序逻辑
     Designing the time order logic electric circuit
     时序逻辑电路的设计
短句来源
     The article expounds the basics method and principle of the dataline enlarged of EPROM by output with conditions,and introduces the exaunple which realizes the output with conditions by means of integrated logic circuit and time and order logic circuit.
     利用条件输出增多EPROM的数据线的基本方法和原理,介绍了用组合逻辑电路和时序逻辑电路实现条件输出的实例。
短句来源
  “order logic”译为未确定词的双语例句
     Kim B.Bruce gave a system of axioms for second order logic L(Q).
     Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
短句来源
     Based on fuzzy formal deduction system, some concepts of fuzzy first- order logic are introduced.
     本文在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶(谓词)逻辑的准形式演绎系统 .
短句来源
     This paper first introduces the theory and algorithm of mating method in automatic theorem proving advanced by Peter B. Andrews, and then gives an implementation algorithm without backtracking, finally obtains a theorem proving system for higher order logic.
     PeterB.Andrews提出了自动定理证明的配对方法的理论和算法.本文针对该算法的缺点,给出了一个无需回溯的实现算法,并得到一个高阶逻辑的自动定理证明系统
短句来源
     EDA tools are computer hardware and software for basic platform sets database, scholarship, theory and order, logic, mathematical calculations, optimization theory, multidisciplinary research and development of the latest achievements of computer-aided design software package used.
     EDA工具是以计算机的硬件和软件为基本工作平台,集数据库、图形学、图论与拓扑逻辑、计算数学、优化理论等多学科最新成果研制的计算机辅助设计通用软件包。
短句来源
     A new algebraic proof of completeness of first order logic
     一阶逻辑完备性定理的新代数证明
短句来源
更多       
  相似匹配句对
     On Order
     秩序微言
短句来源
     Order
     订单
短句来源
     The Logic Order of Constitutive Elements of Crime
     论犯罪构成要件的逻辑顺序
短句来源
     An Axiomatics for First - order Logic
     经典一阶逻辑的希尔伯特型系统
短句来源
     LOGIC OF CHOICE
     选择的逻辑
短句来源
查询“order logic”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  order logic
An order logic is studied, i.e., a generalization of the continuous logic to the case in an arbitrary argument of order r is determined instead of the operations of determination of maximum (disjunction) and minimum (conjunction).
      
Order determinants that are the generalizations of order logic operations to arguments in matrix form are studied.
      
Contrary to the widespread opinion that classical logic is inadequate for representing open-textured knowledge, the framework outlined herein is given a formalization in first order logic.
      
Indexed grammars are shown to correspond to an existential monadic second-order logic over phrase structure trees, extended with a single existential quantifier ranging over a certain type of unary function.
      
We show that the even linear languages are characterised by a certain extension of the signature of the monadic second-order logic used by Büchi (1960) and Elgot (1961) to characterise the regular languages.
      
更多          


This paper improves IDI-resolution principle which was proposed by this author to raise the effective. That is, the electrons in the IDI-clash are sequenced and requiring sequence of electronics in every clash is indecrease, so that 3-type IDI-resolution principle has been introduced. This paper also proves that the 3-type IDI-resolution principle is complete for clauses set for first-order logic.By the way, we have indicated an error about property of PI-clash in reference [1]. We have remedied this error,...

This paper improves IDI-resolution principle which was proposed by this author to raise the effective. That is, the electrons in the IDI-clash are sequenced and requiring sequence of electronics in every clash is indecrease, so that 3-type IDI-resolution principle has been introduced. This paper also proves that the 3-type IDI-resolution principle is complete for clauses set for first-order logic.By the way, we have indicated an error about property of PI-clash in reference [1]. We have remedied this error, using the method proposed in this paper.

本文改进了作者提出的IDI-归结原理,使之有效性有所提高,亦即,将IDI-互撞中的电子序号化,并要求每一个互撞中电子的序号序列是不减的,从而引进了3型IDI-归结原理,并证明了它对于一阶逻辑中的子句集是完备的。 本文还顺便指出了文献[1]中关于PI-互撞的性质的一个错误,并利用本文提出的序号化方法,对这个错误进行了补救。

This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not. In the LI-resolution as well as in lock resolution, the literals resolved upon two parent clauses all have the minimum lock...

This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not. In the LI-resolution as well as in lock resolution, the literals resolved upon two parent clauses all have the minimum lock in that clause. This paper also proves that the LI-resolution principle is completed with a set of clauses in first-order logic with the specified lock way.By using the notion of lemma, the LI-deduction have been linearly sorted. Thus the TLI-deduction is introduced.

为了改进对于一阶逻辑中子句集是完备的2型IDI-归结原理的一个缺点,即在IDI归结中,只对其中一个亲本子句的归结文字有所限制,对另一个亲本子句的归结文字没有任何限制,本文提出了锁语义归结,简称LI-归结。即在这种语义归结原理中,象锁归结过程一样,每一次归结的两个亲本子句中的归结文字,都是该子句中有最小锁的文字,并证明了以一种固定的配锁方法,LI-归结原理对于一阶逻辑中的子句集是完备的。 使用引理的概念,将LI-演绎进行线性整理,从而引进了TLI-演绎的概念。

PROLOG, a kind of first-order logic-based language, doesn't permit quantification over predicates in grammer sense , hence the expressive range suitable for this language is decreased. To solve this problem,the paper presents two efficient methods of handling indirectly the higher-order predicates in PROLOG language, i.e., the "Common Predicates" method and the "Adding Auxiliary Subgoals" method.

基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。

 
<< 更多相关文摘    
图标索引 相关查询

 


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

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