有效方法
有效方法（英文：effective method）係運算理論上嘅一個概念。如果話一個方法係「可以解決運算問題 A 嘅有效方法」，意思即係話用呢個方法解決問題 A 嗰陣[1]。
- 部電腦會行完若干步之後停低。
- 部電腦實會出到正確嘅答案。
- 原則上，個步驟可以由一個手上揸住紙筆嘅人做完，而且個人淨係需要跟從個方法啲步驟。
睇埋
編輯攷
編輯- ↑ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971.
