2,617
次編輯
「Program=Proof筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） （`） |
Tankianting（討論 | 貢獻） |
||
| 行 5： | 行 5： | ||
--- | --- | ||
==== Ch0 序言 ==== | |||
開頭作者舉例一個式子在數字很大的時候會出錯的案例，來說明證明的重要性。 | 開頭作者舉例一個式子在數字很大的時候會出錯的案例，來說明證明的重要性。 | ||
| 行 24： | 行 25： | ||
* Agda 與 Coq 幫助漸次展開證明 | * Agda 與 Coq 幫助漸次展開證明 | ||
* 證明時間 > 測試時間 | * 證明時間 > 測試時間 | ||
* | * 重要的軟體使用之驗證 | ||
==== Ch1 Ocaml ==== | |||
(* 註解*) | |||
| 行 31： | 行 34： | ||
[[ | |||
[[categoty:邏輯學]] | |||
[[:分類:資訊|category:資訊]] | |||
[[:分類:邏輯學|categoty:邏輯學]] | |||