形式化是一种什么的思维方式（形式化语言与形式化方法）

形式化语言作为一种符号语言高度地表现在理论结构的表达方式(方程式、逻辑式等)上,精确地反映了思维的形式结构,从而可以模拟思维的形式结构。

形式化方法作为一种揭示思维的形式结构的方法,在数学和逻辑学中最为发达。在现代逻辑(数理逻辑)的基础上,形式化方法取得了更加完备的现代形态。自电子计算机技术迅速发展以来,形式化语言构成计算机软件部分。