汉语词典 > 形式化方法 运用抽象符号进行科学思维和表述科学知识的方法。通常用于表达概念、判断、推理,构建公理化体系。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。 每日三十词 香魂香魚香鱼香鴨香鸭香鹽香麝香麴香黍香鼠香龜香龟馚馧馛馛馝馞馞馝馞馞馡馡馢香馣薆 每日一字一词 每日一字:㥥 每日一成语:一丝一缕 每日一词语:蠹簡 每日一诗词:次韵夜泊(二首)