Finally the paper presents the formalized language RCL2000 of restriction.

最后给出了约束的形式化描述语言rcl 2000。

youdao

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.

弗雷格的《概念文字：一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。

youdao

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.

本文主要讨论形式化在数学概念教学与解题教学方面的应用。

youdao

Qin formed a centralized, autocratic government, built a nationwide network of roads and canals, standardized weights, measures and currency and formalized the written language.

CNN: ASIANOW - TIME Asia | Visions of China: Xi'an

Now to help facilitate the growth of robot scientists for routine, automated experiment, King and his team are urging that the methods and processes of science be formalized, to remove the ambiguities of natural language and make it easier to reproduce experiments and build the bases of knowledge.

FORBES: Chess, Art, Robots, and the Future of Science