Neblux 知識圖譜
計算
計算是指依據明確規則對表徵進行操作或轉換的過程，該概念於1930年代透過圖靈機與λ演算等模型確立了形式化基礎。
概觀
邱奇—圖靈論題主張直覺上有效可計算的函數可由圖靈機計算，確立了可計算性的理論邊界。計算複雜性理論進一步依所需資源劃分問題類別，其中P對NP問題探討解答易於驗證是否等同於易於求解。
為什麼重要
計算的形式化模型奠定了演算法設計與複雜度分析的基礎。此概念亦被生物學、物理學與心靈哲學等領域採納，作為描述自然系統中狀態轉換的理論工具。
建立在什麼之上
通往哪裡
相關概念
- 演算法概念
- 資訊（夏農理論）概念
- DNA（去氧核糖核酸）應用
- 科技邏輯