形式系统的英文

• formal system
• logistic system

• "形式"英文翻译    form; shape; layout; modalit ...
• "系统"英文翻译    system
• "逻辑形式系统" 英文翻译 :    formal system of logic
• "不相容形式系统" 英文翻译 :    inconsistent formal system
• "形式系统的算术化" 英文翻译 :    arithmetization of formal system
• "形式系统算术化" 英文翻译 :    arithmetization of formal system
• "形式系统相容性" 英文翻译 :    consistency proof
• "形式系统的不完全性" 英文翻译 :    incompleteness of formal system
• "包办式系统" 英文翻译 :    turnkey system
• "笔式系统" 英文翻译 :    pen system
• "闭合式系统" 英文翻译 :    closed system; closedsystem
• "闭式系统" 英文翻译 :    close cycle system
• "壁板式系统" 英文翻译 :    embedded panel system
• "步进式系统" 英文翻译 :    stepping system
• "插入式系统" 英文翻译 :    break-in system
• "产生式系统" 英文翻译 :    production system; productive system
• "敞开式系统" 英文翻译 :    open type system
• "充满式系统" 英文翻译 :    filled system
• "垂直式系统" 英文翻译 :    perpendicular system
• "段式系统" 英文翻译 :    segmentation system
• "多肋式系统" 英文翻译 :    multiple web systems
• "多项式系统" 英文翻译 :    polynomial system
• "非连式系统" 英文翻译 :    unconnected system
• "分布式系统" 英文翻译 :    distributed processing distributed system; distributedsystem; distribution computers system; ds distributed system; sds; system, distributed
• "分离式系统" 英文翻译 :    remote-storage system

• This thesis is a sub domain of morphological architecture space study
  本课题是建筑空间形式系统的子课题。
• Generalized tautologies theory of the basic formal system of universal logic
  泛逻辑的基本形式系统中的广义重言式理论
• If the form and system not short on an elementary theory of number are consistent , then they are incomplete
  摘要一个不弱于初等数论的形式系统如果是一致的，则是不完全的。
• This article mainly deals with the third measurement of the system of space morphology - space sequence , and the antetype of qualitative description of which is established as well
  本文主要讨论建筑空间形式系统的第三个基本考量? ?空间序列，在此过程中确立对其进行定性描述的基本模式。
• The author examines respectively the legitimacy of the interpretating capacity of buddhism and the related questions of interpretating paradigm , wisdom - verifying structure and formal system
  作者分别以“解释范式” 、 “智证结构” 、 “形式系统”三个维度对佛教的证明能力及相关性问题进行了合法性审查。
• In 1996 , professor wang guojun built formal deductive system l * of fuzzy prepositional calculus , then in the frame of system l * , constructed the logical base for fuzfcy reasoning rules from sematics
  王国俊教授于1996年建立了模糊命题演算的形式系统l ~ * ，之后在系统l ~ *的框架中，从语义上为模糊推理规则构建了逻辑基础。
• Man ' s objective observation of the space in view of his movement and vision is the starting point of the research of space morphology , which can be divided into static space observation and dynamic space observation
  人类基于运动和视觉对空间的客观体验是建筑空间形式系统研究的出发点，根据不同的体验方式，可以将其设定为静态空间体验和动态空间体验。
• The parameter b is such that the denominator of above system does not vanish for non - negative x , in fact , we only need suppose system ( l ) has very strong biological background and challenging complex dy - namics , so many biologists and mathematicians are interested in it . in late decade , a lot of articles are concerned about it or more general system , and some interesting dynamical phenomena are found : " paradox of enrichment " , for example , and the existence of homoclinic orbit , etc . ( see [ 3 ] , [ 4 ] , [ 6 ] , [ 7 ] , [ 8 ] )
  系统( 1 )由于它具有较强的生物背景和富有挑战性的复杂动力学性态吸引了大批生物学家和数学家的兴趣。近十几年来，有大批的文献对它或更一般形式系统进行研究，发现一些有趣的动力学现象，如“富食悖论” ( paradoxofenrichment ) ，存在同宿轨等等， (参见[ 3 ] ， [ 4 ] ， [ 6 ] ， [ 7 ] ， [ 8 ]及它们所引的文献) 。
• When referring to the theoretical thoughts of novel itself and the thoughts of methodology , the theoretical research of the system of aesthetic form such as the structural acrobatics , plot model , narrative methods and style characteristics of literary works , all belongs to categories of the study of the poetical novels
  摘要凡涉及到小说本体的理论思考和方法论的思考，诸如文学作品的结构技巧、情节模式、叙述方法、文体特征等审美形式系统的理论研究，均属于小说诗学研究的范畴。
• The second part builds a new algebra syetem rl , which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra . in the same time , using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl . obtains a series of theorems , and studies the completeness of rl logic
  第二部分：在以bl逻辑为背景的bl代数的定义中去掉限制性较强的条件a b = a ( a b ) ，建立了一种新的代数系统rl ，并进一步研究了rl代数类的性质；以rl代数为赋值域建立了一种更为广泛的模糊命题演算的形式系统? ?剩余格值逻辑系统rl ，得到了一系列定理，同时研究了逻辑系统rl的(弱)完备性

• 形式系统的法语：système formel système formelle
• 形式系统的日语：けいしきけい
• 形式系统的韩语：형식 체계
• 形式系统的俄语：Формальная система
• 形式系统的阿拉伯语：نظام شكلي;
• 形式系统的印尼文：sistem formal;
• 形式系统什么意思：[formal system] 在逻辑中，指可以借以由其他公式推导出合式公式的一组形式语言与可演绎资料。每一个形式系统都有一种形式语言，包括一定形式规则（关于本系统所容许之词语的叙述）和由一组公理推论出来的一组定理。在任何公理系统中，基设符号都是不下定义的，其他所有符号都借基设符号来界定。例如，在欧几里得几何中，“点”、“线”、“介于”通常都当作初始术语。由初始符号所组成的某些公式被定义为合式的，...