2,617
次編輯
「Program=Proof筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 5： | 行 5： | ||
--- | --- | ||
== Ch0 序言 == | |||
開頭作者舉例一個式子在數字很大的時候會出錯的案例，來說明證明的重要性。 | 開頭作者舉例一個式子在數字很大的時候會出錯的案例，來說明證明的重要性。 | ||
| 行 27： | 行 27： | ||
* 重要的軟體使用之驗證 | * 重要的軟體使用之驗證 | ||
== Ch1 有型別的函數式程設 == | |||
===1.1介紹=== | ===1.1介紹=== | ||
<pre>(* 我是註解 *) | <pre>(* 我是註解 *) | ||