形式化方法

形式化方法   xíng shì huà fāng fǎ

运用抽象符号进行科学思维和表述科学知识的方法。通常用于表达概念、判断、推理,构建公理化体系。用于公理系统后产生的形式系统,是形式化方法高度发展的标志。运用形式化方法,能克服自然语言的歧义性,简洁而精确地表述科学理论。