2,619
次編輯
「Program=Proof筆記-第1章」修訂間的差異
→抽象化描述
Tankianting（討論 | 貢獻） （→抽象化描述） |
Tankianting（討論 | 貢獻） （→抽象化描述） |
||
| 行 195： | 行 195： | ||
推論：<math>\forall X, s.t. F(X)\subseteq X \rightarrow fix(F)\subseteq X</math><math></math> | 推論：<math>\forall X, s.t. F(X)\subseteq X \rightarrow fix(F)\subseteq X</math><math></math> | ||
=====歸納法===== | |||
我們假設有表自然數的F | |||
<math>F(X)= \{Zero\} \cup \{S(n)|n \in X\}</math> | |||
<math></math> | |||
<math></math> | |||
====例外處理：Option type and exception==== | ====例外處理：Option type and exception==== | ||