形式化的例句（形式化在句子中的用法）

• Mohist logic has the character of non - formalization, while Aristotlian Logic is mainly charactered by its formalization. 非 形式化是墨家逻辑的主要特点, 而亚里士多德逻辑的主要特点是形式化.
• Formalization is necessary requirement and directive impetus for design patterns. 形式化是设计模式发展的必然要求和直接推动力.
• Non - formalization is closely related to daily life, but also has obvious defections. 而 非 形式化则紧密联系日常语言, 但也有明显缺陷.
• The other is tacit knowledge which is not easily visible and expressible. 而另一种知识是隐性知识,不容易看见和表达,它万全是个人知识,难于形式化.