形式化

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