相關詞條
-
邱奇圖靈論題
secon version ceton
論題之等價形式 論題之起源 論題之成功 論題之哲學內涵 補充材料 -
丘奇論題
丘奇論題（Church’s thesis）即“正整數的能行可計算函式的概念，應當等同於正整數的遞歸函式……”。這個論題是由美國數理邏輯學家A. 丘奇於1...
-
丘奇定理
沒有適時給出丘奇論題，卻對圖靈工作大加讚賞，從而接受丘奇-圖靈論題呢...20年代的想法一樣，圖靈論題通過指出機器能做什麼，把計算系統引入了物理世界，引發了一場信息革命和心-腦-計算機的大論戰。而且圖靈論題揭示了哥德爾...
-
可計算性理論
的計算能力是一樣的,即它們是等價的。著名的丘奇-圖靈論題也是丘奇和圖靈...λ可定義函式（見λ轉換演算）。 丘奇-圖靈論題 可計算性理論的基本論題,也稱圖靈論題，它規定了直觀可計算函式的精確含義。丘奇論題說...
可計算性理論 正文 配圖 相關連線 -
洪加威
初露才華 早在中學時代，洪加威在數學上就已才華綻露。 那是在剛上初二的時候，一天，他看到上高中的哥哥在解這樣一道數...
初露才華 種種考驗 XY語言的研製 走向世界 新的想法 -
不動點定理
機器。可以認為這是一種更接近軟體而非硬體的方式。邱奇-圖靈論題...（AlonzoChurch）和阿蘭·圖靈命名的論題。該論題最基本的觀點...任何算法。該論題被普遍假定為真，也被稱為邱奇論題或邱奇猜想和圖靈論題。其它...
基本概念 定理啟示 等價形式 歷史 示例 -
算法
遞歸函式、圖靈機等計算模型，並提出了丘奇－圖靈論題（見可計算性理論），這才有可能把算法概念形式化。按照丘奇-圖靈論題,任意一個算法都可以用一個...著名的圖靈論題，並提出一種假想的計算機的抽象模型，這個模型被稱為圖靈機...
概述 歷史發展 算法分類 算法特徵 算法要素 -
理論計算機科學
劃為遞歸性。30年代中期，A.M.圖靈和E.L.波斯特彼此獨立地提出了...的設計思想是有影響的。圖靈提出的理想計算機（稱為圖靈機）中的一種通用機...程式正確性證明和程式驗證，它的一些基本概念和方法是40年代後期諾伊曼和圖靈...
正文 配圖 相關連線 -
計算機科學
。作為此模型的開山鼻祖，邱奇-圖靈論題（Church-Turing...圖靈和美國數學家E.L.波斯特幾乎同時提出了理想計算機的概念（圖靈提出...科學領域的最高榮譽是ACM設立的圖靈獎，被譽為是計算機科學的諾貝爾獎。它...
簡介 研究領域 研究課題 相關獎項 統分類 -
信息技術概念詳解
信息技術概念詳解“信息技術” 英文對照 information technology; it; information tech...
“信息技術” 在工具書中的解釋 “信息技術” 在學術文獻中的解釋 信息技術概念詳解
