形式化

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