形式化

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 的仿子空间。