2,619
次編輯
「Program=Proof筆記-第1章」修訂間的差異
跳至導覽
跳至搜尋
→歸納法
Tankianting（討論 | 貢獻） （→歸納法） |
Tankianting（討論 | 貢獻） （→歸納法） |
||
| 行 198： | 行 198： | ||
我們假設有表自然數的F | 我們假設有表自然數的F | ||
<math>F(X)= \{Zero\} \cup \{S(n)|n \in X\}</math> | <math>F(X)= \{Zero\} \cup \{S(n)|n \in X\}</math> | ||
不動點為 | 不動點為 | ||
<math>fix(F) = \{S^n(Z)|n \in \N\} = \{Z, S(Z), S(S(Z)), \ldots\}</math> | |||
<math> | 數學歸納法 | ||
<math>P(0)\rightarrow (\forall n \in \N.P(n) \rightarrow P(S~n)) \rightarrow \forall n \in \N.P(n)</math> | |||
====例外處理：Option type and exception==== | ====例外處理：Option type and exception==== | ||