# 算法正確性

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [算法正確性](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-algorithm-correctness/)

算法正確性分開部分正確性與終止性；總正確性需要兩者同時成立。

atlas-algorithm-correctness · canonical_mko

[算法正確性](https://ocme.evemisslab.com/zh-Hant/mko/mko-algorithm-correctness/)

## 前置節點


- [抽象計算模型](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-computational-model/)
- [命題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proposition/)
- [數學證明](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proof/)