...程进行绑定、描述,[45]认为作为一种描述“学习单元”的EML,其符号系统必须满足如下11条要求:[46](1)形式化(Formalisation)。必须以一种形式化的方式描述学习单元,从而使其有可能进行自动处理。
基于8个网页-相关网页
同义词: formalization
以上来源于: WordNet
But what is risk other than a formalisation of fear?
可风险不就是恐惧的一种形式化方式吗?
Often considered to be the father of modern computer science, Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine.
通常认为他是现代计算机科学之父,图灵利用图灵机的发明提供了一套影响深远的关于算法和计算概念的规范。
应用推荐