English translation for "形式系统"

formal system
logistic system

Related Translations:

表层形式:  surface form

正规形式:  hessenberg-form hessenberg form hessenberg

交际形式:  forms of communication

扩展形式:  extend typestretched form

形式矢量:  symbolic vector

意大利形式:  italianare

形式电荷:  formal charge

典范形式:  canonical formcanonical transformation

形式标号:  form label

物化形式:  objective form

Example Sentences:

	1.	This thesis is a sub domain of morphological architecture space study 本课题是建筑空间形式系统的子课题。
	2.	Generalized tautologies theory of the basic formal system of universal logic 泛逻辑的基本形式系统中的广义重言式理论
	3.	If the form and system not short on an elementary theory of number are consistent , then they are incomplete 摘要一个不弱于初等数论的形式系统如果是一致的，则是不完全的。
	4.	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 本文主要讨论建筑空间形式系统的第三个基本考量? ?空间序列，在此过程中确立对其进行定性描述的基本模式。
	5.	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 作者分别以“解释范式” 、 “智证结构” 、 “形式系统”三个维度对佛教的证明能力及相关性问题进行了合法性审查。
	6.	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 ~ *的框架中，从语义上为模糊推理规则构建了逻辑基础。
	7.	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 人类基于运动和视觉对空间的客观体验是建筑空间形式系统研究的出发点，根据不同的体验方式，可以将其设定为静态空间体验和动态空间体验。
	8.	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 ]及它们所引的文献) 。
	9.	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 摘要凡涉及到小说本体的理论思考和方法论的思考，诸如文学作品的结构技巧、情节模式、叙述方法、文体特征等审美形式系统的理论研究，均属于小说诗学研究的范畴。
	10.	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的(弱)完备性

Similar Words：

"形式为宽带电话" English translation, "形式文法" English translation, "形式文化" English translation, "形式问题" English translation, "形式无限和" English translation, "形式系统的不完全性" English translation, "形式系统的算术化" English translation, "形式系统算术化" English translation, "形式系统相容性" English translation, "形式下界" English translation