易与可拓学
[font=細明體]将不相容事物转化为相容事物，即为易，现代叫可拓。生生之易
相容者，为生克一体。相互支撑。制衡之体，才能活而不腐。
枢与槛，枢克之，槛承之。相得。
[/font]
[ 本帖最後由 遂昌樵夫 於 2011-12-22 10:12 AM 編輯 ]
[font=新細明體]是“形式化”，具体的讲，就是把“数学推理”形式化。而通俗一点，则是把前提和结论，以及前提得到结论这个推理过程都“符号化”为一个系统，形式系统。形式系统具有严格的定义，而这里，您可以暂时认为，形式系统是由4个集合构成：字母表或符号库，字集或公式集，公理集，规则集；公理集是公式集的子集，规则集则是有公式集上的运算构成。
符号化是卦集中思想体现，现代的词或符计算，这种计算过程是挖掘人们的思想知识。
[/font]
[ 本帖最後由 遂昌樵夫 於 2011-12-22 11:14 AM 編輯 ]
[font=黑體]形式化方法可以分为两类：
1）面向【模型】的形式化方法。构造一个数学模型来说明系统的行为。
2）面向【属性】的形式化方法。通过描述目标系统的各种属性来间接定义系统行为。[/font]