• 易學研討

  易与可拓学

  Posted by 遂昌樵夫 on 22 12 月, 2011 在 1:35 上午

  [font=細明體]将不相容事物转化为相容事物，即为易，现代叫可拓。生生之易

  相容者，为生克一体。相互支撑。制衡之体，才能活而不腐。

  枢与槛，枢克之，槛承之。相得。
  [/font]

  [ 本帖最後由 遂昌樵夫 於 2011-12-22 10:12 AM 編輯 ]

  遂昌樵夫 replied 14 年, 7 月 前 1 Member · 2 Replies
• 2 Replies

• 

  遂昌樵夫

  會員

  22 12 月, 2011 在 3:12 上午

  [font=新細明體]是“形式化”，具体的讲，就是把“数学推理”形式化。而通俗一点，则是把前提和结论，以及前提得到结论这个推理过程都“符号化”为一个系统，形式系统。形式系统具有严格的定义，而这里，您可以暂时认为，形式系统是由4个集合构成：字母表或符号库，字集或公式集，公理集，规则集；公理集是公式集的子集，规则集则是有公式集上的运算构成。

  符号化是卦集中思想体现，现代的词或符计算，这种计算过程是挖掘人们的思想知识。
  [/font]

  [ 本帖最後由 遂昌樵夫 於 2011-12-22 11:14 AM 編輯 ]

• 

  遂昌樵夫

  會員

  22 12 月, 2011 在 6:04 上午

  [font=黑體]形式化方法可以分为两类： 　　
  1）面向【模型】的形式化方法。构造一个数学模型来说明系统的行为。 　　
  2）面向【属性】的形式化方法。通过描述目标系统的各种属性来间接定义系统行为。[/font]

Log In to Reply