Finally the paper presents the formalized language RCL2000 of restriction.
最后给出了约束的形式化描述语言rcl 2000。
G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.
弗雷格的《概念文字：一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
So it is right to say that studying maths is both to study a formalized language with a certain implication and to use this language to solve kinds of problems.
本文主要讨论形式化在数学概念教学与解题教学方面的应用。
But the advantages of a formalized standard language understood and interpreted the same way by both business and IT are huge.
但是，形式化的标准语言能使业务和IT在理解和解释上达成一致，这一优势是巨大的。
Rhetorical Structure Theory is a representative school of American Functional Linguistics, with its aim to provide a formalized framework for the analysis and generation of language.
修辞结构理论是美国功能语言学流派的主要代表之一，其宗旨是为语言的分析和生成提供形式的框架。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
Standards can be formalized as quantities with the help of language and Numbers, which could be measured in the end.
标准可以得益于语言以及最终可计量的数字以量化方式进行形式化。
The role of this previously acquired knowledge in language comprehension has been formalized as schema theory.
以前的作用，在语言理解掌握的知识已经正式作为图式理论。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
The use of the spoken language, even though it was formalized, made possible the immediate expression of an unmediated vision that needed no further context ;
即使它是拘泥于形式，口语的运用使对无中介的异像产生直接体验成为可能，无需要更进一步的推论； 因此抒情诗较为简略，激烈的人情化和精确。
The use of the spoken language, even though it was formalized, made possible the immediate expression of an unmediated vision that needed no further context ;
即使它是拘泥于形式，口语的运用使对无中介的异像产生直接体验成为可能，无需要更进一步的推论； 因此抒情诗较为简略，激烈的人情化和精确。
应用推荐