English translation for "逻辑语言"

logic language
logical language

Related Translations:

逻辑:  logic 短语和例子有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of log

Example Sentences:

	1.	Explore the logical language and meaning field of thinking ideas 逻辑语言与思维观念意义域探析
	2.	The compound classes parser is quite complex , since it implements a full logical language interpreter and returns an 复合类解析器十分复杂，因为它实现完整的逻辑语言解释器并返回逻辑表达式的
	3.	Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model 首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
	4.	Abstract : because of its concise and skilled logical language , ticino school becomes the model combining basic principles of modern architecture with local culture 文摘:瑞士的提契诺学派以他们精练而娴熟的逻辑语言成为现代建筑的基本原理与地方文化结合的典范。
	5.	The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case . ( 2 ) we introduce a new modal operator ( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。
	6.	The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language 界限主体的确立，既解决了主体的“体”带来的一系列问题，同时又为主体在逻辑语言的层面上找到了一种合理的存在形式。
	7.	In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols 在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。
	8.	16 parsons s , giorigini p . an approach to using degrees of belief in bdi agents . information , uncertainty and fusion , kluwer academic publisher , 2000 , pp . 81 - 92 . 17 parsons s , sierra c , jennings n r . agents that reason and negotiate by arguing 本文的工作，一方面把我们以前的概率逻辑程序语言扩展到了面向agent的情况进一步的，这种逻辑语言也扩展了hindriks等人的工作，即把面向agent的逻辑程序语言扩展到了面向不确定agent的情况，实现了对于不确定信息的动态的描述和推理。
	9.	Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language 接着指出数学语言是进行数学交流活动的重要工具，参考前人的成果，对数学语言重新进行分类，可分为：文字语言，符号语言，图形语言，图表语言，逻辑语言。
	10.	We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy 由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。

Similar Words：

"逻辑与运算符" English translation, "逻辑与直觉" English translation, "逻辑语" English translation, "逻辑语法" English translation, "逻辑语句" English translation, "逻辑语言（美国佛罗里达大学研制）" English translation, "逻辑语义词关系" English translation, "逻辑语义分析" English translation, "逻辑语义学" English translation, "逻辑元件" English translation