形式化

The aesthetic value of literary language is incarnated by the formalization of emotion,semantic constructiveness,latent interest o...

文学语言的审美价值具体体现在情感形式化,语义建,号意味等方面。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。

Since his ultimate goal is to prove the rationality of the world, he has to transcendentalize, formalize and idealize the theory.

由于的最终目的是要证明世界的合理，不得不把交往行动理论先验化、形式化和理想化。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这允许我们形式化反射的定义: 反射是欧几里得空间的对合等距同，它的不动点集合是余维度为 1 的仿射子空间。